-
Notifications
You must be signed in to change notification settings - Fork 7
/
Copy pathpfile16.hddl
125 lines (125 loc) · 3.7 KB
/
pfile16.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
(define (problem p-14-10-15)
(:domain barman_htn)
(:objects
left right - hand
shaker1 - shaker
shot1 shot2 shot3 shot4 shot5 shot6 shot7 shot8 shot9 shot10 shot11 shot12 shot13 shot14 shot15 - shot
ingredient1 ingredient2 ingredient3 ingredient4 ingredient5 ingredient6 ingredient7 ingredient8 ingredient9 ingredient10 - ingredient
dispenser1 dispenser2 dispenser3 dispenser4 dispenser5 dispenser6 dispenser7 dispenser8 dispenser9 dispenser10 - dispenser
cocktail1 cocktail2 cocktail3 cocktail4 cocktail5 cocktail6 cocktail7 cocktail8 cocktail9 cocktail10 cocktail11 cocktail12 cocktail13 cocktail14 - cocktail
level1 level2 level3 - level
)
(:htn
:parameters ()
:ordered-subtasks (and
(AchieveContainsShotCocktail shot14 cocktail1)
(AchieveContainsShotCocktail shot11 cocktail2)
(AchieveContainsShotCocktail shot9 cocktail3)
(AchieveContainsShotCocktail shot1 cocktail4)
(AchieveContainsShotCocktail shot15 cocktail5)
(AchieveContainsShotCocktail shot2 cocktail6)
(AchieveContainsShotCocktail shot10 cocktail7)
(AchieveContainsShotCocktail shot3 cocktail8)
(AchieveContainsShotCocktail shot5 cocktail9)
(AchieveContainsShotCocktail shot4 cocktail10)
(AchieveContainsShotCocktail shot13 cocktail11)
(AchieveContainsShotCocktail shot12 cocktail12)
(AchieveContainsShotCocktail shot8 cocktail13)
(AchieveContainsShotCocktail shot6 cocktail14)
)
)
(:init
(ontable shaker1)
(ontable shot1)
(ontable shot2)
(ontable shot3)
(ontable shot4)
(ontable shot5)
(ontable shot6)
(ontable shot7)
(ontable shot8)
(ontable shot9)
(ontable shot10)
(ontable shot11)
(ontable shot12)
(ontable shot13)
(ontable shot14)
(ontable shot15)
(clean shaker1)
(clean shot1)
(clean shot2)
(clean shot3)
(clean shot4)
(clean shot5)
(clean shot6)
(clean shot7)
(clean shot8)
(clean shot9)
(clean shot10)
(clean shot11)
(clean shot12)
(clean shot13)
(clean shot14)
(clean shot15)
(empty shaker1)
(empty shot1)
(empty shot2)
(empty shot3)
(empty shot4)
(empty shot5)
(empty shot6)
(empty shot7)
(empty shot8)
(empty shot9)
(empty shot10)
(empty shot11)
(empty shot12)
(empty shot13)
(empty shot14)
(empty shot15)
(dispenses dispenser1 ingredient1)
(dispenses dispenser2 ingredient2)
(dispenses dispenser3 ingredient3)
(dispenses dispenser4 ingredient4)
(dispenses dispenser5 ingredient5)
(dispenses dispenser6 ingredient6)
(dispenses dispenser7 ingredient7)
(dispenses dispenser8 ingredient8)
(dispenses dispenser9 ingredient9)
(dispenses dispenser10 ingredient10)
(handEmpty left)
(handEmpty right)
(shakerEmptyLevel shaker1 level1)
(shakerLevel shaker1 level1)
(next level1 level1)
(next level2 level2)
(cocktailPart1 cocktail1 ingredient5)
(cocktailPart2 cocktail1 ingredient1)
(cocktailPart1 cocktail2 ingredient7)
(cocktailPart2 cocktail2 ingredient5)
(cocktailPart1 cocktail3 ingredient5)
(cocktailPart2 cocktail3 ingredient2)
(cocktailPart1 cocktail4 ingredient5)
(cocktailPart2 cocktail4 ingredient2)
(cocktailPart1 cocktail5 ingredient5)
(cocktailPart2 cocktail5 ingredient2)
(cocktailPart1 cocktail6 ingredient2)
(cocktailPart2 cocktail6 ingredient4)
(cocktailPart1 cocktail7 ingredient2)
(cocktailPart2 cocktail7 ingredient9)
(cocktailPart1 cocktail8 ingredient10)
(cocktailPart2 cocktail8 ingredient8)
(cocktailPart1 cocktail9 ingredient9)
(cocktailPart2 cocktail9 ingredient2)
(cocktailPart1 cocktail10 ingredient4)
(cocktailPart2 cocktail10 ingredient1)
(cocktailPart1 cocktail11 ingredient4)
(cocktailPart2 cocktail11 ingredient5)
(cocktailPart1 cocktail12 ingredient1)
(cocktailPart2 cocktail12 ingredient7)
(cocktailPart1 cocktail13 ingredient8)
(cocktailPart2 cocktail13 ingredient10)
(cocktailPart1 cocktail14 ingredient10)
(cocktailPart2 cocktail14 ingredient9)
)
)