Differences between revisions 2 and 3
Revision 2 as of 2017-05-07 16:28:00
Size: 304
Editor: XmlRpcBot
Comment:
Revision 3 as of 2017-05-11 16:43:04
Size: 458
Editor: XmlRpcBot
Comment:
Deletions are marked like this. Additions are marked like this.
Line 12: Line 12:
== manual ==
{{{
manual(pattern)
}}}


 * ''pattern'' (list of int): list of variable numbers of the planning task that should be used as pattern.

Contents

  1. greedy
  2. manual

Factory for single patterns

greedy

greedy(max_states=1000000)
  • max_states (int [1, infinity]): maximal number of abstract states in the pattern database.

manual

manual(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)