forked from aibasel/pyperplan
-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathtask12.pddl
107 lines (88 loc) · 2.28 KB
/
task12.pddl
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
; woodworking task with 4 parts and 120% wood
; Machines:
; 1 grinder
; 1 glazer
; 1 immersion-varnisher
; 1 planer
; 1 highspeed-saw
; 1 spray-varnisher
; 1 saw
; random seed: 414413
(define (problem wood-prob)
(:domain woodworking)
(:objects
grinder0 - grinder
glazer0 - glazer
immersion-varnisher0 - immersion-varnisher
planer0 - planer
highspeed-saw0 - highspeed-saw
spray-varnisher0 - spray-varnisher
saw0 - saw
blue mauve white - acolour
pine oak - awood
p0 p1 p2 p3 - part
b0 b1 - board
s0 s1 s2 s3 s4 s5 s6 s7 s8 s9 s10 - aboardsize
)
(:init
(grind-treatment-change varnished colourfragments)
(grind-treatment-change glazed untreated)
(grind-treatment-change untreated untreated)
(grind-treatment-change colourfragments untreated)
(is-smooth smooth)
(is-smooth verysmooth)
(boardsize-successor s0 s1)
(boardsize-successor s1 s2)
(boardsize-successor s2 s3)
(boardsize-successor s3 s4)
(boardsize-successor s4 s5)
(boardsize-successor s5 s6)
(boardsize-successor s6 s7)
(boardsize-successor s7 s8)
(boardsize-successor s8 s9)
(boardsize-successor s9 s10)
(has-colour glazer0 blue)
(has-colour glazer0 mauve)
(has-colour glazer0 white)
(has-colour immersion-varnisher0 blue)
(has-colour immersion-varnisher0 mauve)
(empty highspeed-saw0)
(has-colour spray-varnisher0 blue)
(has-colour spray-varnisher0 mauve)
(unused p0)
(goalsize p0 medium)
(unused p1)
(goalsize p1 large)
(unused p2)
(goalsize p2 large)
(unused p3)
(goalsize p3 medium)
(boardsize b0 s10)
(wood b0 oak)
(surface-condition b0 rough)
(available b0)
(boardsize b1 s3)
(wood b1 pine)
(surface-condition b1 rough)
(available b1)
)
(:goal
(and
(available p0)
(colour p0 mauve)
(surface-condition p0 smooth)
(available p1)
(colour p1 blue)
(surface-condition p1 smooth)
(available p2)
(colour p2 white)
(wood p2 oak)
(surface-condition p2 smooth)
(treatment p2 glazed)
(available p3)
(colour p3 mauve)
(wood p3 pine)
(treatment p3 glazed)
)
)
)