Statistics
| Branch: | Revision:

dimaptools / src / test / resources / truck-crane-a2.pre @ 126:242390b3f4be

History | View | Annotate | Download (1.18 KB)

1 10:478c8bd6b5ad Michal
begin_version
2
3
3
end_version
4
begin_metric
5
0
6
end_metric
7
3
8
begin_variable
9
var2
10
-1
11
2
12
Atom truck-started()
13
<none of those>
14
end_variable
15
begin_variable
16
var1
17
-1
18
2
19
Atom truck-at(a)
20
Atom truck-at(b)
21
end_variable
22
begin_variable
23
var0
24
-1
25
3
26
Atom box-at(a)
27
Atom box-at(b)
28
Atom box-at-truck()
29
end_variable
30
0
31
begin_state
32
1
33
0
34
0
35
end_state
36
begin_goal
37
1
38
2 1
39
end_goal
40
7
41
begin_operator
42
load-crane a
43
1
44
1 0
45
1
46
0 2 0 2
47
0
48
end_operator
49
begin_operator
50
load-crane b
51
1
52
1 1
53
1
54
0 2 1 2
55
0
56
end_operator
57
begin_operator
58
move-truck a b
59
1
60
0 0
61
1
62
0 1 0 1
63
0
64
end_operator
65
begin_operator
66
move-truck b a
67
1
68
0 0
69
1
70
0 1 1 0
71
0
72
end_operator
73
begin_operator
74
start-truck
75
0
76
1
77
0 0 -1 0
78
0
79
end_operator
80
begin_operator
81
unload-crane a
82
1
83
1 0
84
1
85
0 2 2 0
86
0
87
end_operator
88
begin_operator
89
unload-crane b
90
1
91
1 1
92
1
93
0 2 2 1
94
0
95
end_operator
96
0
97
begin_SG
98
switch 2
99
check 1
100
4
101
switch 1
102
check 0
103
check 1
104
0
105
check 0
106
check 0
107
switch 1
108
check 0
109
check 0
110
check 1
111
1
112
check 0
113
switch 1
114
check 0
115
check 1
116
5
117
check 1
118
6
119
check 0
120
switch 1
121
check 0
122
switch 0
123
check 0
124
check 1
125
2
126
check 0
127
check 0
128
switch 0
129
check 0
130
check 1
131
3
132
check 0
133
check 0
134
check 0
135
end_SG
136
begin_DTG
137
0
138
1
139
0
140
4
141
0
142
end_DTG
143
begin_DTG
144
1
145
1
146
2
147
1
148
0 0
149
1
150
0
151
3
152
1
153
0 0
154
end_DTG
155
begin_DTG
156
1
157
2
158
0
159
1
160
1 0
161
1
162
2
163
1
164
1
165
1 1
166
2
167
0
168
5
169
1
170
1 0
171
1
172
6
173
1
174
1 1
175
end_DTG
176
begin_CG
177
1
178
1 2
179
1
180
2 4
181
0
182
end_CG