Added missing test file for PDDL parser tests.
This commit is contained in:
		
							
								
								
									
										45
									
								
								tests/data/blocksworld-domain.pddl
									
									
									
									
									
										Normal file
									
								
							
							
						
						
									
										45
									
								
								tests/data/blocksworld-domain.pddl
									
									
									
									
									
										Normal file
									
								
							@@ -0,0 +1,45 @@
 | 
			
		||||
(define (domain BLOCKS)
 | 
			
		||||
  (:requirements :strips :typing)
 | 
			
		||||
  (:types block)
 | 
			
		||||
  (:predicates (on ?x - block ?y - 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)))
 | 
			
		||||
 | 
			
		||||
  (:action put-down
 | 
			
		||||
	     :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)))
 | 
			
		||||
  (: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)))))
 | 
			
		||||
		Reference in New Issue
	
	Block a user