Diff for "Doc/SubtaskGenerator" - Fast Downward Homepage

Differences between revisions 1 and 5 (spanning 4 versions)

Contents

Subtask generator (used by the CEGAR heuristic).

goals

goals(order=HADD_DOWN, random_seed=-1)

order ({ORIGINAL, RANDOM, HADD_UP, HADD_DOWN}): ordering of goal or landmark facts
random_seed (int [-1, infinity]): Set to -1 (default) to use the global random number generator. Set to any other value to use a local random number generator with the given seed.

landmarks(order=HADD_DOWN, random_seed=-1, combine_facts=true)

order ({ORIGINAL, RANDOM, HADD_UP, HADD_DOWN}): ordering of goal or landmark facts
random_seed (int [-1, infinity]): Set to -1 (default) to use the global random number generator. Set to any other value to use a local random number generator with the given seed.
combine_facts (bool): combine landmark facts with domain abstraction

original(copies=1)

FastDownward: Doc/SubtaskGenerator (last edited 2024-01-11 21:04:20 by XmlRpcBot)

-  ⇤ ← Revision 1 as of 2016-04-11 16:44:31 → 
  Size: 667
  Editor: XmlRpcBot
  Comment:
+   ← Revision 5 as of 2021-09-14 15:44:54 → ⇥
  Size: 1071
  Editor: XmlRpcBot
  Comment:
-Deletions are marked like this.
+Additions are marked like this.
 Line 8:
-goals(order=HADD_DOWN)
+goals(order=HADD_DOWN, random_seed=-1)
 Line 12:
+ * ''random_seed'' (int [-1, infinity]): Set to -1 (default) to use the global random number generator. Set to any other value to use a local random number generator with the given seed.
-Line 14:
+Line 15:
-landmarks(order=HADD_DOWN, combine_facts=true)
+landmarks(order=HADD_DOWN, random_seed=-1, combine_facts=true)
-Line 19:
+Line 20:
+ * ''random_seed'' (int [-1, infinity]): Set to -1 (default) to use the global random number generator. Set to any other value to use a local random number generator with the given seed.
-Line 28:
+Line 30:
-/* moin code generated by txt2tags 2.6b (http://txt2tags.sf.net) */
+/* moin code generated by txt2tags 2.6 (http://txt2tags.org) */