decapitalize objects types rovers

AI-Planning · Oct 14, 2023 · 9b57554 · 9b57554
1 parent 8a4af87
commit 9b57554
Show file tree

Hide file tree

Showing 20 changed files with 140 additions and 140 deletions.
diff --git a/tests/fixtures/pddl_files/rovers-numeric-automatic/p01.pddl b/tests/fixtures/pddl_files/rovers-numeric-automatic/p01.pddl
@@ -1,12 +1,12 @@
 (define (problem roverprob1234) (:domain Rover)
 (:objects
-	general - Lander
-	colour high_res low_res - Mode
-	rover0 - Rover
-	rover0store - Store
-	waypoint0 waypoint1 waypoint2 waypoint3 - Waypoint
-	camera0 - Camera
-	objective0 objective1 - Objective
+	general - lander
+	colour high_res low_res - mode
+	rover0 - rover
+	rover0store - store
+	waypoint0 waypoint1 waypoint2 waypoint3 - waypoint
+	camera0 - camera
+	objective0 objective1 - objective
 	)
 (:init
 	(visible waypoint1 waypoint0)

diff --git a/tests/fixtures/pddl_files/rovers-numeric-automatic/p02.pddl b/tests/fixtures/pddl_files/rovers-numeric-automatic/p02.pddl
@@ -1,12 +1,12 @@
 (define (problem roverprob4213) (:domain Rover)
 (:objects
-	general - Lander
-	colour high_res low_res - Mode
-	rover0 - Rover
-	rover0store - Store
-	waypoint0 waypoint1 waypoint2 waypoint3 - Waypoint
-	camera0 camera1 - Camera
-	objective0 objective1 - Objective
+	general - lander
+	colour high_res low_res - mode
+	rover0 - rover
+	rover0store - store
+	waypoint0 waypoint1 waypoint2 waypoint3 - waypoint
+	camera0 camera1 - camera
+	objective0 objective1 - objective
 	)
 (:init
 	(visible waypoint0 waypoint1)

diff --git a/tests/fixtures/pddl_files/rovers-numeric-automatic/p03.pddl b/tests/fixtures/pddl_files/rovers-numeric-automatic/p03.pddl
@@ -1,12 +1,12 @@
 (define (problem roverprob3726) (:domain Rover)
 (:objects
-	general - Lander
-	colour high_res low_res - Mode
-	rover0 rover1 - Rover
-	rover0store rover1store - Store
-	waypoint0 waypoint1 waypoint2 waypoint3 - Waypoint
-	camera0 camera1 - Camera
-	objective0 objective1 - Objective
+	general - lander
+	colour high_res low_res - mode
+	rover0 rover1 - rover
+	rover0store rover1store - store
+	waypoint0 waypoint1 waypoint2 waypoint3 - waypoint
+	camera0 camera1 - camera
+	objective0 objective1 - objective
 	)
 (:init
 	(visible waypoint0 waypoint1)

diff --git a/tests/fixtures/pddl_files/rovers-numeric-automatic/p04.pddl b/tests/fixtures/pddl_files/rovers-numeric-automatic/p04.pddl
@@ -1,12 +1,12 @@
 (define (problem roverprob6232) (:domain Rover)
 (:objects
-	general - Lander
-	colour high_res low_res - Mode
-	rover0 rover1 - Rover
-	rover0store rover1store - Store
-	waypoint0 waypoint1 waypoint2 waypoint3 - Waypoint
-	camera0 camera1 camera2 - Camera
-	objective0 objective1 objective2 - Objective
+	general - lander
+	colour high_res low_res - mode
+	rover0 rover1 - rover
+	rover0store rover1store - store
+	waypoint0 waypoint1 waypoint2 waypoint3 - waypoint
+	camera0 camera1 camera2 - camera
+	objective0 objective1 objective2 - objective
 	)
 (:init
 	(visible waypoint1 waypoint0)

diff --git a/tests/fixtures/pddl_files/rovers-numeric-automatic/p05.pddl b/tests/fixtures/pddl_files/rovers-numeric-automatic/p05.pddl
@@ -1,12 +1,12 @@
 (define (problem roverprob2435) (:domain Rover)
 (:objects
-	general - Lander
-	colour high_res low_res - Mode
-	rover0 rover1 - Rover
-	rover0store rover1store - Store
-	waypoint0 waypoint1 waypoint2 waypoint3 - Waypoint
-	camera0 camera1 camera2 - Camera
-	objective0 objective1 objective2 - Objective
+	general - lander
+	colour high_res low_res - mode
+	rover0 rover1 - rover
+	rover0store rover1store - store
+	waypoint0 waypoint1 waypoint2 waypoint3 - waypoint
+	camera0 camera1 camera2 - camera
+	objective0 objective1 objective2 - objective
 	)
 (:init
 	(visible waypoint0 waypoint2)

diff --git a/tests/fixtures/pddl_files/rovers-numeric-automatic/p06.pddl b/tests/fixtures/pddl_files/rovers-numeric-automatic/p06.pddl
@@ -1,12 +1,12 @@
 (define (problem roverprob2312) (:domain Rover)
 (:objects
-	general - Lander
-	colour high_res low_res - Mode
-	rover0 rover1 - Rover
-	rover0store rover1store - Store
-	waypoint0 waypoint1 waypoint2 waypoint3 waypoint4 waypoint5 - Waypoint
-	camera0 camera1 camera2 - Camera
-	objective0 objective1 - Objective
+	general - lander
+	colour high_res low_res - mode
+	rover0 rover1 - rover
+	rover0store rover1store - store
+	waypoint0 waypoint1 waypoint2 waypoint3 waypoint4 waypoint5 - waypoint
+	camera0 camera1 camera2 - camera
+	objective0 objective1 - objective
 	)
 (:init
 	(visible waypoint0 waypoint3)

diff --git a/tests/fixtures/pddl_files/rovers-numeric-automatic/p07.pddl b/tests/fixtures/pddl_files/rovers-numeric-automatic/p07.pddl
@@ -1,12 +1,12 @@
 (define (problem roverprob4123) (:domain Rover)
 (:objects
-	general - Lander
-	colour high_res low_res - Mode
-	rover0 rover1 rover2 - Rover
-	rover0store rover1store rover2store - Store
-	waypoint0 waypoint1 waypoint2 waypoint3 waypoint4 waypoint5 - Waypoint
-	camera0 camera1 - Camera
-	objective0 objective1 - Objective
+	general - lander
+	colour high_res low_res - mode
+	rover0 rover1 rover2 - rover
+	rover0store rover1store rover2store - store
+	waypoint0 waypoint1 waypoint2 waypoint3 waypoint4 waypoint5 - waypoint
+	camera0 camera1 - camera
+	objective0 objective1 - objective
 	)
 (:init
 	(visible waypoint0 waypoint3)

diff --git a/tests/fixtures/pddl_files/rovers-numeric-automatic/p08.pddl b/tests/fixtures/pddl_files/rovers-numeric-automatic/p08.pddl
@@ -1,12 +1,12 @@
 (define (problem roverprob1423) (:domain Rover)
 (:objects
-	general - Lander
-	colour high_res low_res - Mode
-	rover0 rover1 rover2 rover3 - Rover
-	rover0store rover1store rover2store rover3store - Store
-	waypoint0 waypoint1 waypoint2 waypoint3 waypoint4 waypoint5 - Waypoint
-	camera0 camera1 camera2 camera3 - Camera
-	objective0 objective1 objective2 - Objective
+	general - lander
+	colour high_res low_res - mode
+	rover0 rover1 rover2 rover3 - rover
+	rover0store rover1store rover2store rover3store - store
+	waypoint0 waypoint1 waypoint2 waypoint3 waypoint4 waypoint5 - waypoint
+	camera0 camera1 camera2 camera3 - camera
+	objective0 objective1 objective2 - objective
 	)
 (:init
 	(visible waypoint0 waypoint1)

diff --git a/tests/fixtures/pddl_files/rovers-numeric-automatic/p09.pddl b/tests/fixtures/pddl_files/rovers-numeric-automatic/p09.pddl
@@ -1,12 +1,12 @@
 (define (problem roverprob4132) (:domain Rover)
 (:objects
-	general - Lander
-	colour high_res low_res - Mode
-	rover0 rover1 rover2 rover3 - Rover
-	rover0store rover1store rover2store rover3store - Store
-	waypoint0 waypoint1 waypoint2 waypoint3 waypoint4 waypoint5 waypoint6 - Waypoint
-	camera0 camera1 camera2 camera3 camera4 - Camera
-	objective0 objective1 objective2 - Objective
+	general - lander
+	colour high_res low_res - mode
+	rover0 rover1 rover2 rover3 - rover
+	rover0store rover1store rover2store rover3store - store
+	waypoint0 waypoint1 waypoint2 waypoint3 waypoint4 waypoint5 waypoint6 - waypoint
+	camera0 camera1 camera2 camera3 camera4 - camera
+	objective0 objective1 objective2 - objective
 	)
 (:init
 	(visible waypoint0 waypoint5)

diff --git a/tests/fixtures/pddl_files/rovers-numeric-automatic/p10.pddl b/tests/fixtures/pddl_files/rovers-numeric-automatic/p10.pddl
@@ -1,12 +1,12 @@
 (define (problem roverprob8271) (:domain Rover)
 (:objects
-	general - Lander
-	colour high_res low_res - Mode
-	rover0 rover1 rover2 rover3 - Rover
-	rover0store rover1store rover2store rover3store - Store
-	waypoint0 waypoint1 waypoint2 waypoint3 waypoint4 waypoint5 waypoint6 - Waypoint
-	camera0 camera1 camera2 camera3 camera4 camera5 - Camera
-	objective0 objective1 objective2 objective3 - Objective
+	general - lander
+	colour high_res low_res - mode
+	rover0 rover1 rover2 rover3 - rover
+	rover0store rover1store rover2store rover3store - store
+	waypoint0 waypoint1 waypoint2 waypoint3 waypoint4 waypoint5 waypoint6 - waypoint
+	camera0 camera1 camera2 camera3 camera4 camera5 - camera
+	objective0 objective1 objective2 objective3 - objective
 	)
 (:init
 	(visible waypoint0 waypoint6)

diff --git a/tests/fixtures/pddl_files/rovers-numeric-automatic/p11.pddl b/tests/fixtures/pddl_files/rovers-numeric-automatic/p11.pddl
@@ -1,12 +1,12 @@
 (define (problem roverprob7126) (:domain Rover)
 (:objects
-	general - Lander
-	colour high_res low_res - Mode
-	rover0 rover1 rover2 rover3 - Rover
-	rover0store rover1store rover2store rover3store - Store
-	waypoint0 waypoint1 waypoint2 waypoint3 waypoint4 waypoint5 waypoint6 waypoint7 - Waypoint
-	camera0 camera1 camera2 camera3 - Camera
-	objective0 objective1 objective2 - Objective
+	general - lander
+	colour high_res low_res - mode
+	rover0 rover1 rover2 rover3 - rover
+	rover0store rover1store rover2store rover3store - store
+	waypoint0 waypoint1 waypoint2 waypoint3 waypoint4 waypoint5 waypoint6 waypoint7 - waypoint
+	camera0 camera1 camera2 camera3 - camera
+	objective0 objective1 objective2 - objective
 	)
 (:init
 	(visible waypoint0 waypoint4)

diff --git a/tests/fixtures/pddl_files/rovers-numeric-automatic/p12.pddl b/tests/fixtures/pddl_files/rovers-numeric-automatic/p12.pddl
@@ -1,12 +1,12 @@
 (define (problem roverprob5146) (:domain Rover)
 (:objects
-	general - Lander
-	colour high_res low_res - Mode
-	rover0 rover1 rover2 rover3 - Rover
-	rover0store rover1store rover2store rover3store - Store
-	waypoint0 waypoint1 waypoint2 waypoint3 waypoint4 waypoint5 waypoint6 waypoint7 - Waypoint
-	camera0 camera1 camera2 camera3 - Camera
-	objective0 objective1 objective2 objective3 - Objective
+	general - lander
+	colour high_res low_res - mode
+	rover0 rover1 rover2 rover3 - rover
+	rover0store rover1store rover2store rover3store - store
+	waypoint0 waypoint1 waypoint2 waypoint3 waypoint4 waypoint5 waypoint6 waypoint7 - waypoint
+	camera0 camera1 camera2 camera3 - camera
+	objective0 objective1 objective2 objective3 - objective
 	)
 (:init
 	(visible waypoint0 waypoint1)

diff --git a/tests/fixtures/pddl_files/rovers-numeric-automatic/p13.pddl b/tests/fixtures/pddl_files/rovers-numeric-automatic/p13.pddl
@@ -1,12 +1,12 @@
 (define (problem roverprob6152) (:domain Rover)
 (:objects
-	general - Lander
-	colour high_res low_res - Mode
-	rover0 rover1 rover2 rover3 - Rover
-	rover0store rover1store rover2store rover3store - Store
-	waypoint0 waypoint1 waypoint2 waypoint3 waypoint4 waypoint5 waypoint6 waypoint7 waypoint8 - Waypoint
-	camera0 camera1 camera2 camera3 camera4 - Camera
-	objective0 objective1 objective2 objective3 - Objective
+	general - lander
+	colour high_res low_res - mode
+	rover0 rover1 rover2 rover3 - rover
+	rover0store rover1store rover2store rover3store - store
+	waypoint0 waypoint1 waypoint2 waypoint3 waypoint4 waypoint5 waypoint6 waypoint7 waypoint8 - waypoint
+	camera0 camera1 camera2 camera3 camera4 - camera
+	objective0 objective1 objective2 objective3 - objective
 	)
 (:init
 	(visible waypoint0 waypoint1)

diff --git a/tests/fixtures/pddl_files/rovers-numeric-automatic/p14.pddl b/tests/fixtures/pddl_files/rovers-numeric-automatic/p14.pddl
@@ -1,12 +1,12 @@
 (define (problem roverprob1425) (:domain Rover)
 (:objects
-	general - Lander
-	colour high_res low_res - Mode
-	rover0 rover1 rover2 rover3 - Rover
-	rover0store rover1store rover2store rover3store - Store
-	waypoint0 waypoint1 waypoint2 waypoint3 waypoint4 waypoint5 waypoint6 waypoint7 waypoint8 waypoint9 - Waypoint
-	camera0 camera1 camera2 camera3 camera4 - Camera
-	objective0 objective1 objective2 objective3 - Objective
+	general - lander
+	colour high_res low_res - mode
+	rover0 rover1 rover2 rover3 - rover
+	rover0store rover1store rover2store rover3store - store
+	waypoint0 waypoint1 waypoint2 waypoint3 waypoint4 waypoint5 waypoint6 waypoint7 waypoint8 waypoint9 - waypoint
+	camera0 camera1 camera2 camera3 camera4 - camera
+	objective0 objective1 objective2 objective3 - objective
 	)
 (:init
 	(visible waypoint0 waypoint3)

diff --git a/tests/fixtures/pddl_files/rovers-numeric-automatic/p15.pddl b/tests/fixtures/pddl_files/rovers-numeric-automatic/p15.pddl
@@ -1,12 +1,12 @@
 (define (problem roverprob4135) (:domain Rover)
 (:objects
-	general - Lander
-	colour high_res low_res - Mode
-	rover0 rover1 rover2 rover3 - Rover
-	rover0store rover1store rover2store rover3store - Store
-	waypoint0 waypoint1 waypoint2 waypoint3 waypoint4 waypoint5 waypoint6 waypoint7 waypoint8 waypoint9 waypoint10 - Waypoint
-	camera0 camera1 camera2 camera3 - Camera
-	objective0 objective1 objective2 objective3 objective4 - Objective
+	general - lander
+	colour high_res low_res - mode
+	rover0 rover1 rover2 rover3 - rover
+	rover0store rover1store rover2store rover3store - store
+	waypoint0 waypoint1 waypoint2 waypoint3 waypoint4 waypoint5 waypoint6 waypoint7 waypoint8 waypoint9 waypoint10 - waypoint
+	camera0 camera1 camera2 camera3 - camera
+	objective0 objective1 objective2 objective3 objective4 - objective
 	)
 (:init
 	(visible waypoint0 waypoint3)

diff --git a/tests/fixtures/pddl_files/rovers-numeric-automatic/p16.pddl b/tests/fixtures/pddl_files/rovers-numeric-automatic/p16.pddl
@@ -1,12 +1,12 @@
 (define (problem roverprob5142) (:domain Rover)
 (:objects
-	general - Lander
-	colour high_res low_res - Mode
-	rover0 rover1 rover2 rover3 - Rover
-	rover0store rover1store rover2store rover3store - Store
-	waypoint0 waypoint1 waypoint2 waypoint3 waypoint4 waypoint5 waypoint6 waypoint7 waypoint8 waypoint9 waypoint10 waypoint11 - Waypoint
-	camera0 camera1 camera2 camera3 - Camera
-	objective0 objective1 objective2 objective3 objective4 - Objective
+	general - lander
+	colour high_res low_res - mode
+	rover0 rover1 rover2 rover3 - rover
+	rover0store rover1store rover2store rover3store - store
+	waypoint0 waypoint1 waypoint2 waypoint3 waypoint4 waypoint5 waypoint6 waypoint7 waypoint8 waypoint9 waypoint10 waypoint11 - waypoint
+	camera0 camera1 camera2 camera3 - camera
+	objective0 objective1 objective2 objective3 objective4 - objective
 	)
 (:init
 	(visible waypoint0 waypoint10)

diff --git a/tests/fixtures/pddl_files/rovers-numeric-automatic/p17.pddl b/tests/fixtures/pddl_files/rovers-numeric-automatic/p17.pddl
@@ -1,12 +1,12 @@
 (define (problem roverprob5624) (:domain Rover)
 (:objects
-	general - Lander
-	colour high_res low_res - Mode
-	rover0 rover1 rover2 rover3 rover4 rover5 - Rover
-	rover0store rover1store rover2store rover3store rover4store rover5store - Store
-	waypoint0 waypoint1 waypoint2 waypoint3 waypoint4 waypoint5 waypoint6 waypoint7 waypoint8 waypoint9 waypoint10 waypoint11 waypoint12 waypoint13 waypoint14 - Waypoint
-	camera0 camera1 camera2 camera3 camera4 camera5 camera6 - Camera
-	objective0 objective1 objective2 objective3 objective4 objective5 - Objective
+	general - lander
+	colour high_res low_res - mode
+	rover0 rover1 rover2 rover3 rover4 rover5 - rover
+	rover0store rover1store rover2store rover3store rover4store rover5store - store
+	waypoint0 waypoint1 waypoint2 waypoint3 waypoint4 waypoint5 waypoint6 waypoint7 waypoint8 waypoint9 waypoint10 waypoint11 waypoint12 waypoint13 waypoint14 - waypoint
+	camera0 camera1 camera2 camera3 camera4 camera5 camera6 - camera
+	objective0 objective1 objective2 objective3 objective4 objective5 - objective
 	)
 (:init
 	(visible waypoint1 waypoint0)

diff --git a/tests/fixtures/pddl_files/rovers-numeric-automatic/p18.pddl b/tests/fixtures/pddl_files/rovers-numeric-automatic/p18.pddl
@@ -1,12 +1,12 @@
 (define (problem roverprob4621) (:domain Rover)
 (:objects
-	general - Lander
-	colour high_res low_res - Mode
-	rover0 rover1 rover2 rover3 rover4 rover5 - Rover
-	rover0store rover1store rover2store rover3store rover4store rover5store - Store
-	waypoint0 waypoint1 waypoint2 waypoint3 waypoint4 waypoint5 waypoint6 waypoint7 waypoint8 waypoint9 waypoint10 waypoint11 waypoint12 waypoint13 waypoint14 waypoint15 waypoint16 waypoint17 waypoint18 waypoint19 - Waypoint
-	camera0 camera1 camera2 camera3 camera4 camera5 camera6 - Camera
-	objective0 objective1 objective2 objective3 objective4 objective5 objective6 - Objective
+	general - lander
+	colour high_res low_res - mode
+	rover0 rover1 rover2 rover3 rover4 rover5 - rover
+	rover0store rover1store rover2store rover3store rover4store rover5store - store
+	waypoint0 waypoint1 waypoint2 waypoint3 waypoint4 waypoint5 waypoint6 waypoint7 waypoint8 waypoint9 waypoint10 waypoint11 waypoint12 waypoint13 waypoint14 waypoint15 waypoint16 waypoint17 waypoint18 waypoint19 - waypoint
+	camera0 camera1 camera2 camera3 camera4 camera5 camera6 - camera
+	objective0 objective1 objective2 objective3 objective4 objective5 objective6 - objective
 	)
 (:init
 	(visible waypoint0 waypoint1)

diff --git a/tests/fixtures/pddl_files/rovers-numeric-automatic/p19.pddl b/tests/fixtures/pddl_files/rovers-numeric-automatic/p19.pddl
@@ -1,12 +1,12 @@
 (define (problem roverprob8327) (:domain Rover)
 (:objects
-	general - Lander
-	colour high_res low_res - Mode
-	rover0 rover1 rover2 rover3 rover4 rover5 - Rover
-	rover0store rover1store rover2store rover3store rover4store rover5store - Store
-	waypoint0 waypoint1 waypoint2 waypoint3 waypoint4 waypoint5 waypoint6 waypoint7 waypoint8 waypoint9 waypoint10 waypoint11 waypoint12 waypoint13 waypoint14 waypoint15 waypoint16 waypoint17 waypoint18 waypoint19 - Waypoint
-	camera0 camera1 camera2 camera3 camera4 camera5 camera6 - Camera
-	objective0 objective1 objective2 objective3 objective4 objective5 objective6 objective7 - Objective
+	general - lander
+	colour high_res low_res - mode
+	rover0 rover1 rover2 rover3 rover4 rover5 - rover
+	rover0store rover1store rover2store rover3store rover4store rover5store - store
+	waypoint0 waypoint1 waypoint2 waypoint3 waypoint4 waypoint5 waypoint6 waypoint7 waypoint8 waypoint9 waypoint10 waypoint11 waypoint12 waypoint13 waypoint14 waypoint15 waypoint16 waypoint17 waypoint18 waypoint19 - waypoint
+	camera0 camera1 camera2 camera3 camera4 camera5 camera6 - camera
+	objective0 objective1 objective2 objective3 objective4 objective5 objective6 objective7 - objective
 	)
 (:init
 	(visible waypoint0 waypoint6)

diff --git a/tests/fixtures/pddl_files/rovers-numeric-automatic/p20.pddl b/tests/fixtures/pddl_files/rovers-numeric-automatic/p20.pddl
@@ -1,12 +1,12 @@
 (define (problem roverprob7182) (:domain Rover)
 (:objects
-	general - Lander
-	colour high_res low_res - Mode
-	rover0 rover1 rover2 rover3 rover4 rover5 rover6 rover7 - Rover
-	rover0store rover1store rover2store rover3store rover4store rover5store rover6store rover7store - Store
-	waypoint0 waypoint1 waypoint2 waypoint3 waypoint4 waypoint5 waypoint6 waypoint7 waypoint8 waypoint9 waypoint10 waypoint11 waypoint12 waypoint13 waypoint14 waypoint15 waypoint16 waypoint17 waypoint18 waypoint19 waypoint20 waypoint21 waypoint22 waypoint23 waypoint24 - Waypoint
-	camera0 camera1 camera2 camera3 camera4 camera5 camera6 - Camera
-	objective0 objective1 objective2 objective3 objective4 objective5 objective6 objective7 - Objective
+	general - lander
+	colour high_res low_res - mode
+	rover0 rover1 rover2 rover3 rover4 rover5 rover6 rover7 - rover
+	rover0store rover1store rover2store rover3store rover4store rover5store rover6store rover7store - store
+	waypoint0 waypoint1 waypoint2 waypoint3 waypoint4 waypoint5 waypoint6 waypoint7 waypoint8 waypoint9 waypoint10 waypoint11 waypoint12 waypoint13 waypoint14 waypoint15 waypoint16 waypoint17 waypoint18 waypoint19 waypoint20 waypoint21 waypoint22 waypoint23 waypoint24 - waypoint
+	camera0 camera1 camera2 camera3 camera4 camera5 camera6 - camera
+	objective0 objective1 objective2 objective3 objective4 objective5 objective6 objective7 - objective
 	)
 (:init
 	(visible waypoint0 waypoint5)