diff options
3 files changed, 70 insertions, 0 deletions
diff --git a/SA_POP/utils/PDDLtoSANetTranslator/PDDLParser/ferry-problem.pddl b/SA_POP/utils/PDDLtoSANetTranslator/PDDLParser/ferry-problem.pddl new file mode 100644 index 00000000000..a4470e77c0a --- /dev/null +++ b/SA_POP/utils/PDDLtoSANetTranslator/PDDLParser/ferry-problem.pddl @@ -0,0 +1,31 @@ +(define (problem ferry1) + (:domain ferry) + (:requirements :strips :equality :typing) + (:objects a b c - place + c1 c2 - auto + f1 f2 - ferry) + (:init + (at c1 a) + (at c2 a) + + (at-ferry f1 a) + (empty-ferry f1) + (can-sail f1 b c) + (can-sail f1 c b) + (can-sail f1 a b) + (can-sail f1 b a) + + (at-ferry f2 b) + (empty-ferry f2) + (can-sail f2 b c) + (can-sail f2 c b) + + (can-debark-at b) + (can-debark-at c) + + (can-board-at a) + (can-board-at b) + + ) + (:goal (and (at c1 c) (at c2 c))) +)
\ No newline at end of file diff --git a/SA_POP/utils/PDDLtoSANetTranslator/PDDLParser/ferry.pddl b/SA_POP/utils/PDDLtoSANetTranslator/PDDLParser/ferry.pddl new file mode 100644 index 00000000000..f104753e7aa --- /dev/null +++ b/SA_POP/utils/PDDLtoSANetTranslator/PDDLParser/ferry.pddl @@ -0,0 +1,36 @@ +(define (domain ferry) + (:requirements :strips :equality :typing) + + (:types auto place ferry) + (:predicates (at-ferry ?f - ferry ?l - place) + (at ?x - auto + ?y - place) + (empty-ferry ?f - ferry) + (on ?x - auto + ?f - ferry) + (can-sail ?f - ferry + ?x - place + ?y - place + ) + (can-debark-at ?x - place) + (can-board-at ?x - place) + ) + + (:action board + :parameters (?f - ferry ?x - auto ?y - place) + :precondition (and (at ?x ?y)(at-ferry ?f ?y)(empty-ferry ?f)(can-board-at ?y)) + :effect + (and (on ?x ?f) + (not (at ?x ?y)) + (not (empty-ferry ?f)))) + (:action sail + :parameters (?f - ferry ?x ?y - place) + :precondition (and (at-ferry ?f ?x) (not (= ?x ?y)) (can-sail ?f ?x ?y)) + :effect (and (at-ferry ?f ?y) + (not (at-ferry ?f ?x)))) + (:action debark + :parameters (?f - ferry ?x - auto ?y - place) + :precondition (and (on ?x ?f)(at-ferry ?f ?y) (can-debark-at ?y)) + :effect (and (not (on ?x ?f)) + (at ?x ?y) + (empty-ferry ?f))))
\ No newline at end of file diff --git a/SA_POP/utils/PDDLtoSANetTranslator/PDDLParser/problems_ferry.txt b/SA_POP/utils/PDDLtoSANetTranslator/PDDLParser/problems_ferry.txt new file mode 100644 index 00000000000..a42f68cfdb4 --- /dev/null +++ b/SA_POP/utils/PDDLtoSANetTranslator/PDDLParser/problems_ferry.txt @@ -0,0 +1,3 @@ +ferry.pddl +ferry-problem.pddl +END |