Differences between revisions 2 and 4 (spanning 2 versions)
⇤ ← Revision 2 as of 2016-12-20 11:32:35 →
Size: 1075
Editor: XmlRpcBot
Comment:
← Revision 4 as of 2021-09-14 15:12:44 → ⇥
Size: 1144
Editor: FlorianPommerening
Comment: Testing
Deletions are marked like this. Additions are marked like this.
Line 2: Line 2:

Testing notifications (this should be removed by autodoc later on).
Line 30: Line 32:
/* moin code generated by txt2tags 2.6b (http://txt2tags.sf.net) */ /* moin code generated by txt2tags 2.6 (http://txt2tags.org) */

Contents

  1. goals
  2. landmarks
  3. original

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)