diff --git a/mdr_planning/mdr_scenarios/mdr_robocup_tasks/mdr_store_groceries/config/domain.pddl b/mdr_planning/mdr_scenarios/mdr_robocup_tasks/mdr_store_groceries/config/domain.pddl index 206fc6959..4e365f4e6 100644 --- a/mdr_planning/mdr_scenarios/mdr_robocup_tasks/mdr_store_groceries/config/domain.pddl +++ b/mdr_planning/mdr_scenarios/mdr_robocup_tasks/mdr_store_groceries/config/domain.pddl @@ -1,6 +1,6 @@ (define (domain store-groceries) - (:requirements :strips :typing :equality :conditional-effects) + (:requirements :strips :typing :equality) (:types waypoint @@ -27,7 +27,6 @@ (on ?obj - object ?plane - plane) (holding ?bot - robot ?obj - object) (empty_gripper ?bot - robot) - (groceries_stored) ) (:action move_base @@ -97,16 +96,6 @@ (not (holding ?bot ?obj)) (empty_gripper ?bot) (on ?obj ?plane) - (forall (?o - object ?c - object_class ?p - plane) - (when - (and - (object_category ?o ?c) - (stored_on ?c ?p) - (on ?o ?p) - ) - (groceries_stored) - ) - ) ) ) )