Skip to content

Commit

Permalink
Simplify domain slightly to satisfy FD translator
Browse files Browse the repository at this point in the history
  • Loading branch information
camall3n committed Dec 22, 2022
1 parent 47df72e commit f326999
Showing 1 changed file with 41 additions and 41 deletions.
82 changes: 41 additions & 41 deletions oo_scoping/examples/domains/minecraft3/prob_make_bed_irrel_cam.pddl
Original file line number Diff line number Diff line change
Expand Up @@ -11,10 +11,10 @@
bed1 - bed
dmd0 dmd1 dmd2 dmd3 dmd4 - diamond
stick0 stick1 stick2 stick3 stick4 - stick
bs0 bs1 bs2 bs3 bs4 bs5 bs6 bs7 bs8 bs9 bs10 bs11 bs12 bs13 bs14 bs15 bs16 bs17 bs18 bs19 - birch-sapling
bs0 bs1 bs2 bs3 bs4 bs5 bs6 bs7 bs8 bs9 bs10 bs11 - birch-sapling; bs12 bs13 bs14 bs15 bs16 bs17 bs18 bs19
os0 os1 os2 os3 os4 os5 os6 os7 os8 os9 os10 os11 - oak-sapling
n0 n1 n2 n3 n4 n5 n6 n7 n8 n9 n10 n11 n12 n13 n14 n15 n16 n17 n18 n19 - count
p0 p1 p2 p3 p4 p5 p6 p7 p8 p9 p10 p11 p12 p13 p14 p15 p16 p17 p18 p19 - position
n0 n1 n2 n3 n4 n5 n6 n7 n8 n9 n10 n11 n12 n13 n14 n15 n16 - count; n17 n18 n19
p0 p1 p2 p3 p4 p5 p6 p7 p8 p9 p10 p11 p12 p13 p14 p15 p16 - position; p17 p18 p19
c_none c_blue - color
)

Expand All @@ -36,9 +36,9 @@
(are-seq n13 n14)
(are-seq n14 n15)
(are-seq n15 n16)
(are-seq n16 n17)
(are-seq n17 n18)
(are-seq n18 n19)
; (are-seq n16 n17)
; (are-seq n17 n18)
; (are-seq n18 n19)
(are-seq p0 p1)
(are-seq p1 p2)
(are-seq p2 p3)
Expand All @@ -55,9 +55,9 @@
(are-seq p13 p14)
(are-seq p14 p15)
(are-seq p15 p16)
(are-seq p16 p17)
(are-seq p17 p18)
(are-seq p18 p19)
; (are-seq p16 p17)
; (are-seq p17 p18)
; (are-seq p18 p19)
(neq c_none c_blue)
(agent-alive steve)
(at-x wb0 p7)
Expand Down Expand Up @@ -196,38 +196,38 @@
(at-y bs11 p2)
(at-z bs11 p0)
(present bs11)
(at-x bs12 p6)
(at-y bs12 p2)
(at-z bs12 p0)
(present bs12)
(at-x bs13 p5)
(at-y bs13 p2)
(at-z bs13 p0)
(present bs13)
(at-x bs14 p4)
(at-y bs14 p2)
(at-z bs14 p0)
(present bs14)
(at-x bs15 p3)
(at-y bs15 p2)
(at-z bs15 p0)
(present bs15)
(at-x bs16 p2)
(at-y bs16 p2)
(at-z bs16 p0)
(present bs16)
(at-x bs17 p2)
(at-y bs17 p3)
(at-z bs17 p0)
(present bs17)
(at-x bs18 p2)
(at-y bs18 p4)
(at-z bs18 p0)
(present bs18)
(at-x bs19 p2)
(at-y bs19 p5)
(at-z bs19 p0)
(present bs19)
; (at-x bs12 p6)
; (at-y bs12 p2)
; (at-z bs12 p0)
; (present bs12)
; (at-x bs13 p5)
; (at-y bs13 p2)
; (at-z bs13 p0)
; (present bs13)
; (at-x bs14 p4)
; (at-y bs14 p2)
; (at-z bs14 p0)
; (present bs14)
; (at-x bs15 p3)
; (at-y bs15 p2)
; (at-z bs15 p0)
; (present bs15)
; (at-x bs16 p2)
; (at-y bs16 p2)
; (at-z bs16 p0)
; (present bs16)
; (at-x bs17 p2)
; (at-y bs17 p3)
; (at-z bs17 p0)
; (present bs17)
; (at-x bs18 p2)
; (at-y bs18 p4)
; (at-z bs18 p0)
; (present bs18)
; (at-x bs19 p2)
; (at-y bs19 p5)
; (at-z bs19 p0)
; (present bs19)
(at-x os0 p3)
(at-y os0 p5)
(at-z os0 p0)
Expand Down

0 comments on commit f326999

Please sign in to comment.