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 2016-12-20 11:32:35 by XmlRpcBot)