diff options
Diffstat (limited to 'utils/PDDLtoSANetTranslator/PDDLParser/pb2travel.pddl')
| -rw-r--r-- | utils/PDDLtoSANetTranslator/PDDLParser/pb2travel.pddl | 45 |
1 files changed, 45 insertions, 0 deletions
diff --git a/utils/PDDLtoSANetTranslator/PDDLParser/pb2travel.pddl b/utils/PDDLtoSANetTranslator/PDDLParser/pb2travel.pddl new file mode 100644 index 00000000000..d6f3378da12 --- /dev/null +++ b/utils/PDDLtoSANetTranslator/PDDLParser/pb2travel.pddl @@ -0,0 +1,45 @@ +(define (problem pb2) + (:domain travel) + (:requirements :strips :equality) + (:objects a b c d e f g h i j k l m n jack bulldozer) + (:init (at jack a) + (at bulldozer e) + (vehicle bulldozer) + (mobile jack) + (person jack) + (road a b) + (road b a) + (road a c) + (road c a) + (road c d) + (road d c) + (road d e) + (road e d) + (road e j) + (road j e) + (road d f) + (road f d) + (road f j) + (road j f) + (road f k) + (road k f) + (road j h) + (road h j) + (road h k) + (road k h) + (bridge k l) + (bridge l k) + (bridge k n) + (bridge n k) + (road l m) + (road m l) + (road m n) + (road n m) + (road m g) + (road g m) + (road n g) + (road g n)) + + (:goal (AND (at bulldozer g))) + + )
\ No newline at end of file |