From c747dedc599427050a3d2ec696d1dbc0f666a5a8 Mon Sep 17 00:00:00 2001 From: rezan21 Date: Wed, 16 Jan 2019 23:21:22 +0000 Subject: [PATCH] size constraints --- supermarket-domain.pddl | 18 +++++++++++++----- 1 file changed, 13 insertions(+), 5 deletions(-) diff --git a/supermarket-domain.pddl b/supermarket-domain.pddl index bc59a7d..a274ecb 100644 --- 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 + + + +)