-
Notifications
You must be signed in to change notification settings - Fork 1
/
traffic_inst_mdp__6.rddl
executable file
·106 lines (99 loc) · 3.19 KB
/
traffic_inst_mdp__6.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
non-fluents nf_traffic_inst_mdp__6 {
domain = traffic_mdp;
objects {
intersection : {ia5a5,ia5a10,ia10a5,ia10a10};
cell : {ca5a1,ca1a5,ca5a2,ca2a5,ca5a3,ca3a5,ca5a4,ca4a5,ca5a6,ca6a5,ca5a7,ca7a5,ca5a8,ca8a5,ca5a9,ca9a5,ca5a11,ca11a5,ca5a12,ca12a5,ca5a13,ca13a5,ca5a14,ca14a5,ca10a1,ca1a10,ca10a2,ca2a10,ca10a3,ca3a10,ca10a4,ca4a10,ca10a6,ca6a10,ca10a7,ca7a10,ca10a8,ca8a10,ca10a9,ca9a10,ca10a11,ca11a10,ca10a12,ca12a10,ca10a13,ca13a10,ca10a14,ca14a10};
};
non-fluents {
PERIMETER-INPUT-CELL(ca5a1);
PERIMETER-INPUT-CELL(ca10a1);
PERIMETER-INPUT-CELL(ca1a5);
PERIMETER-INPUT-CELL(ca1a10);
PERIMETER-INPUT-RATE(ca5a1) = 0.14510834;
PERIMETER-INPUT-RATE(ca10a1) = 0.38991386;
PERIMETER-INPUT-RATE(ca1a5) = 0.25346324;
PERIMETER-INPUT-RATE(ca1a10) = 0.20154408;
PERIMETER-EXIT-CELL(ca5a14);
PERIMETER-EXIT-CELL(ca10a14);
PERIMETER-EXIT-CELL(ca14a5);
PERIMETER-EXIT-CELL(ca14a10);
FLOWS-INTO-INTERSECTION-EW(ca5a4,ia5a5);
FLOWS-INTO-INTERSECTION-EW(ca5a9,ia5a10);
FLOWS-INTO-INTERSECTION-EW(ca10a4,ia10a5);
FLOWS-INTO-INTERSECTION-EW(ca10a9,ia10a10);
FLOWS-INTO-INTERSECTION-NS(ca4a5,ia5a5);
FLOWS-INTO-INTERSECTION-NS(ca9a5,ia10a5);
FLOWS-INTO-INTERSECTION-NS(ca4a10,ia5a10);
FLOWS-INTO-INTERSECTION-NS(ca9a10,ia10a10);
FLOWS-INTO-CELL(ca5a1,ca5a2);
FLOWS-INTO-CELL(ca1a5,ca2a5);
FLOWS-INTO-CELL(ca5a2,ca5a3);
FLOWS-INTO-CELL(ca2a5,ca3a5);
FLOWS-INTO-CELL(ca5a3,ca5a4);
FLOWS-INTO-CELL(ca3a5,ca4a5);
FLOWS-INTO-CELL(ca5a4,ca5a6);
FLOWS-INTO-CELL(ca4a5,ca6a5);
FLOWS-INTO-CELL(ca5a6,ca5a7);
FLOWS-INTO-CELL(ca6a5,ca7a5);
FLOWS-INTO-CELL(ca5a7,ca5a8);
FLOWS-INTO-CELL(ca7a5,ca8a5);
FLOWS-INTO-CELL(ca5a8,ca5a9);
FLOWS-INTO-CELL(ca8a5,ca9a5);
FLOWS-INTO-CELL(ca5a9,ca5a11);
FLOWS-INTO-CELL(ca9a5,ca11a5);
FLOWS-INTO-CELL(ca5a11,ca5a12);
FLOWS-INTO-CELL(ca11a5,ca12a5);
FLOWS-INTO-CELL(ca5a12,ca5a13);
FLOWS-INTO-CELL(ca12a5,ca13a5);
FLOWS-INTO-CELL(ca5a13,ca5a14);
FLOWS-INTO-CELL(ca13a5,ca14a5);
FLOWS-INTO-CELL(ca10a1,ca10a2);
FLOWS-INTO-CELL(ca1a10,ca2a10);
FLOWS-INTO-CELL(ca10a2,ca10a3);
FLOWS-INTO-CELL(ca2a10,ca3a10);
FLOWS-INTO-CELL(ca10a3,ca10a4);
FLOWS-INTO-CELL(ca3a10,ca4a10);
FLOWS-INTO-CELL(ca10a4,ca10a6);
FLOWS-INTO-CELL(ca4a10,ca6a10);
FLOWS-INTO-CELL(ca10a6,ca10a7);
FLOWS-INTO-CELL(ca6a10,ca7a10);
FLOWS-INTO-CELL(ca10a7,ca10a8);
FLOWS-INTO-CELL(ca7a10,ca8a10);
FLOWS-INTO-CELL(ca10a8,ca10a9);
FLOWS-INTO-CELL(ca8a10,ca9a10);
FLOWS-INTO-CELL(ca10a9,ca10a11);
FLOWS-INTO-CELL(ca9a10,ca11a10);
FLOWS-INTO-CELL(ca10a11,ca10a12);
FLOWS-INTO-CELL(ca11a10,ca12a10);
FLOWS-INTO-CELL(ca10a12,ca10a13);
FLOWS-INTO-CELL(ca12a10,ca13a10);
FLOWS-INTO-CELL(ca10a13,ca10a14);
FLOWS-INTO-CELL(ca13a10,ca14a10);
};
}
instance traffic_inst_mdp__6 {
domain = traffic_mdp;
non-fluents = nf_traffic_inst_mdp__6;
init-state {
occupied(ca1a5);
occupied(ca5a2);
occupied(ca5a3);
occupied(ca5a4);
occupied(ca11a5);
occupied(ca5a12);
occupied(ca5a13);
occupied(ca5a14);
occupied(ca2a10);
occupied(ca10a3);
occupied(ca4a10);
occupied(ca10a7);
occupied(ca7a10);
occupied(ca8a10);
occupied(ca10a9);
occupied(ca12a10);
occupied(ca14a10);
};
max-nondef-actions = 4;
horizon = 40;
discount = 1.0;
}