Differences between revisions 2 and 4 (spanning 2 versions)
⇤ ← Revision 2 as of 2017-05-07 16:28:00 →
Size: 304
Editor: XmlRpcBot
Comment:
← Revision 4 as of 2017-05-11 16:46:24 → ⇥
Size: 304
Editor: XmlRpcBot
Comment:
No differences found!

Contents

  1. greedy

Factory for single patterns

greedy

greedy(max_states=1000000)

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

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