-
Notifications
You must be signed in to change notification settings - Fork 2
/
Copy pathpolicy-bw-ori-p10.dot
42 lines (42 loc) · 3.25 KB
/
policy-bw-ori-p10.dot
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
digraph G {
0 [label="{ (not (clear b1)), (not (clear b2)), (not (clear b3)), (clear b4), (clear b5), (emptyhand), (on-table b1), (on b2 b3), (on-table b3), (on b4 b2), (on b5 b1) }"];
1 [label="{ (clear b1), (not (clear b2)), (not (clear b3)), (clear b4), (not (clear b5)), (not (emptyhand)), (on-table b1), (on b2 b3), (on-table b3), (on b4 b2), (holding b5) }"];
2 [label="{ (clear b1), (not (clear b2)), (not (clear b3)), (clear b4), (clear b5), (emptyhand), (on-table b1), (on b2 b3), (on-table b3), (on b4 b2), (on-table b5) }"];
3 [label="{ (clear b1), (not (clear b2)), (clear b3), (not (clear b4)), (clear b5), (not (emptyhand)), (on-table b1), (holding b2), (on-table b3), (on b4 b2), (on-table b5) }"];
4 [label="{ (clear b1), (not (clear b2)), (clear b3), (clear b4), (clear b5), (emptyhand), (on-table b1), (on-table b2), (on-table b3), (on b4 b2), (on-table b5) }"];
5 [label="{ (clear b1), (clear b2), (clear b3), (not (clear b4)), (clear b5), (not (emptyhand)), (on-table b1), (on-table b2), (on-table b3), (holding b4), (on-table b5) }"];
6 [label="{ (clear b1), (clear b2), (clear b3), (clear b4), (clear b5), (emptyhand), (on-table b1), (on-table b2), (on-table b3), (on-table b4), (on-table b5) }"];
7 [label="{ (not (clear b1)), (clear b2), (clear b3), (clear b4), (clear b5), (not (emptyhand)), (holding b1), (on-table b2), (on-table b3), (on-table b4), (on-table b5) }"];
8 [label="{ (clear b1), (not (clear b2)), (clear b3), (clear b4), (clear b5), (emptyhand), (on b1 b2), (on-table b2), (on-table b3), (on-table b4), (on-table b5) }"];
9 [label="{ (clear b1), (not (clear b2)), (not (clear b3)), (clear b4), (clear b5), (not (emptyhand)), (on b1 b2), (on-table b2), (holding b3), (on-table b4), (on-table b5) }"];
10 [label="{ (clear b1), (not (clear b2)), (clear b3), (clear b4), (not (clear b5)), (emptyhand), (on b1 b2), (on-table b2), (on b3 b5), (on-table b4), (on-table b5) }"];
0 -> 1 [label="pick-up b5 b1", color="#5210B6", fontcolor="#5210B6"];
0 -> 2 [label="pick-up b5 b1", color="#5210B6", fontcolor="#5210B6"];
1 -> 2 [label="put-down b5", color="#C85F58", fontcolor="#C85F58"];
2 -> 2 [label="pick-tower b4 b2 b3", color="#443362", fontcolor="#443362"];
2 -> 3 [label="pick-tower b4 b2 b3", color="#443362", fontcolor="#443362"];
3 -> 4 [label="put-tower-down b4 b2", color="#7AD3DE", fontcolor="#7AD3DE"];
4 -> 5 [label="pick-up b4 b2", color="#F25403", fontcolor="#F25403"];
4 -> 6 [label="pick-up b4 b2", color="#F25403", fontcolor="#F25403"];
5 -> 6 [label="put-down b4", color="#42ADE1", fontcolor="#42ADE1"];
6 -> 7 [label="pick-up-from-table b1", color="#ED69F9", fontcolor="#ED69F9"];
6 -> 6 [label="pick-up-from-table b1", color="#ED69F9", fontcolor="#ED69F9"];
7 -> 8 [label="put-on-block b1 b2", color="#6319D3", fontcolor="#6319D3"];
7 -> 6 [label="put-on-block b1 b2", color="#6319D3", fontcolor="#6319D3"];
8 -> 9 [label="pick-up-from-table b3", color="#5B7E81", fontcolor="#5B7E81"];
8 -> 8 [label="pick-up-from-table b3", color="#5B7E81", fontcolor="#5B7E81"];
9 -> 10 [label="put-on-block b3 b5", color="#1197B7", fontcolor="#1197B7"];
9 -> 8 [label="put-on-block b3 b5", color="#1197B7", fontcolor="#1197B7"];
subgraph cluster_goal_10 {
style=filled;
color=palegreen;
10;
label="GOAL";
}
subgraph cluster_init {
style=filled;
color=lightblue;
0;
label="INIT";
}
}