Diff for "Doc/MergeStrategy" - Fast Downward Homepage

Differences between revisions 1 and 2

Contents

merge_dfp

merge_dfp()

merge_linear(variable_order=CG_GOAL_LEVEL)

variable_order ({CG_GOAL_LEVEL, CG_GOAL_RANDOM, GOAL_CG_LEVEL, RANDOM, LEVEL, REVERSE_LEVEL}): the order in which atomic transition_systems are merged

-  ⇤ ← Revision 1 as of 2014-07-24 14:25:52 → 
  Size: 393
  Editor: XmlRpcBot
  Comment:
+   ← Revision 2 as of 2014-09-23 09:54:20 → ⇥
  Size: 399
  Editor: XmlRpcBot
  Comment:
-Deletions are marked like this.
+Additions are marked like this.
 Line 15:
- * ''variable_order'' ({CG_GOAL_LEVEL, CG_GOAL_RANDOM, GOAL_CG_LEVEL, RANDOM, LEVEL, REVERSE_LEVEL}): the order in which atomic abstractions are merged
+ * ''variable_order'' ({CG_GOAL_LEVEL, CG_GOAL_RANDOM, GOAL_CG_LEVEL, RANDOM, LEVEL, REVERSE_LEVEL}): the order in which atomic transition_systems are merged