styled

supermarket-domain.pddl

@@ -26,36 +26,46 @@
 :parameters (?i - item ?a - agent ?l - location)
 :duration (= ?duration 2)
 :condition(and
-(over all(at ?a ?l))
-(at start(at ?i ?l))
-(at start(< (numberofcarrings ?a)(capacity ?a)))
+(over all(at ?a ?l) )
+(at start(at ?i ?l) )
+(at start(< (numberofcarrings ?a)(capacity ?a)) )
+)
+:effect(and
+(at start(increase (numberofcarrings ?a) 1) )
+(at start(not (at ?i ?l)) )
+(at end(on ?i ?a) )
 )
 
-: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 2)
-:condition(and(over all(at ?a ?l)) (at start(on ?i ?a))
+:condition(and
+(over all(at ?a ?l) )
+(at start(on ?i ?a) )
+)
+:effect(and
+(at start(decrease (numberofcarrings) 1)  )
+(at start(not (on ?i ?a)) )
+(at end(at ?i ?l))
 )
-:effect(and (at start(not (on ?i ?a))) (at end(at ?i ?l)) (at end(decrease (numberofcarrings) 1)))
+
 )
 
 (:durative-action move
 :parameters (?a - agent ?from - location ?to - location)
 :duration(= ?duration 10)
-:condition(and (at start(at ?a ?from))(over all(haspath ?from ?to)))
-:effect(and(at start(not(at ?a ?from)) )(at end(at ?a ?to)) )
-
+:condition(and
+(at start(at ?a ?from))
+(over all(haspath ?from ?to))
 )
-
-(:durative-action
-
-
-
+:effect(and
+(at start(not(at ?a ?from)) )
+(at end(at ?a ?to))
 )
 
+)
 
 
 
@@ -71,4 +81,5 @@
 
 
 
+;last closing bracket
 )