Differences between revisions 1 and 2
Revision 1 as of 2016-04-11 16:44:31
Size: 667
Editor: XmlRpcBot
Comment:
Revision 2 as of 2016-12-20 11:32:35
Size: 1075
Editor: XmlRpcBot
Comment:
Deletions are marked like this. Additions are marked like this.
Line 8: Line 8:
goals(order=HADD_DOWN) goals(order=HADD_DOWN, random_seed=-1)
Line 12: 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.

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

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

original(copies=1)
  • copies (int [1, infinity]): number of task copies

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