size constraints

rezan21 · Jan 16, 2019 · c747ded · c747ded
1 parent 70e92d9
commit c747ded
Showing 1 changed file with 13 additions and 5 deletions.
diff --git a/supermarket-domain.pddl b/supermarket-domain.pddl
@@ -22,18 +22,21 @@
 
 )
 
-
 (:durative-action pick
 :parameters (?i - item ?a - agent ?l - location)
-:duration (= ?duration 100)
-:condition(and(over all(at ?a ?l)) (at start(at ?i ?l)) (at start <(capacity ?a) 2) (<(numberofcarrings ?a)(capacity ?a))
+:duration (= ?duration 2)
+:condition(and
+(over all(at ?a ?l))
+(at start(at ?i ?l))
+(at start(< (numberofcarrings ?a)(capacity ?a)))
 )
-:effect(and (at start(not (at ?i ?l))) (at end(on ?i ?a)) (at end(increase (numberofcarrings ?a) 1))  )
+
+:effect(and (at start(not (at ?i ?l))) (at end(on ?i ?a)) (at start(increase (numberofcarrings ?a) 1))  )
 )
 
 (:durative-action drop
 :parameters (?i - item ?a - agent ?l - location)
-:duration (= ?duration 100)
+:duration (= ?duration 2)
 :condition(and(over all(at ?a ?l)) (at start(on ?i ?a))
 )
 :effect(and (at start(not (on ?i ?a))) (at end(at ?i ?l)) (at end(decrease (numberofcarrings) 1)))
@@ -47,6 +50,11 @@
 
 )
 
+(:durative-action
+
+
+
+)