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 2024-01-11 21:04:20 by XmlRpcBot)