forked from panda-planner-dev/ipc2020-domains
-
Notifications
You must be signed in to change notification settings - Fork 0
/
genericLinearProblem_depth05.hddl
188 lines (185 loc) · 9.1 KB
/
genericLinearProblem_depth05.hddl
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
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
(define(problem generischesLinearesVerkabelungsproblemTiefe5)
(:domain verkabelung)
(:objects
;; Available Types
plugType1 - PlugType
plugType2 - PlugType
plugType3 - PlugType
plugType4 - PlugType
plugType5 - PlugType
data - SignalType
;; Cables
cableWithPlugType1 - Cable
cableWithPlugType2 - Cable
cableWithPlugType3 - Cable
cableWithPlugType4 - Cable
cableWithPlugType5 - Cable
;; Devices
pc printer - Device
;; Adapters
adapterFromPlugType1ToPlugType2 - Adapter
adapterFromPlugType2ToPlugType3 - Adapter
adapterFromPlugType3ToPlugType4 - Adapter
adapterFromPlugType4ToPlugType5 - Adapter
;; Cable - Ports
cableWithPlugType1-a - Port
cableWithPlugType1-b - Port
cableWithPlugType2-a - Port
cableWithPlugType2-b - Port
cableWithPlugType3-a - Port
cableWithPlugType3-b - Port
cableWithPlugType4-a - Port
cableWithPlugType4-b - Port
cableWithPlugType5-a - Port
cableWithPlugType5-b - Port
;; Device - Ports
printer-aPlugType5 pc-bPlugType1 - Port
;; Adapter - Ports
adapterFromPlugType1ToPlugType2-aPlugType1 - Port
adapterFromPlugType1ToPlugType2-bPlugType2 - Port
adapterFromPlugType2ToPlugType3-aPlugType2 - Port
adapterFromPlugType2ToPlugType3-bPlugType3 - Port
adapterFromPlugType3ToPlugType4-aPlugType3 - Port
adapterFromPlugType3ToPlugType4-bPlugType4 - Port
adapterFromPlugType4ToPlugType5-aPlugType4 - Port
adapterFromPlugType4ToPlugType5-bPlugType5 - Port
)
(:htn
:tasks
(and
(ConnectDevices pc printer data)
)
)
(:init
;; PC
(isPartOf pc-bPlugType1 pc)
(isPlugType pc-bPlugType1 plugType1)
(isPlugFace pc-bPlugType1 female)
(isPlugDirection pc-bPlugType1 out)
(isSignalSource pc-bPlugType1 data)
;; Printer
(isPartOf printer-aPlugType5 printer)
(isPlugType printer-aPlugType5 plugType5)
(isPlugFace printer-aPlugType5 female)
(isPlugDirection printer-aPlugType5 in)
(isSignalDestination printer-aPlugType5 data)
;; Adapter 1->2
(isPartOf adapterFromPlugType1ToPlugType2-aPlugType1 adapterFromPlugType1ToPlugType2)
(isPartOf adapterFromPlugType1ToPlugType2-bPlugType2 adapterFromPlugType1ToPlugType2)
(isPlugType adapterFromPlugType1ToPlugType2-aPlugType1 plugType1)
(isPlugType adapterFromPlugType1ToPlugType2-bPlugType2 plugType2)
(isPlugFace adapterFromPlugType1ToPlugType2-aPlugType1 female)
(isPlugFace adapterFromPlugType1ToPlugType2-bPlugType2 female)
(isPlugDirection adapterFromPlugType1ToPlugType2-aPlugType1 both)
(isPlugDirection adapterFromPlugType1ToPlugType2-bPlugType2 both)
(isSignalRepeater adapterFromPlugType1ToPlugType2-aPlugType1 adapterFromPlugType1ToPlugType2-bPlugType2 data)
(isSignalRepeater adapterFromPlugType1ToPlugType2-bPlugType2 adapterFromPlugType1ToPlugType2-aPlugType1 data)
(isSignalSource adapterFromPlugType1ToPlugType2-aPlugType1 data)
(isSignalSource adapterFromPlugType1ToPlugType2-bPlugType2 data)
(isSignalDestination adapterFromPlugType1ToPlugType2-aPlugType1 data)
(isSignalDestination adapterFromPlugType1ToPlugType2-bPlugType2 data)
;; Adapter 2->3
(isPartOf adapterFromPlugType2ToPlugType3-aPlugType2 adapterFromPlugType2ToPlugType3)
(isPartOf adapterFromPlugType2ToPlugType3-bPlugType3 adapterFromPlugType2ToPlugType3)
(isPlugType adapterFromPlugType2ToPlugType3-aPlugType2 plugType2)
(isPlugType adapterFromPlugType2ToPlugType3-bPlugType3 plugType3)
(isPlugFace adapterFromPlugType2ToPlugType3-aPlugType2 female)
(isPlugFace adapterFromPlugType2ToPlugType3-bPlugType3 female)
(isPlugDirection adapterFromPlugType2ToPlugType3-aPlugType2 both)
(isPlugDirection adapterFromPlugType2ToPlugType3-bPlugType3 both)
(isSignalRepeater adapterFromPlugType2ToPlugType3-aPlugType2 adapterFromPlugType2ToPlugType3-bPlugType3 data)
(isSignalRepeater adapterFromPlugType2ToPlugType3-bPlugType3 adapterFromPlugType2ToPlugType3-aPlugType2 data)
(isSignalSource adapterFromPlugType2ToPlugType3-aPlugType2 data)
(isSignalSource adapterFromPlugType2ToPlugType3-bPlugType3 data)
(isSignalDestination adapterFromPlugType2ToPlugType3-aPlugType2 data)
(isSignalDestination adapterFromPlugType2ToPlugType3-bPlugType3 data)
;; Adapter 3->4
(isPartOf adapterFromPlugType3ToPlugType4-aPlugType3 adapterFromPlugType3ToPlugType4)
(isPartOf adapterFromPlugType3ToPlugType4-bPlugType4 adapterFromPlugType3ToPlugType4)
(isPlugType adapterFromPlugType3ToPlugType4-aPlugType3 plugType3)
(isPlugType adapterFromPlugType3ToPlugType4-bPlugType4 plugType4)
(isPlugFace adapterFromPlugType3ToPlugType4-aPlugType3 female)
(isPlugFace adapterFromPlugType3ToPlugType4-bPlugType4 female)
(isPlugDirection adapterFromPlugType3ToPlugType4-aPlugType3 both)
(isPlugDirection adapterFromPlugType3ToPlugType4-bPlugType4 both)
(isSignalRepeater adapterFromPlugType3ToPlugType4-aPlugType3 adapterFromPlugType3ToPlugType4-bPlugType4 data)
(isSignalRepeater adapterFromPlugType3ToPlugType4-bPlugType4 adapterFromPlugType3ToPlugType4-aPlugType3 data)
(isSignalSource adapterFromPlugType3ToPlugType4-aPlugType3 data)
(isSignalSource adapterFromPlugType3ToPlugType4-bPlugType4 data)
(isSignalDestination adapterFromPlugType3ToPlugType4-aPlugType3 data)
(isSignalDestination adapterFromPlugType3ToPlugType4-bPlugType4 data)
;; Adapter 4->5
(isPartOf adapterFromPlugType4ToPlugType5-aPlugType4 adapterFromPlugType4ToPlugType5)
(isPartOf adapterFromPlugType4ToPlugType5-bPlugType5 adapterFromPlugType4ToPlugType5)
(isPlugType adapterFromPlugType4ToPlugType5-aPlugType4 plugType4)
(isPlugType adapterFromPlugType4ToPlugType5-bPlugType5 plugType5)
(isPlugFace adapterFromPlugType4ToPlugType5-aPlugType4 female)
(isPlugFace adapterFromPlugType4ToPlugType5-bPlugType5 female)
(isPlugDirection adapterFromPlugType4ToPlugType5-aPlugType4 both)
(isPlugDirection adapterFromPlugType4ToPlugType5-bPlugType5 both)
(isSignalRepeater adapterFromPlugType4ToPlugType5-aPlugType4 adapterFromPlugType4ToPlugType5-bPlugType5 data)
(isSignalRepeater adapterFromPlugType4ToPlugType5-bPlugType5 adapterFromPlugType4ToPlugType5-aPlugType4 data)
(isSignalSource adapterFromPlugType4ToPlugType5-aPlugType4 data)
(isSignalSource adapterFromPlugType4ToPlugType5-bPlugType5 data)
(isSignalDestination adapterFromPlugType4ToPlugType5-aPlugType4 data)
(isSignalDestination adapterFromPlugType4ToPlugType5-bPlugType5 data)
;; Cable 1
(isPartOf cableWithPlugType1-a cableWithPlugType1)
(isPartOf cableWithPlugType1-b cableWithPlugType1)
(isPlugType cableWithPlugType1-a plugType1)
(isPlugType cableWithPlugType1-b plugType1)
(isPlugFace cableWithPlugType1-a male)
(isPlugFace cableWithPlugType1-b male)
(isPlugDirection cableWithPlugType1-a both)
(isPlugDirection cableWithPlugType1-b both)
(isSignalRepeater cableWithPlugType1-a cableWithPlugType1-b data)
(isSignalRepeater cableWithPlugType1-b cableWithPlugType1-a data)
;; Cable 2
(isPartOf cableWithPlugType2-a cableWithPlugType2)
(isPartOf cableWithPlugType2-b cableWithPlugType2)
(isPlugType cableWithPlugType2-a plugType2)
(isPlugType cableWithPlugType2-b plugType2)
(isPlugFace cableWithPlugType2-a male)
(isPlugFace cableWithPlugType2-b male)
(isPlugDirection cableWithPlugType2-a both)
(isPlugDirection cableWithPlugType2-b both)
(isSignalRepeater cableWithPlugType2-a cableWithPlugType2-b data)
(isSignalRepeater cableWithPlugType2-b cableWithPlugType2-a data)
;; Cable 3
(isPartOf cableWithPlugType3-a cableWithPlugType3)
(isPartOf cableWithPlugType3-b cableWithPlugType3)
(isPlugType cableWithPlugType3-a plugType3)
(isPlugType cableWithPlugType3-b plugType3)
(isPlugFace cableWithPlugType3-a male)
(isPlugFace cableWithPlugType3-b male)
(isPlugDirection cableWithPlugType3-a both)
(isPlugDirection cableWithPlugType3-b both)
(isSignalRepeater cableWithPlugType3-a cableWithPlugType3-b data)
(isSignalRepeater cableWithPlugType3-b cableWithPlugType3-a data)
;; Cable 4
(isPartOf cableWithPlugType4-a cableWithPlugType4)
(isPartOf cableWithPlugType4-b cableWithPlugType4)
(isPlugType cableWithPlugType4-a plugType4)
(isPlugType cableWithPlugType4-b plugType4)
(isPlugFace cableWithPlugType4-a male)
(isPlugFace cableWithPlugType4-b male)
(isPlugDirection cableWithPlugType4-a both)
(isPlugDirection cableWithPlugType4-b both)
(isSignalRepeater cableWithPlugType4-a cableWithPlugType4-b data)
(isSignalRepeater cableWithPlugType4-b cableWithPlugType4-a data)
;; Cable 5
(isPartOf cableWithPlugType5-a cableWithPlugType5)
(isPartOf cableWithPlugType5-b cableWithPlugType5)
(isPlugType cableWithPlugType5-a plugType5)
(isPlugType cableWithPlugType5-b plugType5)
(isPlugFace cableWithPlugType5-a male)
(isPlugFace cableWithPlugType5-b male)
(isPlugDirection cableWithPlugType5-a both)
(isPlugDirection cableWithPlugType5-b both)
(isSignalRepeater cableWithPlugType5-a cableWithPlugType5-b data)
(isSignalRepeater cableWithPlugType5-b cableWithPlugType5-a data)
)
(:goal
(pAim)
)
)