304
Comment:
|
474
|
Deletions are marked like this. | Additions are marked like this. |
Line 12: | Line 12: |
== manual_pattern == {{{ manual_pattern(pattern) }}} * ''pattern'' (list of int): list of variable numbers of the planning task that should be used as pattern. |
Contents
Factory for single patterns
greedy
greedy(max_states=1000000)
max_states (int [1, infinity]): maximal number of abstract states in the pattern database.
manual_pattern
manual_pattern(pattern)
pattern (list of int): list of variable numbers of the planning task that should be used as pattern.