Differences between revisions 4 and 6 (spanning 2 versions)
⇤ ← Revision 4 as of 2021-09-14 15:12:44 →
Size: 1144
Editor: FlorianPommerening
Comment: Testing
← Revision 6 as of 2023-01-18 16:47:32 → ⇥
Size: 1577
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).
Line 10: Line 8:
goals(order=HADD_DOWN, random_seed=-1) goals(order=hadd_down, random_seed=-1)
Line 13: Line 11:
 * ''order'' ({ORIGINAL, RANDOM, HADD_UP, HADD_DOWN}): ordering of goal or landmark facts  * ''order'' ({original, random, hadd_up, hadd_down}): ordering of goal or landmark facts
  * {{{original}}}: according to their (internal) variable index
  * {{{random}}}: according to a random permutation
  * {{{hadd_up}}}: according to their h^add value, lowest first
  * {{{hadd_down}}}: according to their h^add value, highest first
Line 17: Line 19:
landmarks(order=HADD_DOWN, random_seed=-1, combine_facts=true) landmarks(order=hadd_down, random_seed=-1, combine_facts=true)
Line 21: Line 23:
 * ''order'' ({ORIGINAL, RANDOM, HADD_UP, HADD_DOWN}): ordering of goal or landmark facts  * ''order'' ({original, random, hadd_up, hadd_down}): ordering of goal or landmark facts
  * {{{original}}}: according to their (internal) variable index
  * {{{random}}}: according to a random permutation
  * {{{hadd_up}}}: according to their h^add value, lowest first
  * {{{hadd_down}}}: according to their h^add value, highest first

Contents

  1. goals
  2. landmarks
  3. original

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

    • original: according to their (internal) variable index

    • random: according to a random permutation

    • hadd_up: according to their h^add value, lowest first

    • hadd_down: according to their h^add value, highest first

  • 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

    • original: according to their (internal) variable index

    • random: according to a random permutation

    • hadd_up: according to their h^add value, lowest first

    • hadd_down: according to their h^add value, highest first

  • 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)