|
Size: 667
Comment:
|
← Revision 8 as of 2024-01-11 21:04:20 ⇥
Size: 1512
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 11: | 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 * ''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 13: | Line 19: |
| Line 14: | Line 21: |
| landmarks(order=HADD_DOWN, combine_facts=true) | landmarks(order=hadd_down, random_seed=-1, combine_facts=true) |
| Line 17: | Line 24: |
| * ''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 |
|
| Line 18: | Line 32: |
| * ''order'' ({ORIGINAL, RANDOM, HADD_UP, HADD_DOWN}): ordering of goal or landmark facts * ''combine_facts'' (bool): combine landmark facts with domain abstraction |
|
| Line 21: | Line 33: |
| Line 25: | Line 38: |
| Line 27: | Line 39: |
/* moin code generated by txt2tags 2.6b (http://txt2tags.sf.net) */ /* cmdline: txt2tags */ |
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