-
Notifications
You must be signed in to change notification settings - Fork 7
/
pfile08.hddl
67 lines (67 loc) · 1.64 KB
/
pfile08.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
(define
(problem pfile08)
(:domain domain_htn)
(:objects
package_2 - package
package_1 - package
package_3 - package
package_0 - package
package_5 - package
package_4 - package
capacity_0 - capacity_number
capacity_1 - capacity_number
capacity_2 - capacity_number
capacity_3 - capacity_number
city_loc_0 - location
city_loc_2 - location
city_loc_1 - location
city_loc_5 - location
city_loc_3 - location
city_loc_4 - location
truck_0 - vehicle
)
(:htn
:parameters ()
:subtasks (and
(task0 (deliver package_0 city_loc_1))
(task1 (deliver package_1 city_loc_5))
(task2 (deliver package_2 city_loc_3))
(task3 (deliver package_3 city_loc_4))
(task4 (deliver package_4 city_loc_4))
(task5 (deliver package_5 city_loc_5))
)
:ordering (and
(< task1 task0)
(< task5 task1)
(< task4 task2)
(< task3 task4)
(< task2 task5)
)
)
(: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_2)
(road city_loc_0 city_loc_4)
(road city_loc_0 city_loc_5)
(road city_loc_1 city_loc_4)
(road city_loc_2 city_loc_0)
(road city_loc_2 city_loc_5)
(road city_loc_3 city_loc_5)
(road city_loc_4 city_loc_0)
(road city_loc_4 city_loc_1)
(road city_loc_4 city_loc_4)
(road city_loc_5 city_loc_0)
(road city_loc_5 city_loc_2)
(road city_loc_5 city_loc_3)
(at package_0 city_loc_0)
(at package_1 city_loc_4)
(at package_2 city_loc_1)
(at package_3 city_loc_5)
(at package_4 city_loc_5)
(at package_5 city_loc_0)
(at truck_0 city_loc_0)
(capacity truck_0 capacity_3)
)
)