Differences between revisions 3 and 5 (spanning 2 versions)
⇤ ← Revision 3 as of 2017-05-11 16:43:04 →
Size: 458
Editor: XmlRpcBot
Comment:
← Revision 5 as of 2017-05-22 10:09:54 → ⇥
Size: 474
Editor: XmlRpcBot
Comment:
Deletions are marked like this. Additions are marked like this.
Line 12: Line 12:
== manual == == manual_pattern ==
Line 14: Line 14:
manual(pattern) manual_pattern(pattern)

Contents

  1. greedy
  2. manual_pattern

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.

FastDownward: Doc/PatternGenerator (last edited 2024-01-11 22:26:38 by XmlRpcBot)