Differences between revisions 4 and 6 (spanning 2 versions)
⇤ ← Revision 4 as of 2017-05-11 16:46:24 →
Size: 304
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_pattern ==
{{{
manual_pattern(pattern)
}}}
Line 13: Line 17:
/* moin code generated by txt2tags 2.6b (http://txt2tags.sf.net) */
 * ''pattern'' (list of int): list of variable numbers of the planning task that should be used as pattern.

/* 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)