Subtask generator (used by the CEGAR heuristic).

goals

goals(order=HADD_DOWN, random_seed=-1)

landmarks

landmarks(order=HADD_DOWN, random_seed=-1, combine_facts=true)

original

original(copies=1)

FastDownward: Doc/SubtaskGenerator (last edited 2019-11-22 20:01:10 by XmlRpcBot)