⇤ ← Revision 1 as of 2016-04-11 16:44:31
667
Comment:
|
1075
|
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