Skip to content

Commit

Permalink
[store_groceries/domain.pddl] Modified the domain so that it's withou…
Browse files Browse the repository at this point in the history
…t conditional effects

This is due to the fact that ROSPlan doesn't seem to support conditional
effects and forall goals: KCL-Planning/ROSPlan#178
  • Loading branch information
alex-mitrevski committed Jan 26, 2020
1 parent 1b89799 commit 286358a
Showing 1 changed file with 1 addition and 12 deletions.
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
(define (domain store-groceries)

(:requirements :strips :typing :equality :conditional-effects)
(:requirements :strips :typing :equality)

(:types
waypoint
Expand All @@ -27,7 +27,6 @@
(on ?obj - object ?plane - plane)
(holding ?bot - robot ?obj - object)
(empty_gripper ?bot - robot)
(groceries_stored)
)

(:action move_base
Expand Down Expand Up @@ -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)
)
)
)
)
)

0 comments on commit 286358a

Please sign in to comment.