htn_planner 0.1.0

HTN parser and planner
Documentation 
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

task Main(cell5 & cell6):
    complete()

task Pickup1(cell1 & !cell2 & !carry):
    carry = pickup(cell1)
effects:
    cell1 = false
    carry = true

task Pickup2(cell2 & !carry):
    carry = pickup(cell2)
effects:
    cell2 = false
    carry = true

task Pickup3(cell3 & !carry):
    carry = pickup(cell3)
effects:
    cell3 = false
    carry = true

task Pickup4(cell4 & !carry):
    carry = pickup(cell4)
effects:
    cell4 = false
    carry = true

task Pickup5(cell5 & !carry):
    carry = pickup(cell5)
effects:
    cell5 = false
    carry = true

task Pickup6(cell6 & !carry):
    carry = pickup(cell6)
effects:
    cell6 = false
    carry = true

task PutDown1(carry & !cell1):
    putdown(cell1, carry)
effects:
    cell1 = true
    carry = false

task PutDown2(carry & !cell2):
    putdown(cell2, carry)
effects:
    cell2 = true
    carry = false

task PutDown3(carry & !cell3):
    putdown(cell3, carry)
effects:
    cell3 = true
    carry = false

task PutDown4(carry & !cell4):
    putdown(cell4, carry)
effects:
    cell4 = true
    carry = false

task PutDown5(carry & !cell5):
    putdown(cell5, carry)
effects:
    cell5 = true
    carry = false

task PutDown6(carry & cell5 & !cell6):
    putdown(cell6, carry)
effects:
    cell6 = true
    carry = false