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 Feb 16, 2020
1 parent cf560e1 commit d242aa7
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 d242aa7

Please sign in to comment.