diff options
Diffstat (limited to 'utils/PDDLtoSANetTranslator/PDDLParser/ferry-problem-example.pddl')
-rw-r--r-- | utils/PDDLtoSANetTranslator/PDDLParser/ferry-problem-example.pddl | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/utils/PDDLtoSANetTranslator/PDDLParser/ferry-problem-example.pddl b/utils/PDDLtoSANetTranslator/PDDLParser/ferry-problem-example.pddl new file mode 100644 index 00000000000..75bda9230b2 --- /dev/null +++ b/utils/PDDLtoSANetTranslator/PDDLParser/ferry-problem-example.pddl @@ -0,0 +1,11 @@ +(define (problem ferry1) + (:domain ferry) + (:requirements :strips :equality :typing) + (:objects a b - place + c1 c2 - auto) + (:init (at c1 a) + (at c2 a) + (at-ferry a) + (empty-ferry)) + (:goal (and (at c1 b) (at c2 b))) +)
\ No newline at end of file |