patrick/plasp
Archived
1
0
Fork 0
Code Issues 12 Releases 8 Activity

Replaced tabs with spaces in test file to get more accurate parser positions in errors.

Browse Source
This commit is contained in:
Patrick Lühne 2016-06-02 16:28:26 +02:00
parent a07019801c
commit 63d74e3524
1 changed files with 35 additions and 35 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

70
tests/data/blocksworld-domain.pddl
View File

@ -2,44 +2,44 @@
(:requirements :strips :typing) (:requirements :strips :typing)
(:types block) (:types block)
(:predicates (on ?x - block ?y - block) (:predicates (on ?x - block ?y - block)
(ontable ?x - block) (ontable ?x - block)
(clear ?x - block) (clear ?x - block)
(handempty) (handempty)
(holding ?x - block) (holding ?x - block)
) )
(:action pick-up (:action pick-up
:parameters (?x - block) :parameters (?x - block)
:precondition (and (clear ?x) (ontable ?x) (handempty)) :precondition (and (clear ?x) (ontable ?x) (handempty))
:effect :effect
(and (not (ontable ?x)) (and (not (ontable ?x))
(not (clear ?x)) (not (clear ?x))
(not (handempty)) (not (handempty))
(holding ?x))) (holding ?x)))
(:action put-down (:action put-down
:parameters (?x - block) :parameters (?x - block)
:precondition (holding ?x) :precondition (holding ?x)
:effect :effect
(and (not (holding ?x)) (and (not (holding ?x))
(clear ?x) (clear ?x)
(handempty) (handempty)
(ontable ?x))) (ontable ?x)))
(:action stack (:action stack
:parameters (?x - block ?y - block) :parameters (?x - block ?y - block)
:precondition (and (holding ?x) (clear ?y)) :precondition (and (holding ?x) (clear ?y))
:effect :effect
(and (not (holding ?x)) (and (not (holding ?x))
(not (clear ?y)) (not (clear ?y))
(clear ?x) (clear ?x)
(handempty) (handempty)
(on ?x ?y))) (on ?x ?y)))
(:action unstack (:action unstack
:parameters (?x - block ?y - block) :parameters (?x - block ?y - block)
:precondition (and (on ?x ?y) (clear ?x) (handempty)) :precondition (and (on ?x ?y) (clear ?x) (handempty))
:effect :effect
(and (holding ?x) (and (holding ?x)
(clear ?y) (clear ?y)
(not (clear ?x)) (not (clear ?x))
(not (handempty)) (not (handempty))
(not (on ?x ?y))))) (not (on ?x ?y)))))