Differences between revisions 1 and 6 (spanning 5 versions)
⇤ ← Revision 1 as of 2015-12-06 14:42:17 →
Size: 458
Editor: XmlRpcBot
Comment:
← Revision 6 as of 2019-11-22 20:01:09 → ⇥
Size: 470
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)
Line 20: Line 20:
/* moin code generated by txt2tags 2.6b (http://txt2tags.sf.net) */ /* moin code generated by txt2tags 2.6 (http://txt2tags.org) */

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)