This repository has been archived on 2023-07-19. You can view files and clone it, but cannot push or open issues or pull requests.
plasp/tests/data/normalization/normalization-2.pddl
Patrick Lühne 0cf84dd5ca
Added normalization tests for implications.
These tests ensure that implications are correctly reduced to
disjunctions in preconditions (nested and not) and goal descriptions.
2017-11-15 16:34:48 +01:00

50 lines
908 B
Plaintext

; tests that “imply” statements in preconditions are correctly reduced
(define (domain test-normalization)
(:predicates
(test-predicate-0)
(test-predicate-1 ?x)
(test-predicate-2 ?x ?y))
; top-level “imply” statement
(:action test-action-1
:parameters
(?x)
:precondition
(imply
(test-predicate-0)
(test-predicate-1 ?x))
:effect
(test-predicate-1 ?x))
; nested “imply” statement
(:action test-action-2
:parameters
(?x)
:precondition
(and
(and
(imply
(test-predicate-0)
(test-predicate-1 ?x))
(test-predicate-0))
(test-predicate-0))
:effect
(test-predicate-1 ?x))
)
(define (problem test-normalization)
(:domain test-normalization)
(:objects a b c)
(:init
(test-predicate-0))
; “imply” statement in goal
(:goal
(and
(imply
(test-predicate-0)
(test-predicate-1 a))
(test-predicate-0))))