Generated on Tue Feb 11 2025 17:33:26 for Gecode by doxygen 1.12.0
mm-lin.cpp
Go to the documentation of this file.
1/* -*- mode: C++; c-basic-offset: 2; indent-tabs-mode: nil -*- */
2/*
3 * Main authors:
4 * Christian Schulte <schulte@gecode.org>
5 *
6 * Copyright:
7 * Christian Schulte, 2008, 2012
8 *
9 * This file is part of Gecode, the generic constraint
10 * development environment:
11 * http://www.gecode.org
12 *
13 * Permission is hereby granted, free of charge, to any person obtaining
14 * a copy of this software and associated documentation files (the
15 * "Software"), to deal in the Software without restriction, including
16 * without limitation the rights to use, copy, modify, merge, publish,
17 * distribute, sublicense, and/or sell copies of the Software, and to
18 * permit persons to whom the Software is furnished to do so, subject to
19 * the following conditions:
20 *
21 * The above copyright notice and this permission notice shall be
22 * included in all copies or substantial portions of the Software.
23 *
24 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
25 * EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
26 * MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
27 * NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
28 * LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
29 * OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
30 * WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
31 *
32 */
33
34#include "test/int.hh"
35#include "test/float.hh"
36
37#include <gecode/minimodel.hh>
38
39namespace Test { namespace Float {
40
42 namespace MiniModelLin {
43
57
59 class LinInstr {
60 public:
62 unsigned char x, y, z;
63 int c;
64 };
65
67 template<class Expr>
68 Expr
69 eval(const LinInstr* pc, Expr reg[]) {
70 while (true) {
71 switch (pc->o) {
72 case LO_ACE: reg[pc->y] = pc->c + reg[pc->x]; break;
73 case LO_AEC: reg[pc->y] = reg[pc->x] + pc->c; break;
74 case LO_AEE: reg[pc->z] = reg[pc->x] + reg[pc->y]; break;
75 case LO_SCE: reg[pc->y] = pc->c - reg[pc->x]; break;
76 case LO_SEC: reg[pc->y] = reg[pc->x] - pc->c; break;
77 case LO_SEE: reg[pc->z] = reg[pc->x] - reg[pc->y]; break;
78 case LO_SE: reg[pc->y] = -reg[pc->x]; break;
79 case LO_MCE: reg[pc->y] = pc->c * reg[pc->x]; break;
80 case LO_MEC: reg[pc->y] = reg[pc->x] * pc->c; break;
81 case LO_HLT: return reg[pc->x];
82 default: GECODE_NEVER;
83 }
84 pc++;
85 }
87 }
88
95 class LinExpr : public Int::Test {
96 protected:
98 const LinInstr* lis;
99 public:
101 LinExpr(const LinInstr* lis0, const std::string& s)
102 : Test("Float::","MiniModel::LinExpr::"+s,4,-3,3),
103 lis(lis0) {
104 testfix = false;
105 }
107 virtual bool solution(const Int::Assignment& x) const {
108 int reg[3] = {x[0],x[1],x[2]};
109 return eval(lis, reg) == x[3];
110 }
112 virtual void post(Gecode::Space& home, Gecode::IntVarArray& x) {
113 using namespace Gecode;
114 FloatVarArray y(home,4,dom.min(),dom.max());
115 channel(home, x[0], y[0]);
116 channel(home, x[1], y[1]);
117 channel(home, x[2], y[2]);
118 channel(home, x[3], y[3]);
119 LinFloatExpr reg[3] = {y[0],y[1],y[2]};
120 rel(home, y[3], FRT_EQ, expr(home, eval(lis,reg)));
121 }
122 };
123
125 class LinRel : public Int::Test {
126 protected:
133 public:
135 LinRel(const LinInstr* l_lis0, const LinInstr* r_lis0,
136 Gecode::FloatRelType frt0, const std::string& s)
137 : Test("Float::","MiniModel::LinRel::"+s+"::"+
138 Float::Test::str(frt0),3,-3,3),
139 l_lis(l_lis0), r_lis(r_lis0), frt(frt0) {
140 testfix = false;
141 }
143 virtual bool solution(const Int::Assignment& x) const {
144 using namespace Gecode;
145 int l_reg[3] = {x[0],x[1],x[2]};
146 int l = eval(l_lis,l_reg);
147 int r_reg[3] = {x[0],x[1],x[2]};
148 int r = eval(r_lis,r_reg);
149 switch (frt) {
150 case FRT_EQ: return l == r;
151 case FRT_NQ: return l != r;
152 case FRT_LE: return l < r;
153 case FRT_GR: return l > r;
154 case FRT_LQ: return l <= r;
155 case FRT_GQ: return l >= r;
156 default: GECODE_NEVER;
157 }
158 return false;
159 }
161 virtual void post(Gecode::Space& home, Gecode::IntVarArray& x) {
162 using namespace Gecode;
163 FloatVarArray y(home,3,dom.min(),dom.max());
164 channel(home, x[0], y[0]);
165 channel(home, x[1], y[1]);
166 channel(home, x[2], y[2]);
167 LinFloatExpr l_reg[3] = {y[0],y[1],y[2]};
168 LinFloatExpr r_reg[3] = {y[0],y[1],y[2]};
169 switch (frt) {
170 case FRT_EQ:
171 Gecode::rel(home, eval(l_lis,l_reg) == eval(r_lis,r_reg));
172 break;
173 case FRT_NQ:
174 Gecode::rel(home, eval(l_lis,l_reg) != eval(r_lis,r_reg));
175 break;
176 case FRT_LQ:
177 Gecode::rel(home, eval(l_lis,l_reg) <= eval(r_lis,r_reg));
178 break;
179 case FRT_LE:
180 Gecode::rel(home, eval(l_lis,l_reg) < eval(r_lis,r_reg));
181 break;
182 case FRT_GQ:
183 Gecode::rel(home, eval(l_lis,l_reg) >= eval(r_lis,r_reg));
184 break;
185 case FRT_GR:
186 Gecode::rel(home, eval(l_lis,l_reg) > eval(r_lis,r_reg));
187 break;
188 default: GECODE_NEVER;
189 }
190 }
191 };
192
193 const LinInstr li000[] = {
194 {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0,-2},{LO_AEE,0,2,0, 0},
195 {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
196 };
197 const LinInstr li001[] = {
198 {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0,-2},{LO_AEE,0,2,0, 0},
199 {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
200 };
201 const LinInstr li002[] = {
202 {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0,-2},{LO_AEE,0,2,0, 0},
203 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
204 };
205 const LinInstr li003[] = {
206 {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0,-2},{LO_AEE,0,2,0, 0},
207 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
208 };
209 const LinInstr li004[] = {
210 {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0,-2},{LO_SEE,0,2,0, 0},
211 {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
212 };
213 const LinInstr li005[] = {
214 {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0,-2},{LO_SEE,0,2,0, 0},
215 {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
216 };
217 const LinInstr li006[] = {
218 {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0,-2},{LO_SEE,0,2,0, 0},
219 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
220 };
221 const LinInstr li007[] = {
222 {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0,-2},{LO_SEE,0,2,0, 0},
223 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
224 };
225 const LinInstr li008[] = {
226 {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0,-1},{LO_AEE,0,2,0, 0},
227 {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
228 };
229 const LinInstr li009[] = {
230 {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0,-1},{LO_AEE,0,2,0, 0},
231 {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
232 };
233 const LinInstr li010[] = {
234 {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0,-1},{LO_AEE,0,2,0, 0},
235 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
236 };
237 const LinInstr li011[] = {
238 {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0,-1},{LO_AEE,0,2,0, 0},
239 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
240 };
241 const LinInstr li012[] = {
242 {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0,-1},{LO_SEE,0,2,0, 0},
243 {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
244 };
245 const LinInstr li013[] = {
246 {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0,-1},{LO_SEE,0,2,0, 0},
247 {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
248 };
249 const LinInstr li014[] = {
250 {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0,-1},{LO_SEE,0,2,0, 0},
251 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
252 };
253 const LinInstr li015[] = {
254 {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0,-1},{LO_SEE,0,2,0, 0},
255 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
256 };
257 const LinInstr li016[] = {
258 {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0, 0},{LO_AEE,0,2,0, 0},
259 {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
260 };
261 const LinInstr li017[] = {
262 {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0, 0},{LO_AEE,0,2,0, 0},
263 {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
264 };
265 const LinInstr li018[] = {
266 {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0, 0},{LO_AEE,0,2,0, 0},
267 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
268 };
269 const LinInstr li019[] = {
270 {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0, 0},{LO_AEE,0,2,0, 0},
271 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
272 };
273 const LinInstr li020[] = {
274 {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0, 0},{LO_SEE,0,2,0, 0},
275 {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
276 };
277 const LinInstr li021[] = {
278 {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0, 0},{LO_SEE,0,2,0, 0},
279 {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
280 };
281 const LinInstr li022[] = {
282 {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0, 0},{LO_SEE,0,2,0, 0},
283 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
284 };
285 const LinInstr li023[] = {
286 {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0, 0},{LO_SEE,0,2,0, 0},
287 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
288 };
289 const LinInstr li024[] = {
290 {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0, 1},{LO_AEE,0,2,0, 0},
291 {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
292 };
293 const LinInstr li025[] = {
294 {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0, 1},{LO_AEE,0,2,0, 0},
295 {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
296 };
297 const LinInstr li026[] = {
298 {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0, 1},{LO_AEE,0,2,0, 0},
299 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
300 };
301 const LinInstr li027[] = {
302 {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0, 1},{LO_AEE,0,2,0, 0},
303 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
304 };
305 const LinInstr li028[] = {
306 {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0, 1},{LO_SEE,0,2,0, 0},
307 {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
308 };
309 const LinInstr li029[] = {
310 {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0, 1},{LO_SEE,0,2,0, 0},
311 {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
312 };
313 const LinInstr li030[] = {
314 {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0, 1},{LO_SEE,0,2,0, 0},
315 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
316 };
317 const LinInstr li031[] = {
318 {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0, 1},{LO_SEE,0,2,0, 0},
319 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
320 };
321 const LinInstr li032[] = {
322 {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0, 2},{LO_AEE,0,2,0, 0},
323 {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
324 };
325 const LinInstr li033[] = {
326 {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0, 2},{LO_AEE,0,2,0, 0},
327 {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
328 };
329 const LinInstr li034[] = {
330 {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0, 2},{LO_AEE,0,2,0, 0},
331 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
332 };
333 const LinInstr li035[] = {
334 {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0, 2},{LO_AEE,0,2,0, 0},
335 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
336 };
337 const LinInstr li036[] = {
338 {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0, 2},{LO_SEE,0,2,0, 0},
339 {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
340 };
341 const LinInstr li037[] = {
342 {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0, 2},{LO_SEE,0,2,0, 0},
343 {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
344 };
345 const LinInstr li038[] = {
346 {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0, 2},{LO_SEE,0,2,0, 0},
347 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
348 };
349 const LinInstr li039[] = {
350 {LO_AEE,0,1,0, 0},{LO_AEC,0,0,0, 2},{LO_SEE,0,2,0, 0},
351 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
352 };
353 const LinInstr li040[] = {
354 {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0,-2},{LO_AEE,0,2,0, 0},
355 {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
356 };
357 const LinInstr li041[] = {
358 {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0,-2},{LO_AEE,0,2,0, 0},
359 {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
360 };
361 const LinInstr li042[] = {
362 {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0,-2},{LO_AEE,0,2,0, 0},
363 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
364 };
365 const LinInstr li043[] = {
366 {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0,-2},{LO_AEE,0,2,0, 0},
367 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
368 };
369 const LinInstr li044[] = {
370 {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0,-2},{LO_SEE,0,2,0, 0},
371 {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
372 };
373 const LinInstr li045[] = {
374 {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0,-2},{LO_SEE,0,2,0, 0},
375 {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
376 };
377 const LinInstr li046[] = {
378 {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0,-2},{LO_SEE,0,2,0, 0},
379 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
380 };
381 const LinInstr li047[] = {
382 {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0,-2},{LO_SEE,0,2,0, 0},
383 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
384 };
385 const LinInstr li048[] = {
386 {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0,-1},{LO_AEE,0,2,0, 0},
387 {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
388 };
389 const LinInstr li049[] = {
390 {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0,-1},{LO_AEE,0,2,0, 0},
391 {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
392 };
393 const LinInstr li050[] = {
394 {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0,-1},{LO_AEE,0,2,0, 0},
395 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
396 };
397 const LinInstr li051[] = {
398 {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0,-1},{LO_AEE,0,2,0, 0},
399 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
400 };
401 const LinInstr li052[] = {
402 {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0,-1},{LO_SEE,0,2,0, 0},
403 {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
404 };
405 const LinInstr li053[] = {
406 {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0,-1},{LO_SEE,0,2,0, 0},
407 {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
408 };
409 const LinInstr li054[] = {
410 {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0,-1},{LO_SEE,0,2,0, 0},
411 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
412 };
413 const LinInstr li055[] = {
414 {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0,-1},{LO_SEE,0,2,0, 0},
415 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
416 };
417 const LinInstr li056[] = {
418 {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0, 0},{LO_AEE,0,2,0, 0},
419 {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
420 };
421 const LinInstr li057[] = {
422 {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0, 0},{LO_AEE,0,2,0, 0},
423 {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
424 };
425 const LinInstr li058[] = {
426 {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0, 0},{LO_AEE,0,2,0, 0},
427 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
428 };
429 const LinInstr li059[] = {
430 {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0, 0},{LO_AEE,0,2,0, 0},
431 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
432 };
433 const LinInstr li060[] = {
434 {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0, 0},{LO_SEE,0,2,0, 0},
435 {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
436 };
437 const LinInstr li061[] = {
438 {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0, 0},{LO_SEE,0,2,0, 0},
439 {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
440 };
441 const LinInstr li062[] = {
442 {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0, 0},{LO_SEE,0,2,0, 0},
443 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
444 };
445 const LinInstr li063[] = {
446 {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0, 0},{LO_SEE,0,2,0, 0},
447 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
448 };
449 const LinInstr li064[] = {
450 {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0, 1},{LO_AEE,0,2,0, 0},
451 {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
452 };
453 const LinInstr li065[] = {
454 {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0, 1},{LO_AEE,0,2,0, 0},
455 {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
456 };
457 const LinInstr li066[] = {
458 {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0, 1},{LO_AEE,0,2,0, 0},
459 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
460 };
461 const LinInstr li067[] = {
462 {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0, 1},{LO_AEE,0,2,0, 0},
463 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
464 };
465 const LinInstr li068[] = {
466 {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0, 1},{LO_SEE,0,2,0, 0},
467 {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
468 };
469 const LinInstr li069[] = {
470 {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0, 1},{LO_SEE,0,2,0, 0},
471 {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
472 };
473 const LinInstr li070[] = {
474 {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0, 1},{LO_SEE,0,2,0, 0},
475 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
476 };
477 const LinInstr li071[] = {
478 {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0, 1},{LO_SEE,0,2,0, 0},
479 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
480 };
481 const LinInstr li072[] = {
482 {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0, 2},{LO_AEE,0,2,0, 0},
483 {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
484 };
485 const LinInstr li073[] = {
486 {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0, 2},{LO_AEE,0,2,0, 0},
487 {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
488 };
489 const LinInstr li074[] = {
490 {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0, 2},{LO_AEE,0,2,0, 0},
491 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
492 };
493 const LinInstr li075[] = {
494 {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0, 2},{LO_AEE,0,2,0, 0},
495 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
496 };
497 const LinInstr li076[] = {
498 {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0, 2},{LO_SEE,0,2,0, 0},
499 {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
500 };
501 const LinInstr li077[] = {
502 {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0, 2},{LO_SEE,0,2,0, 0},
503 {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
504 };
505 const LinInstr li078[] = {
506 {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0, 2},{LO_SEE,0,2,0, 0},
507 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
508 };
509 const LinInstr li079[] = {
510 {LO_AEE,0,1,0, 0},{LO_SCE,0,0,0, 2},{LO_SEE,0,2,0, 0},
511 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
512 };
513 const LinInstr li080[] = {
514 {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0,-2},{LO_AEE,0,2,0, 0},
515 {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
516 };
517 const LinInstr li081[] = {
518 {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0,-2},{LO_AEE,0,2,0, 0},
519 {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
520 };
521 const LinInstr li082[] = {
522 {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0,-2},{LO_AEE,0,2,0, 0},
523 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
524 };
525 const LinInstr li083[] = {
526 {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0,-2},{LO_AEE,0,2,0, 0},
527 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
528 };
529 const LinInstr li084[] = {
530 {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0,-2},{LO_SEE,0,2,0, 0},
531 {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
532 };
533 const LinInstr li085[] = {
534 {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0,-2},{LO_SEE,0,2,0, 0},
535 {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
536 };
537 const LinInstr li086[] = {
538 {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0,-2},{LO_SEE,0,2,0, 0},
539 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
540 };
541 const LinInstr li087[] = {
542 {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0,-2},{LO_SEE,0,2,0, 0},
543 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
544 };
545 const LinInstr li088[] = {
546 {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0,-1},{LO_AEE,0,2,0, 0},
547 {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
548 };
549 const LinInstr li089[] = {
550 {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0,-1},{LO_AEE,0,2,0, 0},
551 {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
552 };
553 const LinInstr li090[] = {
554 {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0,-1},{LO_AEE,0,2,0, 0},
555 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
556 };
557 const LinInstr li091[] = {
558 {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0,-1},{LO_AEE,0,2,0, 0},
559 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
560 };
561 const LinInstr li092[] = {
562 {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0,-1},{LO_SEE,0,2,0, 0},
563 {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
564 };
565 const LinInstr li093[] = {
566 {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0,-1},{LO_SEE,0,2,0, 0},
567 {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
568 };
569 const LinInstr li094[] = {
570 {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0,-1},{LO_SEE,0,2,0, 0},
571 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
572 };
573 const LinInstr li095[] = {
574 {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0,-1},{LO_SEE,0,2,0, 0},
575 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
576 };
577 const LinInstr li096[] = {
578 {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0, 0},{LO_AEE,0,2,0, 0},
579 {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
580 };
581 const LinInstr li097[] = {
582 {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0, 0},{LO_AEE,0,2,0, 0},
583 {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
584 };
585 const LinInstr li098[] = {
586 {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0, 0},{LO_AEE,0,2,0, 0},
587 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
588 };
589 const LinInstr li099[] = {
590 {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0, 0},{LO_AEE,0,2,0, 0},
591 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
592 };
593 const LinInstr li100[] = {
594 {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0, 0},{LO_SEE,0,2,0, 0},
595 {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
596 };
597 const LinInstr li101[] = {
598 {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0, 0},{LO_SEE,0,2,0, 0},
599 {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
600 };
601 const LinInstr li102[] = {
602 {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0, 0},{LO_SEE,0,2,0, 0},
603 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
604 };
605 const LinInstr li103[] = {
606 {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0, 0},{LO_SEE,0,2,0, 0},
607 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
608 };
609 const LinInstr li104[] = {
610 {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0, 1},{LO_AEE,0,2,0, 0},
611 {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
612 };
613 const LinInstr li105[] = {
614 {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0, 1},{LO_AEE,0,2,0, 0},
615 {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
616 };
617 const LinInstr li106[] = {
618 {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0, 1},{LO_AEE,0,2,0, 0},
619 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
620 };
621 const LinInstr li107[] = {
622 {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0, 1},{LO_AEE,0,2,0, 0},
623 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
624 };
625 const LinInstr li108[] = {
626 {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0, 1},{LO_SEE,0,2,0, 0},
627 {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
628 };
629 const LinInstr li109[] = {
630 {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0, 1},{LO_SEE,0,2,0, 0},
631 {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
632 };
633 const LinInstr li110[] = {
634 {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0, 1},{LO_SEE,0,2,0, 0},
635 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
636 };
637 const LinInstr li111[] = {
638 {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0, 1},{LO_SEE,0,2,0, 0},
639 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
640 };
641 const LinInstr li112[] = {
642 {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0, 2},{LO_AEE,0,2,0, 0},
643 {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
644 };
645 const LinInstr li113[] = {
646 {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0, 2},{LO_AEE,0,2,0, 0},
647 {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
648 };
649 const LinInstr li114[] = {
650 {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0, 2},{LO_AEE,0,2,0, 0},
651 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
652 };
653 const LinInstr li115[] = {
654 {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0, 2},{LO_AEE,0,2,0, 0},
655 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
656 };
657 const LinInstr li116[] = {
658 {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0, 2},{LO_SEE,0,2,0, 0},
659 {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
660 };
661 const LinInstr li117[] = {
662 {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0, 2},{LO_SEE,0,2,0, 0},
663 {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
664 };
665 const LinInstr li118[] = {
666 {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0, 2},{LO_SEE,0,2,0, 0},
667 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
668 };
669 const LinInstr li119[] = {
670 {LO_AEE,0,1,0, 0},{LO_SEC,0,0,0, 2},{LO_SEE,0,2,0, 0},
671 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
672 };
673 const LinInstr li120[] = {
674 {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0,-2},{LO_AEE,0,2,0, 0},
675 {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
676 };
677 const LinInstr li121[] = {
678 {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0,-2},{LO_AEE,0,2,0, 0},
679 {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
680 };
681 const LinInstr li122[] = {
682 {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0,-2},{LO_AEE,0,2,0, 0},
683 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
684 };
685 const LinInstr li123[] = {
686 {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0,-2},{LO_AEE,0,2,0, 0},
687 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
688 };
689 const LinInstr li124[] = {
690 {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0,-2},{LO_SEE,0,2,0, 0},
691 {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
692 };
693 const LinInstr li125[] = {
694 {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0,-2},{LO_SEE,0,2,0, 0},
695 {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
696 };
697 const LinInstr li126[] = {
698 {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0,-2},{LO_SEE,0,2,0, 0},
699 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
700 };
701 const LinInstr li127[] = {
702 {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0,-2},{LO_SEE,0,2,0, 0},
703 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
704 };
705 const LinInstr li128[] = {
706 {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0,-1},{LO_AEE,0,2,0, 0},
707 {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
708 };
709 const LinInstr li129[] = {
710 {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0,-1},{LO_AEE,0,2,0, 0},
711 {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
712 };
713 const LinInstr li130[] = {
714 {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0,-1},{LO_AEE,0,2,0, 0},
715 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
716 };
717 const LinInstr li131[] = {
718 {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0,-1},{LO_AEE,0,2,0, 0},
719 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
720 };
721 const LinInstr li132[] = {
722 {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0,-1},{LO_SEE,0,2,0, 0},
723 {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
724 };
725 const LinInstr li133[] = {
726 {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0,-1},{LO_SEE,0,2,0, 0},
727 {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
728 };
729 const LinInstr li134[] = {
730 {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0,-1},{LO_SEE,0,2,0, 0},
731 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
732 };
733 const LinInstr li135[] = {
734 {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0,-1},{LO_SEE,0,2,0, 0},
735 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
736 };
737 const LinInstr li136[] = {
738 {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0, 0},{LO_AEE,0,2,0, 0},
739 {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
740 };
741 const LinInstr li137[] = {
742 {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0, 0},{LO_AEE,0,2,0, 0},
743 {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
744 };
745 const LinInstr li138[] = {
746 {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0, 0},{LO_AEE,0,2,0, 0},
747 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
748 };
749 const LinInstr li139[] = {
750 {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0, 0},{LO_AEE,0,2,0, 0},
751 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
752 };
753 const LinInstr li140[] = {
754 {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0, 0},{LO_SEE,0,2,0, 0},
755 {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
756 };
757 const LinInstr li141[] = {
758 {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0, 0},{LO_SEE,0,2,0, 0},
759 {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
760 };
761 const LinInstr li142[] = {
762 {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0, 0},{LO_SEE,0,2,0, 0},
763 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
764 };
765 const LinInstr li143[] = {
766 {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0, 0},{LO_SEE,0,2,0, 0},
767 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
768 };
769 const LinInstr li144[] = {
770 {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0, 1},{LO_AEE,0,2,0, 0},
771 {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
772 };
773 const LinInstr li145[] = {
774 {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0, 1},{LO_AEE,0,2,0, 0},
775 {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
776 };
777 const LinInstr li146[] = {
778 {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0, 1},{LO_AEE,0,2,0, 0},
779 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
780 };
781 const LinInstr li147[] = {
782 {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0, 1},{LO_AEE,0,2,0, 0},
783 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
784 };
785 const LinInstr li148[] = {
786 {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0, 1},{LO_SEE,0,2,0, 0},
787 {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
788 };
789 const LinInstr li149[] = {
790 {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0, 1},{LO_SEE,0,2,0, 0},
791 {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
792 };
793 const LinInstr li150[] = {
794 {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0, 1},{LO_SEE,0,2,0, 0},
795 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
796 };
797 const LinInstr li151[] = {
798 {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0, 1},{LO_SEE,0,2,0, 0},
799 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
800 };
801 const LinInstr li152[] = {
802 {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0, 2},{LO_AEE,0,2,0, 0},
803 {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
804 };
805 const LinInstr li153[] = {
806 {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0, 2},{LO_AEE,0,2,0, 0},
807 {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
808 };
809 const LinInstr li154[] = {
810 {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0, 2},{LO_AEE,0,2,0, 0},
811 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
812 };
813 const LinInstr li155[] = {
814 {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0, 2},{LO_AEE,0,2,0, 0},
815 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
816 };
817 const LinInstr li156[] = {
818 {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0, 2},{LO_SEE,0,2,0, 0},
819 {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
820 };
821 const LinInstr li157[] = {
822 {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0, 2},{LO_SEE,0,2,0, 0},
823 {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
824 };
825 const LinInstr li158[] = {
826 {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0, 2},{LO_SEE,0,2,0, 0},
827 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
828 };
829 const LinInstr li159[] = {
830 {LO_AEE,0,1,0, 0},{LO_MCE,0,0,0, 2},{LO_SEE,0,2,0, 0},
831 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
832 };
833 const LinInstr li160[] = {
834 {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0,-2},{LO_AEE,0,2,0, 0},
835 {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
836 };
837 const LinInstr li161[] = {
838 {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0,-2},{LO_AEE,0,2,0, 0},
839 {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
840 };
841 const LinInstr li162[] = {
842 {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0,-2},{LO_AEE,0,2,0, 0},
843 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
844 };
845 const LinInstr li163[] = {
846 {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0,-2},{LO_AEE,0,2,0, 0},
847 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
848 };
849 const LinInstr li164[] = {
850 {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0,-2},{LO_SEE,0,2,0, 0},
851 {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
852 };
853 const LinInstr li165[] = {
854 {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0,-2},{LO_SEE,0,2,0, 0},
855 {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
856 };
857 const LinInstr li166[] = {
858 {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0,-2},{LO_SEE,0,2,0, 0},
859 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
860 };
861 const LinInstr li167[] = {
862 {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0,-2},{LO_SEE,0,2,0, 0},
863 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
864 };
865 const LinInstr li168[] = {
866 {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0,-1},{LO_AEE,0,2,0, 0},
867 {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
868 };
869 const LinInstr li169[] = {
870 {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0,-1},{LO_AEE,0,2,0, 0},
871 {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
872 };
873 const LinInstr li170[] = {
874 {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0,-1},{LO_AEE,0,2,0, 0},
875 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
876 };
877 const LinInstr li171[] = {
878 {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0,-1},{LO_AEE,0,2,0, 0},
879 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
880 };
881 const LinInstr li172[] = {
882 {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0,-1},{LO_SEE,0,2,0, 0},
883 {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
884 };
885 const LinInstr li173[] = {
886 {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0,-1},{LO_SEE,0,2,0, 0},
887 {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
888 };
889 const LinInstr li174[] = {
890 {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0,-1},{LO_SEE,0,2,0, 0},
891 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
892 };
893 const LinInstr li175[] = {
894 {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0,-1},{LO_SEE,0,2,0, 0},
895 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
896 };
897 const LinInstr li176[] = {
898 {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0, 0},{LO_AEE,0,2,0, 0},
899 {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
900 };
901 const LinInstr li177[] = {
902 {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0, 0},{LO_AEE,0,2,0, 0},
903 {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
904 };
905 const LinInstr li178[] = {
906 {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0, 0},{LO_AEE,0,2,0, 0},
907 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
908 };
909 const LinInstr li179[] = {
910 {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0, 0},{LO_AEE,0,2,0, 0},
911 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
912 };
913 const LinInstr li180[] = {
914 {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0, 0},{LO_SEE,0,2,0, 0},
915 {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
916 };
917 const LinInstr li181[] = {
918 {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0, 0},{LO_SEE,0,2,0, 0},
919 {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
920 };
921 const LinInstr li182[] = {
922 {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0, 0},{LO_SEE,0,2,0, 0},
923 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
924 };
925 const LinInstr li183[] = {
926 {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0, 0},{LO_SEE,0,2,0, 0},
927 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
928 };
929 const LinInstr li184[] = {
930 {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0, 1},{LO_AEE,0,2,0, 0},
931 {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
932 };
933 const LinInstr li185[] = {
934 {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0, 1},{LO_AEE,0,2,0, 0},
935 {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
936 };
937 const LinInstr li186[] = {
938 {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0, 1},{LO_AEE,0,2,0, 0},
939 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
940 };
941 const LinInstr li187[] = {
942 {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0, 1},{LO_AEE,0,2,0, 0},
943 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
944 };
945 const LinInstr li188[] = {
946 {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0, 1},{LO_SEE,0,2,0, 0},
947 {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
948 };
949 const LinInstr li189[] = {
950 {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0, 1},{LO_SEE,0,2,0, 0},
951 {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
952 };
953 const LinInstr li190[] = {
954 {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0, 1},{LO_SEE,0,2,0, 0},
955 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
956 };
957 const LinInstr li191[] = {
958 {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0, 1},{LO_SEE,0,2,0, 0},
959 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
960 };
961 const LinInstr li192[] = {
962 {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0, 2},{LO_AEE,0,2,0, 0},
963 {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
964 };
965 const LinInstr li193[] = {
966 {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0, 2},{LO_AEE,0,2,0, 0},
967 {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
968 };
969 const LinInstr li194[] = {
970 {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0, 2},{LO_AEE,0,2,0, 0},
971 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
972 };
973 const LinInstr li195[] = {
974 {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0, 2},{LO_AEE,0,2,0, 0},
975 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
976 };
977 const LinInstr li196[] = {
978 {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0, 2},{LO_SEE,0,2,0, 0},
979 {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
980 };
981 const LinInstr li197[] = {
982 {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0, 2},{LO_SEE,0,2,0, 0},
983 {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
984 };
985 const LinInstr li198[] = {
986 {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0, 2},{LO_SEE,0,2,0, 0},
987 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
988 };
989 const LinInstr li199[] = {
990 {LO_AEE,0,1,0, 0},{LO_MEC,0,0,0, 2},{LO_SEE,0,2,0, 0},
991 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
992 };
993 const LinInstr li200[] = {
994 {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0,-2},{LO_AEE,0,2,0, 0},
995 {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
996 };
997 const LinInstr li201[] = {
998 {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0,-2},{LO_AEE,0,2,0, 0},
999 {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
1000 };
1001 const LinInstr li202[] = {
1002 {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0,-2},{LO_AEE,0,2,0, 0},
1003 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1004 };
1005 const LinInstr li203[] = {
1006 {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0,-2},{LO_AEE,0,2,0, 0},
1007 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1008 };
1009 const LinInstr li204[] = {
1010 {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0,-2},{LO_SEE,0,2,0, 0},
1011 {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
1012 };
1013 const LinInstr li205[] = {
1014 {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0,-2},{LO_SEE,0,2,0, 0},
1015 {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
1016 };
1017 const LinInstr li206[] = {
1018 {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0,-2},{LO_SEE,0,2,0, 0},
1019 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1020 };
1021 const LinInstr li207[] = {
1022 {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0,-2},{LO_SEE,0,2,0, 0},
1023 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1024 };
1025 const LinInstr li208[] = {
1026 {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0,-1},{LO_AEE,0,2,0, 0},
1027 {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
1028 };
1029 const LinInstr li209[] = {
1030 {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0,-1},{LO_AEE,0,2,0, 0},
1031 {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
1032 };
1033 const LinInstr li210[] = {
1034 {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0,-1},{LO_AEE,0,2,0, 0},
1035 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1036 };
1037 const LinInstr li211[] = {
1038 {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0,-1},{LO_AEE,0,2,0, 0},
1039 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1040 };
1041 const LinInstr li212[] = {
1042 {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0,-1},{LO_SEE,0,2,0, 0},
1043 {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
1044 };
1045 const LinInstr li213[] = {
1046 {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0,-1},{LO_SEE,0,2,0, 0},
1047 {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
1048 };
1049 const LinInstr li214[] = {
1050 {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0,-1},{LO_SEE,0,2,0, 0},
1051 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1052 };
1053 const LinInstr li215[] = {
1054 {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0,-1},{LO_SEE,0,2,0, 0},
1055 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1056 };
1057 const LinInstr li216[] = {
1058 {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0, 0},{LO_AEE,0,2,0, 0},
1059 {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
1060 };
1061 const LinInstr li217[] = {
1062 {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0, 0},{LO_AEE,0,2,0, 0},
1063 {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
1064 };
1065 const LinInstr li218[] = {
1066 {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0, 0},{LO_AEE,0,2,0, 0},
1067 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1068 };
1069 const LinInstr li219[] = {
1070 {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0, 0},{LO_AEE,0,2,0, 0},
1071 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1072 };
1073 const LinInstr li220[] = {
1074 {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0, 0},{LO_SEE,0,2,0, 0},
1075 {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
1076 };
1077 const LinInstr li221[] = {
1078 {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0, 0},{LO_SEE,0,2,0, 0},
1079 {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
1080 };
1081 const LinInstr li222[] = {
1082 {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0, 0},{LO_SEE,0,2,0, 0},
1083 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1084 };
1085 const LinInstr li223[] = {
1086 {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0, 0},{LO_SEE,0,2,0, 0},
1087 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1088 };
1089 const LinInstr li224[] = {
1090 {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0, 1},{LO_AEE,0,2,0, 0},
1091 {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
1092 };
1093 const LinInstr li225[] = {
1094 {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0, 1},{LO_AEE,0,2,0, 0},
1095 {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
1096 };
1097 const LinInstr li226[] = {
1098 {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0, 1},{LO_AEE,0,2,0, 0},
1099 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1100 };
1101 const LinInstr li227[] = {
1102 {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0, 1},{LO_AEE,0,2,0, 0},
1103 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1104 };
1105 const LinInstr li228[] = {
1106 {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0, 1},{LO_SEE,0,2,0, 0},
1107 {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
1108 };
1109 const LinInstr li229[] = {
1110 {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0, 1},{LO_SEE,0,2,0, 0},
1111 {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
1112 };
1113 const LinInstr li230[] = {
1114 {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0, 1},{LO_SEE,0,2,0, 0},
1115 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1116 };
1117 const LinInstr li231[] = {
1118 {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0, 1},{LO_SEE,0,2,0, 0},
1119 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1120 };
1121 const LinInstr li232[] = {
1122 {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0, 2},{LO_AEE,0,2,0, 0},
1123 {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
1124 };
1125 const LinInstr li233[] = {
1126 {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0, 2},{LO_AEE,0,2,0, 0},
1127 {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
1128 };
1129 const LinInstr li234[] = {
1130 {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0, 2},{LO_AEE,0,2,0, 0},
1131 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1132 };
1133 const LinInstr li235[] = {
1134 {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0, 2},{LO_AEE,0,2,0, 0},
1135 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1136 };
1137 const LinInstr li236[] = {
1138 {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0, 2},{LO_SEE,0,2,0, 0},
1139 {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
1140 };
1141 const LinInstr li237[] = {
1142 {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0, 2},{LO_SEE,0,2,0, 0},
1143 {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
1144 };
1145 const LinInstr li238[] = {
1146 {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0, 2},{LO_SEE,0,2,0, 0},
1147 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1148 };
1149 const LinInstr li239[] = {
1150 {LO_SEE,0,1,0, 0},{LO_AEC,0,0,0, 2},{LO_SEE,0,2,0, 0},
1151 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1152 };
1153 const LinInstr li240[] = {
1154 {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0,-2},{LO_AEE,0,2,0, 0},
1155 {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
1156 };
1157 const LinInstr li241[] = {
1158 {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0,-2},{LO_AEE,0,2,0, 0},
1159 {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
1160 };
1161 const LinInstr li242[] = {
1162 {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0,-2},{LO_AEE,0,2,0, 0},
1163 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1164 };
1165 const LinInstr li243[] = {
1166 {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0,-2},{LO_AEE,0,2,0, 0},
1167 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1168 };
1169 const LinInstr li244[] = {
1170 {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0,-2},{LO_SEE,0,2,0, 0},
1171 {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
1172 };
1173 const LinInstr li245[] = {
1174 {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0,-2},{LO_SEE,0,2,0, 0},
1175 {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
1176 };
1177 const LinInstr li246[] = {
1178 {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0,-2},{LO_SEE,0,2,0, 0},
1179 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1180 };
1181 const LinInstr li247[] = {
1182 {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0,-2},{LO_SEE,0,2,0, 0},
1183 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1184 };
1185 const LinInstr li248[] = {
1186 {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0,-1},{LO_AEE,0,2,0, 0},
1187 {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
1188 };
1189 const LinInstr li249[] = {
1190 {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0,-1},{LO_AEE,0,2,0, 0},
1191 {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
1192 };
1193 const LinInstr li250[] = {
1194 {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0,-1},{LO_AEE,0,2,0, 0},
1195 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1196 };
1197 const LinInstr li251[] = {
1198 {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0,-1},{LO_AEE,0,2,0, 0},
1199 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1200 };
1201 const LinInstr li252[] = {
1202 {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0,-1},{LO_SEE,0,2,0, 0},
1203 {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
1204 };
1205 const LinInstr li253[] = {
1206 {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0,-1},{LO_SEE,0,2,0, 0},
1207 {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
1208 };
1209 const LinInstr li254[] = {
1210 {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0,-1},{LO_SEE,0,2,0, 0},
1211 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1212 };
1213 const LinInstr li255[] = {
1214 {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0,-1},{LO_SEE,0,2,0, 0},
1215 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1216 };
1217 const LinInstr li256[] = {
1218 {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0, 0},{LO_AEE,0,2,0, 0},
1219 {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
1220 };
1221 const LinInstr li257[] = {
1222 {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0, 0},{LO_AEE,0,2,0, 0},
1223 {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
1224 };
1225 const LinInstr li258[] = {
1226 {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0, 0},{LO_AEE,0,2,0, 0},
1227 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1228 };
1229 const LinInstr li259[] = {
1230 {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0, 0},{LO_AEE,0,2,0, 0},
1231 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1232 };
1233 const LinInstr li260[] = {
1234 {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0, 0},{LO_SEE,0,2,0, 0},
1235 {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
1236 };
1237 const LinInstr li261[] = {
1238 {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0, 0},{LO_SEE,0,2,0, 0},
1239 {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
1240 };
1241 const LinInstr li262[] = {
1242 {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0, 0},{LO_SEE,0,2,0, 0},
1243 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1244 };
1245 const LinInstr li263[] = {
1246 {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0, 0},{LO_SEE,0,2,0, 0},
1247 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1248 };
1249 const LinInstr li264[] = {
1250 {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0, 1},{LO_AEE,0,2,0, 0},
1251 {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
1252 };
1253 const LinInstr li265[] = {
1254 {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0, 1},{LO_AEE,0,2,0, 0},
1255 {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
1256 };
1257 const LinInstr li266[] = {
1258 {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0, 1},{LO_AEE,0,2,0, 0},
1259 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1260 };
1261 const LinInstr li267[] = {
1262 {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0, 1},{LO_AEE,0,2,0, 0},
1263 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1264 };
1265 const LinInstr li268[] = {
1266 {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0, 1},{LO_SEE,0,2,0, 0},
1267 {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
1268 };
1269 const LinInstr li269[] = {
1270 {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0, 1},{LO_SEE,0,2,0, 0},
1271 {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
1272 };
1273 const LinInstr li270[] = {
1274 {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0, 1},{LO_SEE,0,2,0, 0},
1275 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1276 };
1277 const LinInstr li271[] = {
1278 {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0, 1},{LO_SEE,0,2,0, 0},
1279 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1280 };
1281 const LinInstr li272[] = {
1282 {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0, 2},{LO_AEE,0,2,0, 0},
1283 {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
1284 };
1285 const LinInstr li273[] = {
1286 {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0, 2},{LO_AEE,0,2,0, 0},
1287 {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
1288 };
1289 const LinInstr li274[] = {
1290 {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0, 2},{LO_AEE,0,2,0, 0},
1291 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1292 };
1293 const LinInstr li275[] = {
1294 {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0, 2},{LO_AEE,0,2,0, 0},
1295 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1296 };
1297 const LinInstr li276[] = {
1298 {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0, 2},{LO_SEE,0,2,0, 0},
1299 {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
1300 };
1301 const LinInstr li277[] = {
1302 {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0, 2},{LO_SEE,0,2,0, 0},
1303 {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
1304 };
1305 const LinInstr li278[] = {
1306 {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0, 2},{LO_SEE,0,2,0, 0},
1307 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1308 };
1309 const LinInstr li279[] = {
1310 {LO_SEE,0,1,0, 0},{LO_SCE,0,0,0, 2},{LO_SEE,0,2,0, 0},
1311 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1312 };
1313 const LinInstr li280[] = {
1314 {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0,-2},{LO_AEE,0,2,0, 0},
1315 {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
1316 };
1317 const LinInstr li281[] = {
1318 {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0,-2},{LO_AEE,0,2,0, 0},
1319 {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
1320 };
1321 const LinInstr li282[] = {
1322 {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0,-2},{LO_AEE,0,2,0, 0},
1323 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1324 };
1325 const LinInstr li283[] = {
1326 {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0,-2},{LO_AEE,0,2,0, 0},
1327 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1328 };
1329 const LinInstr li284[] = {
1330 {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0,-2},{LO_SEE,0,2,0, 0},
1331 {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
1332 };
1333 const LinInstr li285[] = {
1334 {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0,-2},{LO_SEE,0,2,0, 0},
1335 {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
1336 };
1337 const LinInstr li286[] = {
1338 {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0,-2},{LO_SEE,0,2,0, 0},
1339 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1340 };
1341 const LinInstr li287[] = {
1342 {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0,-2},{LO_SEE,0,2,0, 0},
1343 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1344 };
1345 const LinInstr li288[] = {
1346 {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0,-1},{LO_AEE,0,2,0, 0},
1347 {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
1348 };
1349 const LinInstr li289[] = {
1350 {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0,-1},{LO_AEE,0,2,0, 0},
1351 {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
1352 };
1353 const LinInstr li290[] = {
1354 {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0,-1},{LO_AEE,0,2,0, 0},
1355 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1356 };
1357 const LinInstr li291[] = {
1358 {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0,-1},{LO_AEE,0,2,0, 0},
1359 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1360 };
1361 const LinInstr li292[] = {
1362 {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0,-1},{LO_SEE,0,2,0, 0},
1363 {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
1364 };
1365 const LinInstr li293[] = {
1366 {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0,-1},{LO_SEE,0,2,0, 0},
1367 {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
1368 };
1369 const LinInstr li294[] = {
1370 {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0,-1},{LO_SEE,0,2,0, 0},
1371 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1372 };
1373 const LinInstr li295[] = {
1374 {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0,-1},{LO_SEE,0,2,0, 0},
1375 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1376 };
1377 const LinInstr li296[] = {
1378 {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0, 0},{LO_AEE,0,2,0, 0},
1379 {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
1380 };
1381 const LinInstr li297[] = {
1382 {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0, 0},{LO_AEE,0,2,0, 0},
1383 {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
1384 };
1385 const LinInstr li298[] = {
1386 {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0, 0},{LO_AEE,0,2,0, 0},
1387 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1388 };
1389 const LinInstr li299[] = {
1390 {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0, 0},{LO_AEE,0,2,0, 0},
1391 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1392 };
1393 const LinInstr li300[] = {
1394 {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0, 0},{LO_SEE,0,2,0, 0},
1395 {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
1396 };
1397 const LinInstr li301[] = {
1398 {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0, 0},{LO_SEE,0,2,0, 0},
1399 {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
1400 };
1401 const LinInstr li302[] = {
1402 {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0, 0},{LO_SEE,0,2,0, 0},
1403 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1404 };
1405 const LinInstr li303[] = {
1406 {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0, 0},{LO_SEE,0,2,0, 0},
1407 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1408 };
1409 const LinInstr li304[] = {
1410 {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0, 1},{LO_AEE,0,2,0, 0},
1411 {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
1412 };
1413 const LinInstr li305[] = {
1414 {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0, 1},{LO_AEE,0,2,0, 0},
1415 {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
1416 };
1417 const LinInstr li306[] = {
1418 {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0, 1},{LO_AEE,0,2,0, 0},
1419 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1420 };
1421 const LinInstr li307[] = {
1422 {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0, 1},{LO_AEE,0,2,0, 0},
1423 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1424 };
1425 const LinInstr li308[] = {
1426 {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0, 1},{LO_SEE,0,2,0, 0},
1427 {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
1428 };
1429 const LinInstr li309[] = {
1430 {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0, 1},{LO_SEE,0,2,0, 0},
1431 {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
1432 };
1433 const LinInstr li310[] = {
1434 {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0, 1},{LO_SEE,0,2,0, 0},
1435 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1436 };
1437 const LinInstr li311[] = {
1438 {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0, 1},{LO_SEE,0,2,0, 0},
1439 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1440 };
1441 const LinInstr li312[] = {
1442 {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0, 2},{LO_AEE,0,2,0, 0},
1443 {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
1444 };
1445 const LinInstr li313[] = {
1446 {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0, 2},{LO_AEE,0,2,0, 0},
1447 {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
1448 };
1449 const LinInstr li314[] = {
1450 {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0, 2},{LO_AEE,0,2,0, 0},
1451 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1452 };
1453 const LinInstr li315[] = {
1454 {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0, 2},{LO_AEE,0,2,0, 0},
1455 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1456 };
1457 const LinInstr li316[] = {
1458 {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0, 2},{LO_SEE,0,2,0, 0},
1459 {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
1460 };
1461 const LinInstr li317[] = {
1462 {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0, 2},{LO_SEE,0,2,0, 0},
1463 {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
1464 };
1465 const LinInstr li318[] = {
1466 {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0, 2},{LO_SEE,0,2,0, 0},
1467 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1468 };
1469 const LinInstr li319[] = {
1470 {LO_SEE,0,1,0, 0},{LO_SEC,0,0,0, 2},{LO_SEE,0,2,0, 0},
1471 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1472 };
1473 const LinInstr li320[] = {
1474 {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0,-2},{LO_AEE,0,2,0, 0},
1475 {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
1476 };
1477 const LinInstr li321[] = {
1478 {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0,-2},{LO_AEE,0,2,0, 0},
1479 {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
1480 };
1481 const LinInstr li322[] = {
1482 {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0,-2},{LO_AEE,0,2,0, 0},
1483 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1484 };
1485 const LinInstr li323[] = {
1486 {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0,-2},{LO_AEE,0,2,0, 0},
1487 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1488 };
1489 const LinInstr li324[] = {
1490 {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0,-2},{LO_SEE,0,2,0, 0},
1491 {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
1492 };
1493 const LinInstr li325[] = {
1494 {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0,-2},{LO_SEE,0,2,0, 0},
1495 {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
1496 };
1497 const LinInstr li326[] = {
1498 {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0,-2},{LO_SEE,0,2,0, 0},
1499 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1500 };
1501 const LinInstr li327[] = {
1502 {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0,-2},{LO_SEE,0,2,0, 0},
1503 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1504 };
1505 const LinInstr li328[] = {
1506 {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0,-1},{LO_AEE,0,2,0, 0},
1507 {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
1508 };
1509 const LinInstr li329[] = {
1510 {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0,-1},{LO_AEE,0,2,0, 0},
1511 {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
1512 };
1513 const LinInstr li330[] = {
1514 {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0,-1},{LO_AEE,0,2,0, 0},
1515 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1516 };
1517 const LinInstr li331[] = {
1518 {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0,-1},{LO_AEE,0,2,0, 0},
1519 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1520 };
1521 const LinInstr li332[] = {
1522 {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0,-1},{LO_SEE,0,2,0, 0},
1523 {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
1524 };
1525 const LinInstr li333[] = {
1526 {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0,-1},{LO_SEE,0,2,0, 0},
1527 {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
1528 };
1529 const LinInstr li334[] = {
1530 {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0,-1},{LO_SEE,0,2,0, 0},
1531 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1532 };
1533 const LinInstr li335[] = {
1534 {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0,-1},{LO_SEE,0,2,0, 0},
1535 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1536 };
1537 const LinInstr li336[] = {
1538 {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0, 0},{LO_AEE,0,2,0, 0},
1539 {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
1540 };
1541 const LinInstr li337[] = {
1542 {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0, 0},{LO_AEE,0,2,0, 0},
1543 {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
1544 };
1545 const LinInstr li338[] = {
1546 {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0, 0},{LO_AEE,0,2,0, 0},
1547 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1548 };
1549 const LinInstr li339[] = {
1550 {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0, 0},{LO_AEE,0,2,0, 0},
1551 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1552 };
1553 const LinInstr li340[] = {
1554 {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0, 0},{LO_SEE,0,2,0, 0},
1555 {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
1556 };
1557 const LinInstr li341[] = {
1558 {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0, 0},{LO_SEE,0,2,0, 0},
1559 {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
1560 };
1561 const LinInstr li342[] = {
1562 {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0, 0},{LO_SEE,0,2,0, 0},
1563 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1564 };
1565 const LinInstr li343[] = {
1566 {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0, 0},{LO_SEE,0,2,0, 0},
1567 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1568 };
1569 const LinInstr li344[] = {
1570 {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0, 1},{LO_AEE,0,2,0, 0},
1571 {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
1572 };
1573 const LinInstr li345[] = {
1574 {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0, 1},{LO_AEE,0,2,0, 0},
1575 {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
1576 };
1577 const LinInstr li346[] = {
1578 {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0, 1},{LO_AEE,0,2,0, 0},
1579 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1580 };
1581 const LinInstr li347[] = {
1582 {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0, 1},{LO_AEE,0,2,0, 0},
1583 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1584 };
1585 const LinInstr li348[] = {
1586 {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0, 1},{LO_SEE,0,2,0, 0},
1587 {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
1588 };
1589 const LinInstr li349[] = {
1590 {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0, 1},{LO_SEE,0,2,0, 0},
1591 {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
1592 };
1593 const LinInstr li350[] = {
1594 {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0, 1},{LO_SEE,0,2,0, 0},
1595 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1596 };
1597 const LinInstr li351[] = {
1598 {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0, 1},{LO_SEE,0,2,0, 0},
1599 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1600 };
1601 const LinInstr li352[] = {
1602 {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0, 2},{LO_AEE,0,2,0, 0},
1603 {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
1604 };
1605 const LinInstr li353[] = {
1606 {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0, 2},{LO_AEE,0,2,0, 0},
1607 {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
1608 };
1609 const LinInstr li354[] = {
1610 {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0, 2},{LO_AEE,0,2,0, 0},
1611 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1612 };
1613 const LinInstr li355[] = {
1614 {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0, 2},{LO_AEE,0,2,0, 0},
1615 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1616 };
1617 const LinInstr li356[] = {
1618 {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0, 2},{LO_SEE,0,2,0, 0},
1619 {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
1620 };
1621 const LinInstr li357[] = {
1622 {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0, 2},{LO_SEE,0,2,0, 0},
1623 {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
1624 };
1625 const LinInstr li358[] = {
1626 {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0, 2},{LO_SEE,0,2,0, 0},
1627 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1628 };
1629 const LinInstr li359[] = {
1630 {LO_SEE,0,1,0, 0},{LO_MCE,0,0,0, 2},{LO_SEE,0,2,0, 0},
1631 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1632 };
1633 const LinInstr li360[] = {
1634 {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0,-2},{LO_AEE,0,2,0, 0},
1635 {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
1636 };
1637 const LinInstr li361[] = {
1638 {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0,-2},{LO_AEE,0,2,0, 0},
1639 {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
1640 };
1641 const LinInstr li362[] = {
1642 {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0,-2},{LO_AEE,0,2,0, 0},
1643 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1644 };
1645 const LinInstr li363[] = {
1646 {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0,-2},{LO_AEE,0,2,0, 0},
1647 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1648 };
1649 const LinInstr li364[] = {
1650 {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0,-2},{LO_SEE,0,2,0, 0},
1651 {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
1652 };
1653 const LinInstr li365[] = {
1654 {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0,-2},{LO_SEE,0,2,0, 0},
1655 {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
1656 };
1657 const LinInstr li366[] = {
1658 {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0,-2},{LO_SEE,0,2,0, 0},
1659 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1660 };
1661 const LinInstr li367[] = {
1662 {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0,-2},{LO_SEE,0,2,0, 0},
1663 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1664 };
1665 const LinInstr li368[] = {
1666 {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0,-1},{LO_AEE,0,2,0, 0},
1667 {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
1668 };
1669 const LinInstr li369[] = {
1670 {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0,-1},{LO_AEE,0,2,0, 0},
1671 {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
1672 };
1673 const LinInstr li370[] = {
1674 {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0,-1},{LO_AEE,0,2,0, 0},
1675 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1676 };
1677 const LinInstr li371[] = {
1678 {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0,-1},{LO_AEE,0,2,0, 0},
1679 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1680 };
1681 const LinInstr li372[] = {
1682 {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0,-1},{LO_SEE,0,2,0, 0},
1683 {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
1684 };
1685 const LinInstr li373[] = {
1686 {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0,-1},{LO_SEE,0,2,0, 0},
1687 {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
1688 };
1689 const LinInstr li374[] = {
1690 {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0,-1},{LO_SEE,0,2,0, 0},
1691 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1692 };
1693 const LinInstr li375[] = {
1694 {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0,-1},{LO_SEE,0,2,0, 0},
1695 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1696 };
1697 const LinInstr li376[] = {
1698 {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0, 0},{LO_AEE,0,2,0, 0},
1699 {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
1700 };
1701 const LinInstr li377[] = {
1702 {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0, 0},{LO_AEE,0,2,0, 0},
1703 {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
1704 };
1705 const LinInstr li378[] = {
1706 {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0, 0},{LO_AEE,0,2,0, 0},
1707 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1708 };
1709 const LinInstr li379[] = {
1710 {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0, 0},{LO_AEE,0,2,0, 0},
1711 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1712 };
1713 const LinInstr li380[] = {
1714 {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0, 0},{LO_SEE,0,2,0, 0},
1715 {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
1716 };
1717 const LinInstr li381[] = {
1718 {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0, 0},{LO_SEE,0,2,0, 0},
1719 {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
1720 };
1721 const LinInstr li382[] = {
1722 {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0, 0},{LO_SEE,0,2,0, 0},
1723 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1724 };
1725 const LinInstr li383[] = {
1726 {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0, 0},{LO_SEE,0,2,0, 0},
1727 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1728 };
1729 const LinInstr li384[] = {
1730 {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0, 1},{LO_AEE,0,2,0, 0},
1731 {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
1732 };
1733 const LinInstr li385[] = {
1734 {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0, 1},{LO_AEE,0,2,0, 0},
1735 {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
1736 };
1737 const LinInstr li386[] = {
1738 {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0, 1},{LO_AEE,0,2,0, 0},
1739 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1740 };
1741 const LinInstr li387[] = {
1742 {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0, 1},{LO_AEE,0,2,0, 0},
1743 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1744 };
1745 const LinInstr li388[] = {
1746 {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0, 1},{LO_SEE,0,2,0, 0},
1747 {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
1748 };
1749 const LinInstr li389[] = {
1750 {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0, 1},{LO_SEE,0,2,0, 0},
1751 {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
1752 };
1753 const LinInstr li390[] = {
1754 {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0, 1},{LO_SEE,0,2,0, 0},
1755 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1756 };
1757 const LinInstr li391[] = {
1758 {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0, 1},{LO_SEE,0,2,0, 0},
1759 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1760 };
1761 const LinInstr li392[] = {
1762 {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0, 2},{LO_AEE,0,2,0, 0},
1763 {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
1764 };
1765 const LinInstr li393[] = {
1766 {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0, 2},{LO_AEE,0,2,0, 0},
1767 {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
1768 };
1769 const LinInstr li394[] = {
1770 {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0, 2},{LO_AEE,0,2,0, 0},
1771 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1772 };
1773 const LinInstr li395[] = {
1774 {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0, 2},{LO_AEE,0,2,0, 0},
1775 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1776 };
1777 const LinInstr li396[] = {
1778 {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0, 2},{LO_SEE,0,2,0, 0},
1779 {LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
1780 };
1781 const LinInstr li397[] = {
1782 {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0, 2},{LO_SEE,0,2,0, 0},
1783 {LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
1784 };
1785 const LinInstr li398[] = {
1786 {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0, 2},{LO_SEE,0,2,0, 0},
1787 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1788 };
1789 const LinInstr li399[] = {
1790 {LO_SEE,0,1,0, 0},{LO_MEC,0,0,0, 2},{LO_SEE,0,2,0, 0},
1791 {LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
1792 };
1793
1794 const LinInstr* li[] = {
1795 &li000[0],&li001[0],&li002[0],&li003[0],&li004[0],&li005[0],
1796 &li006[0],&li007[0],&li008[0],&li009[0],&li010[0],&li011[0],
1797 &li012[0],&li013[0],&li014[0],&li015[0],&li016[0],&li017[0],
1798 &li018[0],&li019[0],&li020[0],&li021[0],&li022[0],&li023[0],
1799 &li024[0],&li025[0],&li026[0],&li027[0],&li028[0],&li029[0],
1800 &li030[0],&li031[0],&li032[0],&li033[0],&li034[0],&li035[0],
1801 &li036[0],&li037[0],&li038[0],&li039[0],&li040[0],&li041[0],
1802 &li042[0],&li043[0],&li044[0],&li045[0],&li046[0],&li047[0],
1803 &li048[0],&li049[0],&li050[0],&li051[0],&li052[0],&li053[0],
1804 &li054[0],&li055[0],&li056[0],&li057[0],&li058[0],&li059[0],
1805 &li060[0],&li061[0],&li062[0],&li063[0],&li064[0],&li065[0],
1806 &li066[0],&li067[0],&li068[0],&li069[0],&li070[0],&li071[0],
1807 &li072[0],&li073[0],&li074[0],&li075[0],&li076[0],&li077[0],
1808 &li078[0],&li079[0],&li080[0],&li081[0],&li082[0],&li083[0],
1809 &li084[0],&li085[0],&li086[0],&li087[0],&li088[0],&li089[0],
1810 &li090[0],&li091[0],&li092[0],&li093[0],&li094[0],&li095[0],
1811 &li096[0],&li097[0],&li098[0],&li099[0],&li100[0],&li101[0],
1812 &li102[0],&li103[0],&li104[0],&li105[0],&li106[0],&li107[0],
1813 &li108[0],&li109[0],&li110[0],&li111[0],&li112[0],&li113[0],
1814 &li114[0],&li115[0],&li116[0],&li117[0],&li118[0],&li119[0],
1815 &li120[0],&li121[0],&li122[0],&li123[0],&li124[0],&li125[0],
1816 &li126[0],&li127[0],&li128[0],&li129[0],&li130[0],&li131[0],
1817 &li132[0],&li133[0],&li134[0],&li135[0],&li136[0],&li137[0],
1818 &li138[0],&li139[0],&li140[0],&li141[0],&li142[0],&li143[0],
1819 &li144[0],&li145[0],&li146[0],&li147[0],&li148[0],&li149[0],
1820 &li150[0],&li151[0],&li152[0],&li153[0],&li154[0],&li155[0],
1821 &li156[0],&li157[0],&li158[0],&li159[0],&li160[0],&li161[0],
1822 &li162[0],&li163[0],&li164[0],&li165[0],&li166[0],&li167[0],
1823 &li168[0],&li169[0],&li170[0],&li171[0],&li172[0],&li173[0],
1824 &li174[0],&li175[0],&li176[0],&li177[0],&li178[0],&li179[0],
1825 &li180[0],&li181[0],&li182[0],&li183[0],&li184[0],&li185[0],
1826 &li186[0],&li187[0],&li188[0],&li189[0],&li190[0],&li191[0],
1827 &li192[0],&li193[0],&li194[0],&li195[0],&li196[0],&li197[0],
1828 &li198[0],&li199[0],&li200[0],&li201[0],&li202[0],&li203[0],
1829 &li204[0],&li205[0],&li206[0],&li207[0],&li208[0],&li209[0],
1830 &li210[0],&li211[0],&li212[0],&li213[0],&li214[0],&li215[0],
1831 &li216[0],&li217[0],&li218[0],&li219[0],&li220[0],&li221[0],
1832 &li222[0],&li223[0],&li224[0],&li225[0],&li226[0],&li227[0],
1833 &li228[0],&li229[0],&li230[0],&li231[0],&li232[0],&li233[0],
1834 &li234[0],&li235[0],&li236[0],&li237[0],&li238[0],&li239[0],
1835 &li240[0],&li241[0],&li242[0],&li243[0],&li244[0],&li245[0],
1836 &li246[0],&li247[0],&li248[0],&li249[0],&li250[0],&li251[0],
1837 &li252[0],&li253[0],&li254[0],&li255[0],&li256[0],&li257[0],
1838 &li258[0],&li259[0],&li260[0],&li261[0],&li262[0],&li263[0],
1839 &li264[0],&li265[0],&li266[0],&li267[0],&li268[0],&li269[0],
1840 &li270[0],&li271[0],&li272[0],&li273[0],&li274[0],&li275[0],
1841 &li276[0],&li277[0],&li278[0],&li279[0],&li280[0],&li281[0],
1842 &li282[0],&li283[0],&li284[0],&li285[0],&li286[0],&li287[0],
1843 &li288[0],&li289[0],&li290[0],&li291[0],&li292[0],&li293[0],
1844 &li294[0],&li295[0],&li296[0],&li297[0],&li298[0],&li299[0],
1845 &li300[0],&li301[0],&li302[0],&li303[0],&li304[0],&li305[0],
1846 &li306[0],&li307[0],&li308[0],&li309[0],&li310[0],&li311[0],
1847 &li312[0],&li313[0],&li314[0],&li315[0],&li316[0],&li317[0],
1848 &li318[0],&li319[0],&li320[0],&li321[0],&li322[0],&li323[0],
1849 &li324[0],&li325[0],&li326[0],&li327[0],&li328[0],&li329[0],
1850 &li330[0],&li331[0],&li332[0],&li333[0],&li334[0],&li335[0],
1851 &li336[0],&li337[0],&li338[0],&li339[0],&li340[0],&li341[0],
1852 &li342[0],&li343[0],&li344[0],&li345[0],&li346[0],&li347[0],
1853 &li348[0],&li349[0],&li350[0],&li351[0],&li352[0],&li353[0],
1854 &li354[0],&li355[0],&li356[0],&li357[0],&li358[0],&li359[0],
1855 &li360[0],&li361[0],&li362[0],&li363[0],&li364[0],&li365[0],
1856 &li366[0],&li367[0],&li368[0],&li369[0],&li370[0],&li371[0],
1857 &li372[0],&li373[0],&li374[0],&li375[0],&li376[0],&li377[0],
1858 &li378[0],&li379[0],&li380[0],&li381[0],&li382[0],&li383[0],
1859 &li384[0],&li385[0],&li386[0],&li387[0],&li388[0],&li389[0],
1860 &li390[0],&li391[0],&li392[0],&li393[0],&li394[0],&li395[0],
1861 &li396[0],&li397[0],&li398[0],&li399[0],
1862 };
1863
1865 class Create {
1866 public:
1868 Create(void) {
1869 int n = sizeof(li)/sizeof(LinInstr*);
1870 for (int i=0; i<n; i++) {
1871 std::string s = Test::str(i);
1872 if (i < 10) {
1873 s = "00" + s;
1874 } else if (i < 100) {
1875 s = "0" + s;
1876 }
1877 (void) new LinExpr(li[i],s);
1878 }
1879 FloatRelTypes frts;
1880 for (int i=0; i<n/2; i++) {
1881 std::string s = Test::str(i);
1882 if (i < 10) {
1883 s = "00" + s;
1884 } else if (i < 100) {
1885 s = "0" + s;
1886 }
1887 (void) new LinRel(li[2*i],li[2*i+1],frts.frt(),s);
1888 ++frts;
1889 if (!frts())
1890 frts.reset();
1891 }
1892 }
1893 };
1894
1897 }
1898
1899}}
1900
1901// STATISTICS: test-minimodel
NNF * l
Left subtree.
int n
Number of negative literals for node type.
Node * x
Pointer to corresponding Boolean expression node.
Float variable array.
Definition float.hh:1030
int min(int i) const
Return minimum of range at position i.
int max(int i) const
Return maximum of range at position i.
Integer variable array.
Definition int.hh:763
Float expressions
Definition minimodel.hh:822
Computation spaces.
Definition core.hpp:1742
Iterator for float relation types.
Definition float.hh:339
Gecode::FloatRelType frt(void) const
Return current relation type.
Definition float.hpp:304
void reset(void)
Reset iterator.
Definition float.hpp:292
Help class to create and register tests.
Definition mm-lin.cpp:1865
Create(void)
Perform creation and registration.
Definition mm-lin.cpp:1868
Test linear expressions over float variables
Definition mm-lin.cpp:95
virtual void post(Gecode::Space &home, Gecode::IntVarArray &x)
Post constraint on x.
Definition mm-lin.cpp:112
LinExpr(const LinInstr *lis0, const std::string &s)
Create and register test.
Definition mm-lin.cpp:101
const LinInstr * lis
Linear instruction sequence.
Definition mm-lin.cpp:98
virtual bool solution(const Int::Assignment &x) const
Test whether x is solution
Definition mm-lin.cpp:107
Type for representing a linear instruction.
Definition mm-lin.cpp:59
LinOpcode o
Which instruction to execute.
Definition mm-lin.cpp:61
unsigned char z
Instruction arguments, y is destination (or z)
Definition mm-lin.cpp:62
int c
Numerical constant.
Definition mm-lin.cpp:63
Test linear relations over float variables
Definition mm-lin.cpp:125
virtual void post(Gecode::Space &home, Gecode::IntVarArray &x)
Post constraint on x.
Definition mm-lin.cpp:161
const LinInstr * r_lis
Linear instruction sequence for right hand side.
Definition mm-lin.cpp:130
const LinInstr * l_lis
Linear instruction sequence for left hand side.
Definition mm-lin.cpp:128
Gecode::FloatRelType frt
Float relation type to propagate.
Definition mm-lin.cpp:132
virtual bool solution(const Int::Assignment &x) const
Test whether x is solution
Definition mm-lin.cpp:143
LinRel(const LinInstr *l_lis0, const LinInstr *r_lis0, Gecode::FloatRelType frt0, const std::string &s)
Create and register test.
Definition mm-lin.cpp:135
static std::string str(Gecode::FloatRelType frt)
Map float relation to string.
Definition float.hpp:194
Base class for assignments
Definition int.hh:59
Base class for tests with integer constraints
Definition int.hh:223
bool testfix
Whether to perform fixpoint test.
Definition int.hh:240
static std::string str(Gecode::IntPropLevel ipl)
Map integer propagation level to string.
Definition int.hpp:209
Gecode::IntSet dom
Domain of variables.
Definition int.hh:228
void rel(Home home, FloatVar x0, FloatRelType frt, FloatVar x1)
Post propagator for .
Definition rel.cpp:68
FloatRelType
Relation types for floats.
Definition float.hh:1068
Gecode toplevel namespace
const LinInstr li134[]
Definition mm-lin.cpp:729
const LinInstr li186[]
Definition mm-lin.cpp:937
const LinInstr li248[]
Definition mm-lin.cpp:1185
const LinInstr li010[]
Definition mm-lin.cpp:233
const LinInstr li375[]
Definition mm-lin.cpp:1693
const LinInstr li364[]
Definition mm-lin.cpp:1649
const LinInstr li065[]
Definition mm-lin.cpp:453
const LinInstr li318[]
Definition mm-lin.cpp:1465
const LinInstr li051[]
Definition mm-lin.cpp:397
const LinInstr li072[]
Definition mm-lin.cpp:481
const LinInstr li007[]
Definition mm-lin.cpp:221
const LinInstr li282[]
Definition mm-lin.cpp:1321
const LinInstr li182[]
Definition mm-lin.cpp:921
const LinInstr li113[]
Definition mm-lin.cpp:645
const LinInstr li070[]
Definition mm-lin.cpp:473
const LinInstr li038[]
Definition mm-lin.cpp:345
const LinInstr li332[]
Definition mm-lin.cpp:1521
const LinInstr li390[]
Definition mm-lin.cpp:1753
const LinInstr li229[]
Definition mm-lin.cpp:1109
const LinInstr li292[]
Definition mm-lin.cpp:1361
const LinInstr li394[]
Definition mm-lin.cpp:1769
const LinInstr li362[]
Definition mm-lin.cpp:1641
const LinInstr li388[]
Definition mm-lin.cpp:1745
const LinInstr li331[]
Definition mm-lin.cpp:1517
const LinInstr li173[]
Definition mm-lin.cpp:885
const LinInstr li127[]
Definition mm-lin.cpp:701
const LinInstr li102[]
Definition mm-lin.cpp:601
const LinInstr li386[]
Definition mm-lin.cpp:1737
const LinInstr li291[]
Definition mm-lin.cpp:1357
const LinInstr li147[]
Definition mm-lin.cpp:781
const LinInstr li017[]
Definition mm-lin.cpp:261
const LinInstr li191[]
Definition mm-lin.cpp:957
const LinInstr li002[]
Definition mm-lin.cpp:201
const LinInstr li132[]
Definition mm-lin.cpp:721
const LinInstr li307[]
Definition mm-lin.cpp:1421
const LinInstr li095[]
Definition mm-lin.cpp:573
const LinInstr li067[]
Definition mm-lin.cpp:461
const LinInstr li156[]
Definition mm-lin.cpp:817
const LinInstr li035[]
Definition mm-lin.cpp:333
const LinInstr li081[]
Definition mm-lin.cpp:517
const LinInstr li328[]
Definition mm-lin.cpp:1505
const LinInstr li290[]
Definition mm-lin.cpp:1353
const LinInstr li374[]
Definition mm-lin.cpp:1689
const LinInstr li228[]
Definition mm-lin.cpp:1105
const LinInstr li003[]
Definition mm-lin.cpp:205
const LinInstr li214[]
Definition mm-lin.cpp:1049
const LinInstr li247[]
Definition mm-lin.cpp:1181
const LinInstr li073[]
Definition mm-lin.cpp:485
const LinInstr li043[]
Definition mm-lin.cpp:365
const LinInstr li246[]
Definition mm-lin.cpp:1177
const LinInstr li326[]
Definition mm-lin.cpp:1497
const LinInstr li168[]
Definition mm-lin.cpp:865
const LinInstr li064[]
Definition mm-lin.cpp:449
const LinInstr li084[]
Definition mm-lin.cpp:529
const LinInstr li241[]
Definition mm-lin.cpp:1157
const LinInstr li177[]
Definition mm-lin.cpp:901
const LinInstr li203[]
Definition mm-lin.cpp:1005
const LinInstr li167[]
Definition mm-lin.cpp:861
const LinInstr li236[]
Definition mm-lin.cpp:1137
const LinInstr li206[]
Definition mm-lin.cpp:1017
const LinInstr li044[]
Definition mm-lin.cpp:369
const LinInstr li031[]
Definition mm-lin.cpp:317
const LinInstr li325[]
Definition mm-lin.cpp:1493
const LinInstr li116[]
Definition mm-lin.cpp:657
const LinInstr li277[]
Definition mm-lin.cpp:1301
const LinInstr li190[]
Definition mm-lin.cpp:953
const LinInstr li205[]
Definition mm-lin.cpp:1013
const LinInstr li311[]
Definition mm-lin.cpp:1437
const LinInstr li250[]
Definition mm-lin.cpp:1193
const LinInstr li145[]
Definition mm-lin.cpp:773
const LinInstr li060[]
Definition mm-lin.cpp:433
const LinInstr li105[]
Definition mm-lin.cpp:613
const LinInstr li121[]
Definition mm-lin.cpp:677
const LinInstr li016[]
Definition mm-lin.cpp:257
const LinInstr li377[]
Definition mm-lin.cpp:1701
const LinInstr li086[]
Definition mm-lin.cpp:537
const LinInstr li025[]
Definition mm-lin.cpp:293
const LinInstr li144[]
Definition mm-lin.cpp:769
const LinInstr li014[]
Definition mm-lin.cpp:249
const LinInstr li239[]
Definition mm-lin.cpp:1149
const LinInstr li006[]
Definition mm-lin.cpp:217
const LinInstr li279[]
Definition mm-lin.cpp:1309
const LinInstr li079[]
Definition mm-lin.cpp:509
const LinInstr li053[]
Definition mm-lin.cpp:405
const LinInstr li276[]
Definition mm-lin.cpp:1297
const LinInstr li166[]
Definition mm-lin.cpp:857
const LinInstr li341[]
Definition mm-lin.cpp:1557
const LinInstr li189[]
Definition mm-lin.cpp:949
const LinInstr li295[]
Definition mm-lin.cpp:1373
const LinInstr li119[]
Definition mm-lin.cpp:669
const LinInstr li094[]
Definition mm-lin.cpp:569
const LinInstr li196[]
Definition mm-lin.cpp:977
const LinInstr li379[]
Definition mm-lin.cpp:1709
const LinInstr li164[]
Definition mm-lin.cpp:849
const LinInstr li351[]
Definition mm-lin.cpp:1597
const LinInstr li056[]
Definition mm-lin.cpp:417
const LinInstr li259[]
Definition mm-lin.cpp:1229
const LinInstr li367[]
Definition mm-lin.cpp:1661
const LinInstr li312[]
Definition mm-lin.cpp:1441
const LinInstr li336[]
Definition mm-lin.cpp:1537
const LinInstr li227[]
Definition mm-lin.cpp:1101
const LinInstr li222[]
Definition mm-lin.cpp:1081
const LinInstr li289[]
Definition mm-lin.cpp:1349
const LinInstr li207[]
Definition mm-lin.cpp:1021
const LinInstr li009[]
Definition mm-lin.cpp:229
const LinInstr li139[]
Definition mm-lin.cpp:749
const LinInstr li345[]
Definition mm-lin.cpp:1573
const LinInstr li092[]
Definition mm-lin.cpp:561
const LinInstr li108[]
Definition mm-lin.cpp:625
const LinInstr li223[]
Definition mm-lin.cpp:1085
const LinInstr li047[]
Definition mm-lin.cpp:381
const LinInstr li350[]
Definition mm-lin.cpp:1593
const LinInstr li180[]
Definition mm-lin.cpp:913
const LinInstr li337[]
Definition mm-lin.cpp:1541
const LinInstr li266[]
Definition mm-lin.cpp:1257
const LinInstr li037[]
Definition mm-lin.cpp:341
const LinInstr li323[]
Definition mm-lin.cpp:1485
const LinInstr li264[]
Definition mm-lin.cpp:1249
const LinInstr li392[]
Definition mm-lin.cpp:1761
const LinInstr li154[]
Definition mm-lin.cpp:809
const LinInstr li042[]
Definition mm-lin.cpp:361
const LinInstr li185[]
Definition mm-lin.cpp:933
const LinInstr li372[]
Definition mm-lin.cpp:1681
const LinInstr li300[]
Definition mm-lin.cpp:1393
const LinInstr li208[]
Definition mm-lin.cpp:1025
const LinInstr li090[]
Definition mm-lin.cpp:553
const LinInstr li383[]
Definition mm-lin.cpp:1725
const LinInstr li389[]
Definition mm-lin.cpp:1749
const LinInstr li353[]
Definition mm-lin.cpp:1605
const LinInstr li272[]
Definition mm-lin.cpp:1281
const LinInstr li384[]
Definition mm-lin.cpp:1729
const LinInstr li391[]
Definition mm-lin.cpp:1757
const LinInstr li152[]
Definition mm-lin.cpp:801
const LinInstr li226[]
Definition mm-lin.cpp:1097
const LinInstr li314[]
Definition mm-lin.cpp:1449
const LinInstr li344[]
Definition mm-lin.cpp:1569
const LinInstr li126[]
Definition mm-lin.cpp:697
const LinInstr li021[]
Definition mm-lin.cpp:277
const LinInstr li077[]
Definition mm-lin.cpp:501
const LinInstr li050[]
Definition mm-lin.cpp:393
const LinInstr li267[]
Definition mm-lin.cpp:1261
const LinInstr li255[]
Definition mm-lin.cpp:1213
const LinInstr li055[]
Definition mm-lin.cpp:413
const LinInstr li020[]
Definition mm-lin.cpp:273
const LinInstr li263[]
Definition mm-lin.cpp:1245
const LinInstr li143[]
Definition mm-lin.cpp:765
const LinInstr li036[]
Definition mm-lin.cpp:337
const LinInstr li085[]
Definition mm-lin.cpp:533
const LinInstr li179[]
Definition mm-lin.cpp:909
const LinInstr li230[]
Definition mm-lin.cpp:1113
const LinInstr li210[]
Definition mm-lin.cpp:1033
const LinInstr li257[]
Definition mm-lin.cpp:1221
const LinInstr li061[]
Definition mm-lin.cpp:437
const LinInstr li329[]
Definition mm-lin.cpp:1509
const LinInstr li333[]
Definition mm-lin.cpp:1525
const LinInstr li048[]
Definition mm-lin.cpp:385
const LinInstr li195[]
Definition mm-lin.cpp:973
const LinInstr li220[]
Definition mm-lin.cpp:1073
const LinInstr li115[]
Definition mm-lin.cpp:653
const LinInstr li068[]
Definition mm-lin.cpp:465
const LinInstr li396[]
Definition mm-lin.cpp:1777
const LinInstr li309[]
Definition mm-lin.cpp:1429
const LinInstr li140[]
Definition mm-lin.cpp:753
const LinInstr li232[]
Definition mm-lin.cpp:1121
const LinInstr li293[]
Definition mm-lin.cpp:1365
const LinInstr li028[]
Definition mm-lin.cpp:305
const LinInstr li212[]
Definition mm-lin.cpp:1041
const LinInstr li324[]
Definition mm-lin.cpp:1489
const LinInstr li296[]
Definition mm-lin.cpp:1377
const LinInstr li076[]
Definition mm-lin.cpp:497
const LinInstr li176[]
Definition mm-lin.cpp:897
const LinInstr li240[]
Definition mm-lin.cpp:1153
const LinInstr li238[]
Definition mm-lin.cpp:1145
const LinInstr li098[]
Definition mm-lin.cpp:585
const LinInstr li083[]
Definition mm-lin.cpp:525
const LinInstr li216[]
Definition mm-lin.cpp:1057
const LinInstr li225[]
Definition mm-lin.cpp:1093
const LinInstr li174[]
Definition mm-lin.cpp:889
const LinInstr li027[]
Definition mm-lin.cpp:301
const LinInstr li049[]
Definition mm-lin.cpp:389
const LinInstr li096[]
Definition mm-lin.cpp:577
const LinInstr li114[]
Definition mm-lin.cpp:649
const LinInstr li130[]
Definition mm-lin.cpp:713
const LinInstr li275[]
Definition mm-lin.cpp:1293
const LinInstr li198[]
Definition mm-lin.cpp:985
const LinInstr li339[]
Definition mm-lin.cpp:1549
const LinInstr li219[]
Definition mm-lin.cpp:1069
const LinInstr * li[]
Definition mm-lin.cpp:1794
const LinInstr li046[]
Definition mm-lin.cpp:377
const LinInstr li215[]
Definition mm-lin.cpp:1053
const LinInstr li170[]
Definition mm-lin.cpp:873
const LinInstr li343[]
Definition mm-lin.cpp:1565
const LinInstr li111[]
Definition mm-lin.cpp:637
const LinInstr li171[]
Definition mm-lin.cpp:877
const LinInstr li197[]
Definition mm-lin.cpp:981
Expr eval(const LinInstr *pc, Expr reg[])
Evaluate linear instructions.
Definition mm-lin.cpp:69
const LinInstr li030[]
Definition mm-lin.cpp:313
const LinInstr li352[]
Definition mm-lin.cpp:1601
const LinInstr li273[]
Definition mm-lin.cpp:1285
const LinInstr li299[]
Definition mm-lin.cpp:1389
const LinInstr li075[]
Definition mm-lin.cpp:493
const LinInstr li162[]
Definition mm-lin.cpp:841
const LinInstr li262[]
Definition mm-lin.cpp:1241
const LinInstr li045[]
Definition mm-lin.cpp:373
const LinInstr li146[]
Definition mm-lin.cpp:777
const LinInstr li213[]
Definition mm-lin.cpp:1045
const LinInstr li371[]
Definition mm-lin.cpp:1677
const LinInstr li087[]
Definition mm-lin.cpp:541
const LinInstr li355[]
Definition mm-lin.cpp:1613
const LinInstr li024[]
Definition mm-lin.cpp:289
const LinInstr li334[]
Definition mm-lin.cpp:1529
const LinInstr li133[]
Definition mm-lin.cpp:725
const LinInstr li118[]
Definition mm-lin.cpp:665
const LinInstr li172[]
Definition mm-lin.cpp:881
const LinInstr li128[]
Definition mm-lin.cpp:705
const LinInstr li052[]
Definition mm-lin.cpp:401
const LinInstr li150[]
Definition mm-lin.cpp:793
const LinInstr li074[]
Definition mm-lin.cpp:489
const LinInstr li184[]
Definition mm-lin.cpp:929
const LinInstr li161[]
Definition mm-lin.cpp:837
const LinInstr li142[]
Definition mm-lin.cpp:761
const LinInstr li321[]
Definition mm-lin.cpp:1477
const LinInstr li358[]
Definition mm-lin.cpp:1625
const LinInstr li209[]
Definition mm-lin.cpp:1029
const LinInstr li269[]
Definition mm-lin.cpp:1269
const LinInstr li313[]
Definition mm-lin.cpp:1445
const LinInstr li346[]
Definition mm-lin.cpp:1577
const LinInstr li368[]
Definition mm-lin.cpp:1665
const LinInstr li022[]
Definition mm-lin.cpp:281
const LinInstr li348[]
Definition mm-lin.cpp:1585
const LinInstr li274[]
Definition mm-lin.cpp:1289
const LinInstr li356[]
Definition mm-lin.cpp:1617
const LinInstr li287[]
Definition mm-lin.cpp:1341
const LinInstr li202[]
Definition mm-lin.cpp:1001
const LinInstr li123[]
Definition mm-lin.cpp:685
const LinInstr li317[]
Definition mm-lin.cpp:1461
const LinInstr li091[]
Definition mm-lin.cpp:557
const LinInstr li330[]
Definition mm-lin.cpp:1513
const LinInstr li376[]
Definition mm-lin.cpp:1697
const LinInstr li286[]
Definition mm-lin.cpp:1337
const LinInstr li039[]
Definition mm-lin.cpp:349
const LinInstr li245[]
Definition mm-lin.cpp:1173
const LinInstr li340[]
Definition mm-lin.cpp:1553
const LinInstr li260[]
Definition mm-lin.cpp:1233
const LinInstr li398[]
Definition mm-lin.cpp:1785
const LinInstr li253[]
Definition mm-lin.cpp:1205
const LinInstr li385[]
Definition mm-lin.cpp:1733
const LinInstr li315[]
Definition mm-lin.cpp:1453
const LinInstr li316[]
Definition mm-lin.cpp:1457
const LinInstr li160[]
Definition mm-lin.cpp:833
const LinInstr li062[]
Definition mm-lin.cpp:441
const LinInstr li200[]
Definition mm-lin.cpp:993
const LinInstr li104[]
Definition mm-lin.cpp:609
const LinInstr li066[]
Definition mm-lin.cpp:457
const LinInstr li284[]
Definition mm-lin.cpp:1329
const LinInstr li347[]
Definition mm-lin.cpp:1581
const LinInstr li019[]
Definition mm-lin.cpp:269
const LinInstr li148[]
Definition mm-lin.cpp:785
const LinInstr li201[]
Definition mm-lin.cpp:997
const LinInstr li308[]
Definition mm-lin.cpp:1425
const LinInstr li137[]
Definition mm-lin.cpp:741
const LinInstr li106[]
Definition mm-lin.cpp:617
const LinInstr li322[]
Definition mm-lin.cpp:1481
const LinInstr li157[]
Definition mm-lin.cpp:821
const LinInstr li159[]
Definition mm-lin.cpp:829
const LinInstr li063[]
Definition mm-lin.cpp:445
const LinInstr li194[]
Definition mm-lin.cpp:969
const LinInstr li354[]
Definition mm-lin.cpp:1609
const LinInstr li032[]
Definition mm-lin.cpp:321
const LinInstr li149[]
Definition mm-lin.cpp:789
const LinInstr li221[]
Definition mm-lin.cpp:1077
const LinInstr li370[]
Definition mm-lin.cpp:1673
const LinInstr li393[]
Definition mm-lin.cpp:1765
const LinInstr li071[]
Definition mm-lin.cpp:477
const LinInstr li103[]
Definition mm-lin.cpp:605
const LinInstr li235[]
Definition mm-lin.cpp:1133
const LinInstr li169[]
Definition mm-lin.cpp:869
const LinInstr li001[]
Definition mm-lin.cpp:197
const LinInstr li304[]
Definition mm-lin.cpp:1409
const LinInstr li069[]
Definition mm-lin.cpp:469
const LinInstr li005[]
Definition mm-lin.cpp:213
const LinInstr li357[]
Definition mm-lin.cpp:1621
const LinInstr li280[]
Definition mm-lin.cpp:1313
const LinInstr li093[]
Definition mm-lin.cpp:565
const LinInstr li252[]
Definition mm-lin.cpp:1201
const LinInstr li000[]
Definition mm-lin.cpp:193
const LinInstr li298[]
Definition mm-lin.cpp:1385
const LinInstr li015[]
Definition mm-lin.cpp:253
const LinInstr li254[]
Definition mm-lin.cpp:1209
const LinInstr li297[]
Definition mm-lin.cpp:1381
const LinInstr li008[]
Definition mm-lin.cpp:225
const LinInstr li288[]
Definition mm-lin.cpp:1345
const LinInstr li378[]
Definition mm-lin.cpp:1705
const LinInstr li251[]
Definition mm-lin.cpp:1197
const LinInstr li175[]
Definition mm-lin.cpp:893
const LinInstr li100[]
Definition mm-lin.cpp:593
const LinInstr li023[]
Definition mm-lin.cpp:285
const LinInstr li268[]
Definition mm-lin.cpp:1265
const LinInstr li320[]
Definition mm-lin.cpp:1473
const LinInstr li231[]
Definition mm-lin.cpp:1117
const LinInstr li129[]
Definition mm-lin.cpp:709
const LinInstr li363[]
Definition mm-lin.cpp:1645
const LinInstr li382[]
Definition mm-lin.cpp:1721
const LinInstr li155[]
Definition mm-lin.cpp:813
const LinInstr li224[]
Definition mm-lin.cpp:1089
const LinInstr li011[]
Definition mm-lin.cpp:237
const LinInstr li338[]
Definition mm-lin.cpp:1545
const LinInstr li059[]
Definition mm-lin.cpp:429
const LinInstr li265[]
Definition mm-lin.cpp:1253
const LinInstr li361[]
Definition mm-lin.cpp:1637
const LinInstr li365[]
Definition mm-lin.cpp:1653
const LinInstr li040[]
Definition mm-lin.cpp:353
const LinInstr li319[]
Definition mm-lin.cpp:1469
const LinInstr li258[]
Definition mm-lin.cpp:1225
const LinInstr li256[]
Definition mm-lin.cpp:1217
const LinInstr li088[]
Definition mm-lin.cpp:545
const LinInstr li151[]
Definition mm-lin.cpp:797
const LinInstr li054[]
Definition mm-lin.cpp:409
const LinInstr li153[]
Definition mm-lin.cpp:805
const LinInstr li082[]
Definition mm-lin.cpp:521
const LinInstr li158[]
Definition mm-lin.cpp:825
const LinInstr li117[]
Definition mm-lin.cpp:661
const LinInstr li131[]
Definition mm-lin.cpp:717
const LinInstr li078[]
Definition mm-lin.cpp:505
const LinInstr li360[]
Definition mm-lin.cpp:1633
const LinInstr li395[]
Definition mm-lin.cpp:1773
const LinInstr li310[]
Definition mm-lin.cpp:1433
const LinInstr li141[]
Definition mm-lin.cpp:757
const LinInstr li305[]
Definition mm-lin.cpp:1413
const LinInstr li058[]
Definition mm-lin.cpp:425
const LinInstr li397[]
Definition mm-lin.cpp:1781
const LinInstr li217[]
Definition mm-lin.cpp:1061
const LinInstr li387[]
Definition mm-lin.cpp:1741
const LinInstr li122[]
Definition mm-lin.cpp:681
const LinInstr li120[]
Definition mm-lin.cpp:673
const LinInstr li099[]
Definition mm-lin.cpp:589
const LinInstr li249[]
Definition mm-lin.cpp:1189
const LinInstr li183[]
Definition mm-lin.cpp:925
const LinInstr li261[]
Definition mm-lin.cpp:1237
const LinInstr li124[]
Definition mm-lin.cpp:689
const LinInstr li165[]
Definition mm-lin.cpp:853
const LinInstr li110[]
Definition mm-lin.cpp:633
const LinInstr li089[]
Definition mm-lin.cpp:549
const LinInstr li218[]
Definition mm-lin.cpp:1065
const LinInstr li138[]
Definition mm-lin.cpp:745
const LinInstr li342[]
Definition mm-lin.cpp:1561
const LinInstr li192[]
Definition mm-lin.cpp:961
const LinInstr li004[]
Definition mm-lin.cpp:209
const LinInstr li163[]
Definition mm-lin.cpp:845
const LinInstr li366[]
Definition mm-lin.cpp:1657
const LinInstr li399[]
Definition mm-lin.cpp:1789
const LinInstr li234[]
Definition mm-lin.cpp:1129
const LinInstr li026[]
Definition mm-lin.cpp:297
const LinInstr li233[]
Definition mm-lin.cpp:1125
const LinInstr li244[]
Definition mm-lin.cpp:1169
const LinInstr li101[]
Definition mm-lin.cpp:597
const LinInstr li285[]
Definition mm-lin.cpp:1333
const LinInstr li080[]
Definition mm-lin.cpp:513
const LinInstr li243[]
Definition mm-lin.cpp:1165
const LinInstr li125[]
Definition mm-lin.cpp:693
const LinInstr li302[]
Definition mm-lin.cpp:1401
const LinInstr li181[]
Definition mm-lin.cpp:917
const LinInstr li349[]
Definition mm-lin.cpp:1589
const LinInstr li294[]
Definition mm-lin.cpp:1369
const LinInstr li178[]
Definition mm-lin.cpp:905
const LinInstr li335[]
Definition mm-lin.cpp:1533
const LinInstr li193[]
Definition mm-lin.cpp:965
const LinInstr li013[]
Definition mm-lin.cpp:245
const LinInstr li237[]
Definition mm-lin.cpp:1141
const LinInstr li135[]
Definition mm-lin.cpp:733
const LinInstr li187[]
Definition mm-lin.cpp:941
const LinInstr li097[]
Definition mm-lin.cpp:581
const LinInstr li281[]
Definition mm-lin.cpp:1317
const LinInstr li018[]
Definition mm-lin.cpp:265
const LinInstr li109[]
Definition mm-lin.cpp:629
const LinInstr li204[]
Definition mm-lin.cpp:1009
const LinInstr li306[]
Definition mm-lin.cpp:1417
const LinInstr li199[]
Definition mm-lin.cpp:989
const LinInstr li057[]
Definition mm-lin.cpp:421
const LinInstr li012[]
Definition mm-lin.cpp:241
LinOpcode
Linear opcode.
Definition mm-lin.cpp:45
@ LO_AEC
Add expression and float.
Definition mm-lin.cpp:47
@ LO_MEC
Multiply constant and expression.
Definition mm-lin.cpp:54
@ LO_ACE
Add float and expression.
Definition mm-lin.cpp:46
@ LO_SEC
Subtract expression and float.
Definition mm-lin.cpp:50
@ LO_SEE
Subtract expressions.
Definition mm-lin.cpp:51
@ LO_SCE
Subtract float and expression.
Definition mm-lin.cpp:49
@ LO_HLT
Stop execution.
Definition mm-lin.cpp:55
@ LO_SE
Unary subtraction.
Definition mm-lin.cpp:52
@ LO_AEE
Add expressions.
Definition mm-lin.cpp:48
@ LO_MCE
Multiply constant and expression.
Definition mm-lin.cpp:53
const LinInstr li380[]
Definition mm-lin.cpp:1713
const LinInstr li270[]
Definition mm-lin.cpp:1273
const LinInstr li283[]
Definition mm-lin.cpp:1325
const LinInstr li188[]
Definition mm-lin.cpp:945
const LinInstr li136[]
Definition mm-lin.cpp:737
const LinInstr li029[]
Definition mm-lin.cpp:309
const LinInstr li301[]
Definition mm-lin.cpp:1397
const LinInstr li381[]
Definition mm-lin.cpp:1717
const LinInstr li211[]
Definition mm-lin.cpp:1037
const LinInstr li107[]
Definition mm-lin.cpp:621
const LinInstr li041[]
Definition mm-lin.cpp:357
const LinInstr li242[]
Definition mm-lin.cpp:1161
const LinInstr li303[]
Definition mm-lin.cpp:1405
const LinInstr li373[]
Definition mm-lin.cpp:1685
const LinInstr li278[]
Definition mm-lin.cpp:1305
const LinInstr li033[]
Definition mm-lin.cpp:325
const LinInstr li112[]
Definition mm-lin.cpp:641
const LinInstr li369[]
Definition mm-lin.cpp:1669
const LinInstr li271[]
Definition mm-lin.cpp:1277
const LinInstr li327[]
Definition mm-lin.cpp:1501
const LinInstr li034[]
Definition mm-lin.cpp:329
const LinInstr li359[]
Definition mm-lin.cpp:1629
General test support.
Definition afc.cpp:39
Region r
Definition region.cpp:65
#define GECODE_NEVER
Assert that this command is never executed.
Definition macros.hpp:56