diff options
Diffstat (limited to 'utils/PDDLtoSANetTranslator/PDDLParser/pb1travel.pddl')
| -rw-r--r-- | utils/PDDLtoSANetTranslator/PDDLParser/pb1travel.pddl | 34 |
1 files changed, 34 insertions, 0 deletions
diff --git a/utils/PDDLtoSANetTranslator/PDDLParser/pb1travel.pddl b/utils/PDDLtoSANetTranslator/PDDLParser/pb1travel.pddl new file mode 100644 index 00000000000..f7404c7435a --- /dev/null +++ b/utils/PDDLtoSANetTranslator/PDDLParser/pb1travel.pddl @@ -0,0 +1,34 @@ +(define (problem pb1) + (:domain travel) + (:requirements :strips :equality) + (:objects a b c d e f g jack bulldozer) + + (:init (at jack a) + (at bulldozer e) + (vehicle bulldozer) + (mobile jack) + (person jack) + (road a b) + (road b a) + (road a e) + (road e a) + (road e b) + (road b e) + (road a c) + (road c a) + (road c b) + (road b c) + (bridge b d) + (bridge d b) + (bridge c f) + (bridge f c) + (road d f) + (road f d) + (road f g) + (road g f) + (road d g) + (road g d)) + + (:goal (and (at bulldozer g) (at jack a))) + +)
\ No newline at end of file |