patrick
/
plasp
Archived
1
0
Fork 0

Added test covering last issue.

This commit is contained in:
Patrick Lühne 2016-06-09 18:48:16 +02:00
parent d138e869fc
commit 15061f75a9
2 changed files with 54 additions and 0 deletions

View File

@ -370,4 +370,7 @@ TEST(PDDLParserTests, CheckIssues)
{
// Check white space issues with constants and parsing unsupported sections
ASSERT_NO_THROW(Description::fromFile("data/issues/issue-1.pddl"));
// Check white space issues with empty n-ary predicates
ASSERT_NO_THROW(Description::fromFile("data/issues/issue-2.pddl"));
}

View File

@ -0,0 +1,51 @@
(define (domain openstacks-netbenefit-numeric-ADL)
(:requirements :typing :adl :numeric-fluents :goal-utilities)
(:types order product)
(:predicates (includes ?o - order ?p - product)
(waiting ?o - order)
(started ?o - order)
(shipped ?o - order)
(delivered ?o - order ?p - product)
(made ?p - product))
(:functions (total-cost)
(stacks-in-use)
(max-in-use)
(stack-cost) )
(:action open-new-stack
:parameters ()
:precondition (and)
:effect (and (increase (max-in-use) 1)
(increase (total-cost) (stack-cost)))
)
(:action start-order
:parameters (?o - order)
:precondition (and (waiting ?o)
(< (stacks-in-use) (max-in-use)))
:effect (and (not (waiting ?o))
(started ?o)
(increase (stacks-in-use) 1))
)
(:action make-product
:parameters (?p - product)
:precondition (and (not (made ?p)))
:effect (and (made ?p)
(forall (?o - order)
(when (and (includes ?o ?p)
(started ?o))
(delivered ?o ?p))))
)
(:action ship-order
:parameters (?o - order)
:precondition (and (started ?o))
:effect (and (not (started ?o))
(shipped ?o)
(decrease (stacks-in-use) 1))
)
)