Differences between revisions 4 and 5
Revision 4 as of 2021-09-14 15:12:44
Size: 1144
Comment: Testing
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 2: Line 2:

Testing notifications (this should be removed by autodoc later on).

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)