-
Notifications
You must be signed in to change notification settings - Fork 7
/
pfile23.hddl
123 lines (123 loc) · 3.24 KB
/
pfile23.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
(define
(problem pfile23)
(:domain domain_htn)
(:objects
package_9 - package
package_2 - package
package_1 - package
package_3 - package
package_0 - package
package_5 - package
package_6 - package
package_4 - package
package_7 - package
package_8 - package
capacity_0 - capacity_number
capacity_1 - capacity_number
capacity_2 - capacity_number
capacity_3 - capacity_number
city_loc_8 - location
city_loc_6 - location
city_loc_0 - location
city_loc_10 - location
city_loc_2 - location
city_loc_1 - location
city_loc_11 - location
city_loc_5 - location
city_loc_14 - location
city_loc_3 - location
city_loc_4 - location
city_loc_13 - location
city_loc_12 - location
city_loc_7 - location
city_loc_9 - location
truck_0 - vehicle
truck_1 - vehicle
truck_2 - vehicle
)
(:htn
:parameters ()
:subtasks (and
(task0 (deliver package_0 city_loc_3))
(task1 (deliver package_1 city_loc_8))
(task2 (deliver package_2 city_loc_7))
(task3 (deliver package_3 city_loc_1))
(task4 (deliver package_4 city_loc_1))
(task5 (deliver package_5 city_loc_7))
(task6 (deliver package_6 city_loc_11))
(task7 (deliver package_7 city_loc_2))
(task8 (deliver package_8 city_loc_0))
(task9 (deliver package_9 city_loc_9))
)
:ordering (and
(< task7 task0)
(< task4 task1)
(< task6 task2)
(< task0 task3)
(< task2 task4)
(< task9 task5)
(< task1 task7)
(< task3 task8)
(< task8 task9)
)
)
(:init
(capacity_predecessor capacity_0 capacity_1)
(capacity_predecessor capacity_1 capacity_2)
(capacity_predecessor capacity_2 capacity_3)
(road city_loc_0 city_loc_1)
(road city_loc_0 city_loc_2)
(road city_loc_0 city_loc_9)
(road city_loc_1 city_loc_0)
(road city_loc_1 city_loc_6)
(road city_loc_1 city_loc_11)
(road city_loc_2 city_loc_0)
(road city_loc_2 city_loc_12)
(road city_loc_2 city_loc_14)
(road city_loc_3 city_loc_3)
(road city_loc_3 city_loc_12)
(road city_loc_3 city_loc_14)
(road city_loc_4 city_loc_10)
(road city_loc_4 city_loc_14)
(road city_loc_5 city_loc_10)
(road city_loc_5 city_loc_14)
(road city_loc_6 city_loc_1)
(road city_loc_7 city_loc_8)
(road city_loc_7 city_loc_9)
(road city_loc_8 city_loc_7)
(road city_loc_9 city_loc_0)
(road city_loc_9 city_loc_7)
(road city_loc_9 city_loc_14)
(road city_loc_10 city_loc_4)
(road city_loc_10 city_loc_5)
(road city_loc_10 city_loc_11)
(road city_loc_11 city_loc_1)
(road city_loc_11 city_loc_10)
(road city_loc_11 city_loc_13)
(road city_loc_12 city_loc_2)
(road city_loc_12 city_loc_3)
(road city_loc_12 city_loc_12)
(road city_loc_13 city_loc_11)
(road city_loc_14 city_loc_2)
(road city_loc_14 city_loc_3)
(road city_loc_14 city_loc_4)
(road city_loc_14 city_loc_5)
(road city_loc_14 city_loc_9)
(at package_0 city_loc_1)
(at package_1 city_loc_12)
(at package_2 city_loc_0)
(at package_3 city_loc_2)
(at package_4 city_loc_14)
(at package_5 city_loc_12)
(at package_6 city_loc_7)
(at package_7 city_loc_3)
(at package_8 city_loc_6)
(at package_9 city_loc_11)
(at truck_0 city_loc_8)
(at truck_1 city_loc_11)
(at truck_2 city_loc_10)
(capacity truck_0 capacity_3)
(capacity truck_1 capacity_3)
(capacity truck_2 capacity_3)
)
)