From 63d74e3524c3a35cd5bd666f092c6f2d8ddcfd41 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Thu, 2 Jun 2016 16:28:26 +0200 Subject: [PATCH] Replaced tabs with spaces in test file to get more accurate parser positions in errors. --- tests/data/blocksworld-domain.pddl | 70 +++++++++++++++--------------- 1 file changed, 35 insertions(+), 35 deletions(-) diff --git a/tests/data/blocksworld-domain.pddl b/tests/data/blocksworld-domain.pddl index 6fb47e9..8b51e13 100644 --- a/tests/data/blocksworld-domain.pddl +++ b/tests/data/blocksworld-domain.pddl @@ -2,44 +2,44 @@ (:requirements :strips :typing) (:types block) (:predicates (on ?x - block ?y - block) - (ontable ?x - block) - (clear ?x - block) - (handempty) - (holding ?x - block) - ) + (ontable ?x - block) + (clear ?x - block) + (handempty) + (holding ?x - block) + ) (:action pick-up - :parameters (?x - block) - :precondition (and (clear ?x) (ontable ?x) (handempty)) - :effect - (and (not (ontable ?x)) - (not (clear ?x)) - (not (handempty)) - (holding ?x))) + :parameters (?x - block) + :precondition (and (clear ?x) (ontable ?x) (handempty)) + :effect + (and (not (ontable ?x)) + (not (clear ?x)) + (not (handempty)) + (holding ?x))) (:action put-down - :parameters (?x - block) - :precondition (holding ?x) - :effect - (and (not (holding ?x)) - (clear ?x) - (handempty) - (ontable ?x))) + :parameters (?x - block) + :precondition (holding ?x) + :effect + (and (not (holding ?x)) + (clear ?x) + (handempty) + (ontable ?x))) (:action stack - :parameters (?x - block ?y - block) - :precondition (and (holding ?x) (clear ?y)) - :effect - (and (not (holding ?x)) - (not (clear ?y)) - (clear ?x) - (handempty) - (on ?x ?y))) + :parameters (?x - block ?y - block) + :precondition (and (holding ?x) (clear ?y)) + :effect + (and (not (holding ?x)) + (not (clear ?y)) + (clear ?x) + (handempty) + (on ?x ?y))) (:action unstack - :parameters (?x - block ?y - block) - :precondition (and (on ?x ?y) (clear ?x) (handempty)) - :effect - (and (holding ?x) - (clear ?y) - (not (clear ?x)) - (not (handempty)) - (not (on ?x ?y))))) + :parameters (?x - block ?y - block) + :precondition (and (on ?x ?y) (clear ?x) (handempty)) + :effect + (and (holding ?x) + (clear ?y) + (not (clear ?x)) + (not (handempty)) + (not (on ?x ?y)))))