-
Notifications
You must be signed in to change notification settings - Fork 1
/
traffic_inst_mdp__8.rddl
executable file
·116 lines (109 loc) · 3.66 KB
/
traffic_inst_mdp__8.rddl
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
non-fluents nf_traffic_inst_mdp__8 {
domain = traffic_mdp;
objects {
intersection : {ia6a6,ia6a12,ia12a6,ia12a12};
cell : {ca6a1,ca1a6,ca6a2,ca2a6,ca6a3,ca3a6,ca6a4,ca4a6,ca6a5,ca5a6,ca6a7,ca7a6,ca6a8,ca8a6,ca6a9,ca9a6,ca6a10,ca10a6,ca6a11,ca11a6,ca6a13,ca13a6,ca6a14,ca14a6,ca6a15,ca15a6,ca6a16,ca16a6,ca6a17,ca17a6,ca12a1,ca1a12,ca12a2,ca2a12,ca12a3,ca3a12,ca12a4,ca4a12,ca12a5,ca5a12,ca12a7,ca7a12,ca12a8,ca8a12,ca12a9,ca9a12,ca12a10,ca10a12,ca12a11,ca11a12,ca12a13,ca13a12,ca12a14,ca14a12,ca12a15,ca15a12,ca12a16,ca16a12,ca12a17,ca17a12};
};
non-fluents {
PERIMETER-INPUT-CELL(ca6a1);
PERIMETER-INPUT-CELL(ca12a1);
PERIMETER-INPUT-CELL(ca1a6);
PERIMETER-INPUT-CELL(ca1a12);
PERIMETER-INPUT-RATE(ca6a1) = 0.36422506;
PERIMETER-INPUT-RATE(ca12a1) = 0.2814253;
PERIMETER-INPUT-RATE(ca1a6) = 0.107539035;
PERIMETER-INPUT-RATE(ca1a12) = 0.39031354;
PERIMETER-EXIT-CELL(ca6a17);
PERIMETER-EXIT-CELL(ca12a17);
PERIMETER-EXIT-CELL(ca17a6);
PERIMETER-EXIT-CELL(ca17a12);
FLOWS-INTO-INTERSECTION-EW(ca6a5,ia6a6);
FLOWS-INTO-INTERSECTION-EW(ca6a11,ia6a12);
FLOWS-INTO-INTERSECTION-EW(ca12a5,ia12a6);
FLOWS-INTO-INTERSECTION-EW(ca12a11,ia12a12);
FLOWS-INTO-INTERSECTION-NS(ca5a6,ia6a6);
FLOWS-INTO-INTERSECTION-NS(ca11a6,ia12a6);
FLOWS-INTO-INTERSECTION-NS(ca5a12,ia6a12);
FLOWS-INTO-INTERSECTION-NS(ca11a12,ia12a12);
FLOWS-INTO-CELL(ca6a1,ca6a2);
FLOWS-INTO-CELL(ca1a6,ca2a6);
FLOWS-INTO-CELL(ca6a2,ca6a3);
FLOWS-INTO-CELL(ca2a6,ca3a6);
FLOWS-INTO-CELL(ca6a3,ca6a4);
FLOWS-INTO-CELL(ca3a6,ca4a6);
FLOWS-INTO-CELL(ca6a4,ca6a5);
FLOWS-INTO-CELL(ca4a6,ca5a6);
FLOWS-INTO-CELL(ca6a5,ca6a7);
FLOWS-INTO-CELL(ca5a6,ca7a6);
FLOWS-INTO-CELL(ca6a7,ca6a8);
FLOWS-INTO-CELL(ca7a6,ca8a6);
FLOWS-INTO-CELL(ca6a8,ca6a9);
FLOWS-INTO-CELL(ca8a6,ca9a6);
FLOWS-INTO-CELL(ca6a9,ca6a10);
FLOWS-INTO-CELL(ca9a6,ca10a6);
FLOWS-INTO-CELL(ca6a10,ca6a11);
FLOWS-INTO-CELL(ca10a6,ca11a6);
FLOWS-INTO-CELL(ca6a11,ca6a13);
FLOWS-INTO-CELL(ca11a6,ca13a6);
FLOWS-INTO-CELL(ca6a13,ca6a14);
FLOWS-INTO-CELL(ca13a6,ca14a6);
FLOWS-INTO-CELL(ca6a14,ca6a15);
FLOWS-INTO-CELL(ca14a6,ca15a6);
FLOWS-INTO-CELL(ca6a15,ca6a16);
FLOWS-INTO-CELL(ca15a6,ca16a6);
FLOWS-INTO-CELL(ca6a16,ca6a17);
FLOWS-INTO-CELL(ca16a6,ca17a6);
FLOWS-INTO-CELL(ca12a1,ca12a2);
FLOWS-INTO-CELL(ca1a12,ca2a12);
FLOWS-INTO-CELL(ca12a2,ca12a3);
FLOWS-INTO-CELL(ca2a12,ca3a12);
FLOWS-INTO-CELL(ca12a3,ca12a4);
FLOWS-INTO-CELL(ca3a12,ca4a12);
FLOWS-INTO-CELL(ca12a4,ca12a5);
FLOWS-INTO-CELL(ca4a12,ca5a12);
FLOWS-INTO-CELL(ca12a5,ca12a7);
FLOWS-INTO-CELL(ca5a12,ca7a12);
FLOWS-INTO-CELL(ca12a7,ca12a8);
FLOWS-INTO-CELL(ca7a12,ca8a12);
FLOWS-INTO-CELL(ca12a8,ca12a9);
FLOWS-INTO-CELL(ca8a12,ca9a12);
FLOWS-INTO-CELL(ca12a9,ca12a10);
FLOWS-INTO-CELL(ca9a12,ca10a12);
FLOWS-INTO-CELL(ca12a10,ca12a11);
FLOWS-INTO-CELL(ca10a12,ca11a12);
FLOWS-INTO-CELL(ca12a11,ca12a13);
FLOWS-INTO-CELL(ca11a12,ca13a12);
FLOWS-INTO-CELL(ca12a13,ca12a14);
FLOWS-INTO-CELL(ca13a12,ca14a12);
FLOWS-INTO-CELL(ca12a14,ca12a15);
FLOWS-INTO-CELL(ca14a12,ca15a12);
FLOWS-INTO-CELL(ca12a15,ca12a16);
FLOWS-INTO-CELL(ca15a12,ca16a12);
FLOWS-INTO-CELL(ca12a16,ca12a17);
FLOWS-INTO-CELL(ca16a12,ca17a12);
};
}
instance traffic_inst_mdp__8 {
domain = traffic_mdp;
non-fluents = nf_traffic_inst_mdp__8;
init-state {
occupied(ca6a1);
occupied(ca6a5);
occupied(ca6a8);
occupied(ca6a11);
occupied(ca6a14);
occupied(ca15a6);
occupied(ca6a16);
occupied(ca16a6);
occupied(ca6a17);
occupied(ca12a3);
occupied(ca7a12);
occupied(ca12a10);
occupied(ca11a12);
occupied(ca12a14);
occupied(ca12a16);
};
max-nondef-actions = 4;
horizon = 40;
discount = 1.0;
}