Doc/Heuristic
Doc/LandmarkGraph
Doc/MergeStrategy
Doc/OpenList
Doc/ScalarEvaluator
Doc/SearchEngine
Doc/ShrinkStrategy
Doc/Synergy