Differences between revisions 7 and 20 (spanning 13 versions)
Revision 7 as of 2015-10-30 22:15:07
Size: 269
Editor: XmlRpcBot
Comment:
Revision 20 as of 2023-07-28 09:44:27
Size: 438
Editor: XmlRpcBot
Comment:
Deletions are marked like this. Additions are marked like this.
Line 3: Line 3:
 * [[Doc/Heuristic]]
 * [[Doc/Labels]]
 * [[Doc/LandmarkGraph]]
 * [[Doc/Evaluator]]
 * [[Doc/LabelReduction]]
 * [[Doc/LandmarkFactory]]
 * [[Doc/MergeScoringFunction]]
 * [[Doc/MergeSelector]]
Line 7: Line 9:
 * [[Doc/MergeTree]]
Line 8: Line 11:
 * [[Doc/ScalarEvaluator]]
 * [[Doc/SearchEngine]]
 * [[Doc/PatternCollectionGenerator]]
 * [[Doc/PatternGenerator]]
 * [[Doc/PruningMethod]]
 * [[Doc/SearchAlgorithm]]
Line 11: Line 16:
 * [[Doc/Synergy]]  * [[Doc/SubtaskGenerator]]

FastDownward: Doc/Overview (last edited 2023-07-28 09:44:27 by XmlRpcBot)