forked from panda-planner-dev/ipc2020-domains
-
Notifications
You must be signed in to change notification settings - Fork 0
/
genericLinearProblem_depth09.hddl
320 lines (317 loc) · 16.7 KB
/
genericLinearProblem_depth09.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
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
(define(problem generischesLinearesVerkabelungsproblemTiefe9)
(:domain verkabelung)
(:objects
;; Available Types
plugType1 - PlugType
plugType2 - PlugType
plugType3 - PlugType
plugType4 - PlugType
plugType5 - PlugType
plugType6 - PlugType
plugType7 - PlugType
plugType8 - PlugType
plugType9 - PlugType
data - SignalType
;; Cables
cableWithPlugType1 - Cable
cableWithPlugType2 - Cable
cableWithPlugType3 - Cable
cableWithPlugType4 - Cable
cableWithPlugType5 - Cable
cableWithPlugType6 - Cable
cableWithPlugType7 - Cable
cableWithPlugType8 - Cable
cableWithPlugType9 - Cable
;; Devices
pc printer - Device
;; Adapters
adapterFromPlugType1ToPlugType2 - Adapter
adapterFromPlugType2ToPlugType3 - Adapter
adapterFromPlugType3ToPlugType4 - Adapter
adapterFromPlugType4ToPlugType5 - Adapter
adapterFromPlugType5ToPlugType6 - Adapter
adapterFromPlugType6ToPlugType7 - Adapter
adapterFromPlugType7ToPlugType8 - Adapter
adapterFromPlugType8ToPlugType9 - 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
cableWithPlugType6-a - Port
cableWithPlugType6-b - Port
cableWithPlugType7-a - Port
cableWithPlugType7-b - Port
cableWithPlugType8-a - Port
cableWithPlugType8-b - Port
cableWithPlugType9-a - Port
cableWithPlugType9-b - Port
;; Device - Ports
printer-aPlugType9 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
adapterFromPlugType5ToPlugType6-aPlugType5 - Port
adapterFromPlugType5ToPlugType6-bPlugType6 - Port
adapterFromPlugType6ToPlugType7-aPlugType6 - Port
adapterFromPlugType6ToPlugType7-bPlugType7 - Port
adapterFromPlugType7ToPlugType8-aPlugType7 - Port
adapterFromPlugType7ToPlugType8-bPlugType8 - Port
adapterFromPlugType8ToPlugType9-aPlugType8 - Port
adapterFromPlugType8ToPlugType9-bPlugType9 - 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-aPlugType9 printer)
(isPlugType printer-aPlugType9 plugType9)
(isPlugFace printer-aPlugType9 female)
(isPlugDirection printer-aPlugType9 in)
(isSignalDestination printer-aPlugType9 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)
;; Adapter 5->6
(isPartOf adapterFromPlugType5ToPlugType6-aPlugType5 adapterFromPlugType5ToPlugType6)
(isPartOf adapterFromPlugType5ToPlugType6-bPlugType6 adapterFromPlugType5ToPlugType6)
(isPlugType adapterFromPlugType5ToPlugType6-aPlugType5 plugType5)
(isPlugType adapterFromPlugType5ToPlugType6-bPlugType6 plugType6)
(isPlugFace adapterFromPlugType5ToPlugType6-aPlugType5 female)
(isPlugFace adapterFromPlugType5ToPlugType6-bPlugType6 female)
(isPlugDirection adapterFromPlugType5ToPlugType6-aPlugType5 both)
(isPlugDirection adapterFromPlugType5ToPlugType6-bPlugType6 both)
(isSignalRepeater adapterFromPlugType5ToPlugType6-aPlugType5 adapterFromPlugType5ToPlugType6-bPlugType6 data)
(isSignalRepeater adapterFromPlugType5ToPlugType6-bPlugType6 adapterFromPlugType5ToPlugType6-aPlugType5 data)
(isSignalSource adapterFromPlugType5ToPlugType6-aPlugType5 data)
(isSignalSource adapterFromPlugType5ToPlugType6-bPlugType6 data)
(isSignalDestination adapterFromPlugType5ToPlugType6-aPlugType5 data)
(isSignalDestination adapterFromPlugType5ToPlugType6-bPlugType6 data)
;; Adapter 6->7
(isPartOf adapterFromPlugType6ToPlugType7-aPlugType6 adapterFromPlugType6ToPlugType7)
(isPartOf adapterFromPlugType6ToPlugType7-bPlugType7 adapterFromPlugType6ToPlugType7)
(isPlugType adapterFromPlugType6ToPlugType7-aPlugType6 plugType6)
(isPlugType adapterFromPlugType6ToPlugType7-bPlugType7 plugType7)
(isPlugFace adapterFromPlugType6ToPlugType7-aPlugType6 female)
(isPlugFace adapterFromPlugType6ToPlugType7-bPlugType7 female)
(isPlugDirection adapterFromPlugType6ToPlugType7-aPlugType6 both)
(isPlugDirection adapterFromPlugType6ToPlugType7-bPlugType7 both)
(isSignalRepeater adapterFromPlugType6ToPlugType7-aPlugType6 adapterFromPlugType6ToPlugType7-bPlugType7 data)
(isSignalRepeater adapterFromPlugType6ToPlugType7-bPlugType7 adapterFromPlugType6ToPlugType7-aPlugType6 data)
(isSignalSource adapterFromPlugType6ToPlugType7-aPlugType6 data)
(isSignalSource adapterFromPlugType6ToPlugType7-bPlugType7 data)
(isSignalDestination adapterFromPlugType6ToPlugType7-aPlugType6 data)
(isSignalDestination adapterFromPlugType6ToPlugType7-bPlugType7 data)
;; Adapter 7->8
(isPartOf adapterFromPlugType7ToPlugType8-aPlugType7 adapterFromPlugType7ToPlugType8)
(isPartOf adapterFromPlugType7ToPlugType8-bPlugType8 adapterFromPlugType7ToPlugType8)
(isPlugType adapterFromPlugType7ToPlugType8-aPlugType7 plugType7)
(isPlugType adapterFromPlugType7ToPlugType8-bPlugType8 plugType8)
(isPlugFace adapterFromPlugType7ToPlugType8-aPlugType7 female)
(isPlugFace adapterFromPlugType7ToPlugType8-bPlugType8 female)
(isPlugDirection adapterFromPlugType7ToPlugType8-aPlugType7 both)
(isPlugDirection adapterFromPlugType7ToPlugType8-bPlugType8 both)
(isSignalRepeater adapterFromPlugType7ToPlugType8-aPlugType7 adapterFromPlugType7ToPlugType8-bPlugType8 data)
(isSignalRepeater adapterFromPlugType7ToPlugType8-bPlugType8 adapterFromPlugType7ToPlugType8-aPlugType7 data)
(isSignalSource adapterFromPlugType7ToPlugType8-aPlugType7 data)
(isSignalSource adapterFromPlugType7ToPlugType8-bPlugType8 data)
(isSignalDestination adapterFromPlugType7ToPlugType8-aPlugType7 data)
(isSignalDestination adapterFromPlugType7ToPlugType8-bPlugType8 data)
;; Adapter 8->9
(isPartOf adapterFromPlugType8ToPlugType9-aPlugType8 adapterFromPlugType8ToPlugType9)
(isPartOf adapterFromPlugType8ToPlugType9-bPlugType9 adapterFromPlugType8ToPlugType9)
(isPlugType adapterFromPlugType8ToPlugType9-aPlugType8 plugType8)
(isPlugType adapterFromPlugType8ToPlugType9-bPlugType9 plugType9)
(isPlugFace adapterFromPlugType8ToPlugType9-aPlugType8 female)
(isPlugFace adapterFromPlugType8ToPlugType9-bPlugType9 female)
(isPlugDirection adapterFromPlugType8ToPlugType9-aPlugType8 both)
(isPlugDirection adapterFromPlugType8ToPlugType9-bPlugType9 both)
(isSignalRepeater adapterFromPlugType8ToPlugType9-aPlugType8 adapterFromPlugType8ToPlugType9-bPlugType9 data)
(isSignalRepeater adapterFromPlugType8ToPlugType9-bPlugType9 adapterFromPlugType8ToPlugType9-aPlugType8 data)
(isSignalSource adapterFromPlugType8ToPlugType9-aPlugType8 data)
(isSignalSource adapterFromPlugType8ToPlugType9-bPlugType9 data)
(isSignalDestination adapterFromPlugType8ToPlugType9-aPlugType8 data)
(isSignalDestination adapterFromPlugType8ToPlugType9-bPlugType9 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)
;; Cable 6
(isPartOf cableWithPlugType6-a cableWithPlugType6)
(isPartOf cableWithPlugType6-b cableWithPlugType6)
(isPlugType cableWithPlugType6-a plugType6)
(isPlugType cableWithPlugType6-b plugType6)
(isPlugFace cableWithPlugType6-a male)
(isPlugFace cableWithPlugType6-b male)
(isPlugDirection cableWithPlugType6-a both)
(isPlugDirection cableWithPlugType6-b both)
(isSignalRepeater cableWithPlugType6-a cableWithPlugType6-b data)
(isSignalRepeater cableWithPlugType6-b cableWithPlugType6-a data)
;; Cable 7
(isPartOf cableWithPlugType7-a cableWithPlugType7)
(isPartOf cableWithPlugType7-b cableWithPlugType7)
(isPlugType cableWithPlugType7-a plugType7)
(isPlugType cableWithPlugType7-b plugType7)
(isPlugFace cableWithPlugType7-a male)
(isPlugFace cableWithPlugType7-b male)
(isPlugDirection cableWithPlugType7-a both)
(isPlugDirection cableWithPlugType7-b both)
(isSignalRepeater cableWithPlugType7-a cableWithPlugType7-b data)
(isSignalRepeater cableWithPlugType7-b cableWithPlugType7-a data)
;; Cable 8
(isPartOf cableWithPlugType8-a cableWithPlugType8)
(isPartOf cableWithPlugType8-b cableWithPlugType8)
(isPlugType cableWithPlugType8-a plugType8)
(isPlugType cableWithPlugType8-b plugType8)
(isPlugFace cableWithPlugType8-a male)
(isPlugFace cableWithPlugType8-b male)
(isPlugDirection cableWithPlugType8-a both)
(isPlugDirection cableWithPlugType8-b both)
(isSignalRepeater cableWithPlugType8-a cableWithPlugType8-b data)
(isSignalRepeater cableWithPlugType8-b cableWithPlugType8-a data)
;; Cable 9
(isPartOf cableWithPlugType9-a cableWithPlugType9)
(isPartOf cableWithPlugType9-b cableWithPlugType9)
(isPlugType cableWithPlugType9-a plugType9)
(isPlugType cableWithPlugType9-b plugType9)
(isPlugFace cableWithPlugType9-a male)
(isPlugFace cableWithPlugType9-b male)
(isPlugDirection cableWithPlugType9-a both)
(isPlugDirection cableWithPlugType9-b both)
(isSignalRepeater cableWithPlugType9-a cableWithPlugType9-b data)
(isSignalRepeater cableWithPlugType9-b cableWithPlugType9-a data)
)
(:goal
(pAim)
)
)