-
Notifications
You must be signed in to change notification settings - Fork 7
/
Copy pathpfile13.hddl
95 lines (95 loc) · 2.73 KB
/
pfile13.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
(define (problem p-9-10-10)
(:domain barman_htn)
(:objects
left right - hand
shaker1 - shaker
shot1 shot2 shot3 shot4 shot5 shot6 shot7 shot8 shot9 shot10 - 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 - cocktail
level1 level2 level3 - level
)
(:htn
:parameters ()
:ordered-subtasks (and
(AchieveContainsShotCocktail shot10 cocktail1)
(AchieveContainsShotCocktail shot5 cocktail2)
(AchieveContainsShotCocktail shot8 cocktail3)
(AchieveContainsShotCocktail shot7 cocktail4)
(AchieveContainsShotCocktail shot4 cocktail5)
(AchieveContainsShotCocktail shot6 cocktail6)
(AchieveContainsShotCocktail shot3 cocktail7)
(AchieveContainsShotCocktail shot9 cocktail8)
(AchieveContainsShotCocktail shot1 cocktail9)
)
)
(:init
(ontable shaker1)
(ontable shot1)
(ontable shot2)
(ontable shot3)
(ontable shot4)
(ontable shot5)
(ontable shot6)
(ontable shot7)
(ontable shot8)
(ontable shot9)
(ontable shot10)
(clean shaker1)
(clean shot1)
(clean shot2)
(clean shot3)
(clean shot4)
(clean shot5)
(clean shot6)
(clean shot7)
(clean shot8)
(clean shot9)
(clean shot10)
(empty shaker1)
(empty shot1)
(empty shot2)
(empty shot3)
(empty shot4)
(empty shot5)
(empty shot6)
(empty shot7)
(empty shot8)
(empty shot9)
(empty shot10)
(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 ingredient7)
(cocktailPart2 cocktail1 ingredient3)
(cocktailPart1 cocktail2 ingredient7)
(cocktailPart2 cocktail2 ingredient3)
(cocktailPart1 cocktail3 ingredient5)
(cocktailPart2 cocktail3 ingredient6)
(cocktailPart1 cocktail4 ingredient5)
(cocktailPart2 cocktail4 ingredient6)
(cocktailPart1 cocktail5 ingredient8)
(cocktailPart2 cocktail5 ingredient1)
(cocktailPart1 cocktail6 ingredient9)
(cocktailPart2 cocktail6 ingredient7)
(cocktailPart1 cocktail7 ingredient10)
(cocktailPart2 cocktail7 ingredient5)
(cocktailPart1 cocktail8 ingredient10)
(cocktailPart2 cocktail8 ingredient4)
(cocktailPart1 cocktail9 ingredient4)
(cocktailPart2 cocktail9 ingredient5)
)
)