mm-lin.cpp
Go to the documentation of this file.
/* -*- mode: C++; c-basic-offset: 2; indent-tabs-mode: nil -*- */
/*
* Main authors:
* Christian Schulte <schulte@gecode.org>
*
* Copyright:
* Christian Schulte, 2008
*
* This file is part of Gecode, the generic constraint
* development environment:
* http://www.gecode.org
*
* Permission is hereby granted, free of charge, to any person obtaining
* a copy of this software and associated documentation files (the
* "Software"), to deal in the Software without restriction, including
* without limitation the rights to use, copy, modify, merge, publish,
* distribute, sublicense, and/or sell copies of the Software, and to
* permit persons to whom the Software is furnished to do so, subject to
* the following conditions:
*
* The above copyright notice and this permission notice shall be
* included in all copies or substantial portions of the Software.
*
* THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
* EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
* MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
* NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
* LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
* OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
* WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
*
*/
#include "test/int.hh"
#include <gecode/minimodel.hh>
namespace Test { namespace Int {
namespace MiniModelLin {
enum LinOpcode {
LO_ACE,
LO_AEC,
LO_AEE,
LO_SCE,
LO_SEC,
LO_SEE,
LO_SE,
LO_MCE,
LO_MEC,
LO_HLT
};
class LinInstr {
public:
LinOpcode o;
unsigned char x, y, z;
int c;
};
template<class Expr>
Expr
eval(const LinInstr* pc, Expr reg[]) {
while (true) {
switch (pc->o) {
case LO_ACE: reg[pc->y] = pc->c + reg[pc->x]; break;
case LO_AEC: reg[pc->y] = reg[pc->x] + pc->c; break;
case LO_AEE: reg[pc->z] = reg[pc->x] + reg[pc->y]; break;
case LO_SCE: reg[pc->y] = pc->c - reg[pc->x]; break;
case LO_SEC: reg[pc->y] = reg[pc->x] - pc->c; break;
case LO_SEE: reg[pc->z] = reg[pc->x] - reg[pc->y]; break;
case LO_SE: reg[pc->y] = -reg[pc->x]; break;
case LO_MCE: reg[pc->y] = pc->c * reg[pc->x]; break;
case LO_MEC: reg[pc->y] = reg[pc->x] * pc->c; break;
case LO_HLT: return reg[pc->x];
default: GECODE_NEVER;
}
pc++;
}
GECODE_NEVER;
}
class LinExprInt : public Test {
protected:
const LinInstr* lis;
public:
LinExprInt(const LinInstr* lis0, const std::string& s)
: Test("MiniModel::LinExpr::Int::"+s,4,-3,3), lis(lis0) {
testfix = false;
}
virtual bool solution(const Assignment& x) const {
int reg[3] = {x[0],x[1],x[2]};
return eval(lis, reg) == x[3];
}
virtual void post(Gecode::Space& home, Gecode::IntVarArray& x) {
using namespace Gecode;
Gecode::LinIntExpr reg[3] = {x[0],x[1],x[2]};
rel(home, x[3], IRT_EQ, Gecode::expr(home, eval(lis,reg)));
}
};
class LinExprBool : public Test {
protected:
const LinInstr* lis;
public:
LinExprBool(const LinInstr* lis0, const std::string& s)
: Test("MiniModel::LinExpr::Bool::"+s,4,-3,3), lis(lis0) {
testfix = false;
}
virtual bool solution(const Assignment& x) const {
for (int i=3; i--; )
if ((x[i] < 0) || (x[i] > 1))
return false;
int reg[3] = {x[0],x[1],x[2]};
return eval(lis, reg) == x[3];
}
virtual void post(Gecode::Space& home, Gecode::IntVarArray& x) {
using namespace Gecode;
Gecode::LinIntExpr reg[3] = {
channel(home,x[0]),channel(home,x[1]),channel(home,x[2])
};
rel(home, x[3], IRT_EQ, Gecode::expr(home, eval(lis,reg)));
}
};
class LinExprMixed : public Test {
protected:
const LinInstr* lis;
public:
LinExprMixed(const LinInstr* lis0, const std::string& s)
: Test("MiniModel::LinExpr::Mixed::"+s,4,-3,3), lis(lis0) {
testfix = false;
}
virtual bool solution(const Assignment& x) const {
if ((x[2] < 0) || (x[2] > 1))
return false;
int reg[3] = {x[0],x[1],x[2]};
return eval(lis, reg) == x[3];
}
virtual void post(Gecode::Space& home, Gecode::IntVarArray& x) {
using namespace Gecode;
Gecode::LinIntExpr reg[3] = {
x[0],x[1],channel(home,x[2])
};
rel(home, x[3], IRT_EQ, Gecode::expr(home, eval(lis,reg)));
}
};
class LinRelInt : public Test {
protected:
const LinInstr* l_lis;
const LinInstr* r_lis;
Gecode::IntRelType irt;
public:
LinRelInt(const LinInstr* l_lis0, const LinInstr* r_lis0,
Gecode::IntRelType irt0, const std::string& s)
: Test("MiniModel::LinRel::Int::"+s+"::"+str(irt0),3,-3,3,true),
l_lis(l_lis0), r_lis(r_lis0), irt(irt0) {
testfix = false;
rms = (1 << Gecode::RM_EQV);
}
virtual bool solution(const Assignment& x) const {
int l_reg[3] = {x[0],x[1],x[2]};
int r_reg[3] = {x[0],x[1],x[2]};
return cmp(eval(l_lis,l_reg),irt,eval(r_lis,r_reg));
}
virtual void post(Gecode::Space& home, Gecode::IntVarArray& x) {
using namespace Gecode;
Gecode::LinIntExpr l_reg[3] = {x[0],x[1],x[2]};
Gecode::LinIntExpr r_reg[3] = {x[0],x[1],x[2]};
switch (irt) {
case IRT_EQ:
{
IntVar x = Gecode::expr(home,eval(l_lis,l_reg));
IntVar y = Gecode::expr(home,eval(r_lis,r_reg));
IntArgs a({1,-1});
IntVarArgs xy(2); xy[0]=x; xy[1]=y;
Gecode::rel(home, 0 == sum(a,xy));
}
break;
case IRT_NQ:
Gecode::rel(home, eval(l_lis,l_reg) - eval(r_lis,r_reg) != 0);
break;
case IRT_LQ:
Gecode::rel(home, !(eval(l_lis,l_reg) > eval(r_lis,r_reg)));
break;
case IRT_LE:
Gecode::rel(home, eval(l_lis,l_reg) < eval(r_lis,r_reg));
break;
case IRT_GQ:
Gecode::rel(home, eval(l_lis,l_reg) >= eval(r_lis,r_reg));
break;
case IRT_GR:
Gecode::rel(home, !(eval(l_lis,l_reg) <= eval(r_lis,r_reg)));
break;
default: GECODE_NEVER;
}
}
virtual void post(Gecode::Space& home, Gecode::IntVarArray& x,
Gecode::Reify r) {
using namespace Gecode;
assert(r.mode() == RM_EQV);
Gecode::LinIntExpr l_reg[3] = {x[0],x[1],x[2]};
Gecode::LinIntExpr r_reg[3] = {x[0],x[1],x[2]};
switch (irt) {
case IRT_EQ:
rel(home, Gecode::expr(home,
(eval(l_lis,l_reg)==eval(r_lis,r_reg))),
IRT_EQ, r.var());
break;
case IRT_NQ:
Gecode::rel(home,
(eval(l_lis,l_reg)!=eval(r_lis,r_reg)) == r.var());
break;
case IRT_LQ:
Gecode::rel(home,
!((eval(l_lis,l_reg)<=eval(r_lis,r_reg))^r.var()));
break;
case IRT_LE:
rel(home, Gecode::expr(home,
(eval(l_lis,l_reg)<eval(r_lis,r_reg))),
IRT_EQ, r.var());
break;
case IRT_GQ:
Gecode::rel(home,
(eval(l_lis,l_reg)>=eval(r_lis,r_reg)) == r.var());
break;
case IRT_GR:
Gecode::rel(home,
!((eval(l_lis,l_reg)>eval(r_lis,r_reg))^r.var()));
break;
default: GECODE_NEVER;
}
}
};
class LinRelBool : public Test {
protected:
const LinInstr* l_lis;
const LinInstr* r_lis;
Gecode::IntRelType irt;
public:
LinRelBool(const LinInstr* l_lis0, const LinInstr* r_lis0,
Gecode::IntRelType irt0, const std::string& s)
: Test("MiniModel::LinRel::Bool::"+s+"::"+str(irt0),3,0,1,true),
l_lis(l_lis0), r_lis(r_lis0), irt(irt0) {
testfix = false;
rms = (1 << Gecode::RM_EQV);
}
virtual bool solution(const Assignment& x) const {
int l_reg[3] = {x[0],x[1],x[2]};
int r_reg[3] = {x[0],x[1],x[2]};
return cmp(eval(l_lis,l_reg),irt,eval(r_lis,r_reg));
}
virtual void post(Gecode::Space& home, Gecode::IntVarArray& x) {
using namespace Gecode;
BoolVarArgs y(3);
y[0] = channel(home,x[0]); y[1] = channel(home,x[1]);
y[2] = channel(home,x[2]);
Gecode::LinIntExpr l_reg[3] = {y[0],y[1],y[2]};
Gecode::LinIntExpr r_reg[3] = {y[0],y[1],y[2]};
switch (irt) {
case IRT_EQ:
{
IntVar x = Gecode::expr(home,eval(l_lis,l_reg));
IntVar y = Gecode::expr(home,eval(r_lis,r_reg));
IntArgs a({-2,2});
IntVarArgs xy(2); xy[0]=x; xy[1]=y;
Gecode::rel(home, 0 == sum(a,xy));
}
break;
case IRT_NQ:
Gecode::rel(home, eval(l_lis,l_reg) - eval(r_lis,r_reg) != 0);
break;
case IRT_LQ:
Gecode::rel(home, !(eval(l_lis,l_reg) > eval(r_lis,r_reg)));
break;
case IRT_LE:
Gecode::rel(home, eval(l_lis,l_reg) < eval(r_lis,r_reg));
break;
case IRT_GQ:
Gecode::rel(home, eval(l_lis,l_reg) >= eval(r_lis,r_reg));
break;
case IRT_GR:
Gecode::rel(home, !(eval(l_lis,l_reg) <= eval(r_lis,r_reg)));
break;
default: GECODE_NEVER;
}
}
virtual void post(Gecode::Space& home, Gecode::IntVarArray& x,
Gecode::Reify r) {
using namespace Gecode;
assert(r.mode() == RM_EQV);
BoolVarArgs y(3);
y[0] = channel(home,x[0]); y[1] = channel(home,x[1]);
y[2] = channel(home,x[2]);
Gecode::LinIntExpr l_reg[3] = {y[0],y[1],y[2]};
Gecode::LinIntExpr r_reg[3] = {y[0],y[1],y[2]};
switch (irt) {
case IRT_EQ:
rel(home, Gecode::expr(home,
(eval(l_lis,l_reg)==eval(r_lis,r_reg))),
IRT_EQ, r.var());
break;
case IRT_NQ:
Gecode::rel(home,
(eval(l_lis,l_reg)!=eval(r_lis,r_reg)) == r.var());
break;
case IRT_LQ:
Gecode::rel(home,
!((eval(l_lis,l_reg)<=eval(r_lis,r_reg))^r.var()));
break;
case IRT_LE:
rel(home, Gecode::expr(home,
(eval(l_lis,l_reg)<eval(r_lis,r_reg))),
IRT_EQ, r.var());
break;
case IRT_GQ:
Gecode::rel(home,
(eval(l_lis,l_reg)>=eval(r_lis,r_reg)) == r.var());
break;
case IRT_GR:
Gecode::rel(home,
!((eval(l_lis,l_reg)>eval(r_lis,r_reg))^r.var()));
break;
default: GECODE_NEVER;
}
}
};
class LinRelMixed : public Test {
protected:
const LinInstr* l_lis;
const LinInstr* r_lis;
Gecode::IntRelType irt;
public:
LinRelMixed(const LinInstr* l_lis0, const LinInstr* r_lis0,
Gecode::IntRelType irt0, const std::string& s)
: Test("MiniModel::LinRel::Mixed::"+s+"::"+str(irt0),6,0,1,true),
l_lis(l_lis0), r_lis(r_lis0), irt(irt0) {
testfix = false;
rms = (1 << Gecode::RM_EQV);
}
virtual bool solution(const Assignment& x) const {
int l_reg[3] = {x[0],x[1],x[2]};
int r_reg[3] = {x[3],x[4],x[5]};
return cmp(eval(l_lis,l_reg),irt,eval(r_lis,r_reg));
}
virtual void post(Gecode::Space& home, Gecode::IntVarArray& x) {
using namespace Gecode;
Gecode::LinIntExpr l_reg[3] = {channel(home,x[0]),x[1],x[2]};
Gecode::LinIntExpr r_reg[3] = {channel(home,x[3]),x[4],
channel(home,x[5])};
switch (irt) {
case IRT_EQ:
Gecode::rel(home, 0 == eval(l_lis,l_reg) - eval(r_lis,r_reg));
break;
case IRT_NQ:
Gecode::rel(home, eval(l_lis,l_reg) - eval(r_lis,r_reg) != 0);
break;
case IRT_LQ:
Gecode::rel(home, !(eval(l_lis,l_reg) > eval(r_lis,r_reg)));
break;
case IRT_LE:
Gecode::rel(home, eval(l_lis,l_reg) < eval(r_lis,r_reg));
break;
case IRT_GQ:
Gecode::rel(home, eval(l_lis,l_reg) >= eval(r_lis,r_reg));
break;
case IRT_GR:
Gecode::rel(home, !(eval(l_lis,l_reg) <= eval(r_lis,r_reg)));
break;
default: GECODE_NEVER;
}
}
virtual void post(Gecode::Space& home, Gecode::IntVarArray& x,
Gecode::Reify r) {
using namespace Gecode;
assert(r.mode() == RM_EQV);
Gecode::LinIntExpr l_reg[3] = {channel(home,x[0]),x[1],x[2]};
Gecode::LinIntExpr r_reg[3] = {channel(home,x[3]),x[4],
channel(home,x[5])};
switch (irt) {
case IRT_EQ:
rel(home, Gecode::expr(home,
(eval(l_lis,l_reg)==eval(r_lis,r_reg))),
IRT_EQ, r.var());
break;
case IRT_NQ:
rel(home, Gecode::expr(home,
(eval(l_lis,l_reg)!=eval(r_lis,r_reg))),
IRT_EQ, r.var());
break;
case IRT_LQ:
rel(home, Gecode::expr(home,
(eval(l_lis,l_reg)<=eval(r_lis,r_reg))),
IRT_EQ, r.var());
break;
case IRT_LE:
rel(home, Gecode::expr(home,
(eval(l_lis,l_reg)<eval(r_lis,r_reg))),
IRT_EQ, r.var());
break;
case IRT_GQ:
rel(home, Gecode::expr(home,
(eval(l_lis,l_reg)>=eval(r_lis,r_reg))),
IRT_EQ, r.var());
break;
case IRT_GR:
rel(home, Gecode::expr(home,
(eval(l_lis,l_reg)>eval(r_lis,r_reg))),
IRT_EQ, r.var());
break;
default: GECODE_NEVER;
}
}
};
const LinInstr li000[] = {
{LO_AEE,0,1,0, 0},{LO_AEC,0,0,0,-2},{LO_AEE,0,2,0, 0},
{LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
};
const LinInstr li001[] = {
{LO_AEE,0,1,0, 0},{LO_AEC,0,0,0,-2},{LO_AEE,0,2,0, 0},
{LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
};
const LinInstr li002[] = {
{LO_AEE,0,1,0, 0},{LO_AEC,0,0,0,-2},{LO_AEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li003[] = {
{LO_AEE,0,1,0, 0},{LO_AEC,0,0,0,-2},{LO_AEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li004[] = {
{LO_AEE,0,1,0, 0},{LO_AEC,0,0,0,-2},{LO_SEE,0,2,0, 0},
{LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
};
const LinInstr li005[] = {
{LO_AEE,0,1,0, 0},{LO_AEC,0,0,0,-2},{LO_SEE,0,2,0, 0},
{LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
};
const LinInstr li006[] = {
{LO_AEE,0,1,0, 0},{LO_AEC,0,0,0,-2},{LO_SEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li007[] = {
{LO_AEE,0,1,0, 0},{LO_AEC,0,0,0,-2},{LO_SEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li008[] = {
{LO_AEE,0,1,0, 0},{LO_AEC,0,0,0,-1},{LO_AEE,0,2,0, 0},
{LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
};
const LinInstr li009[] = {
{LO_AEE,0,1,0, 0},{LO_AEC,0,0,0,-1},{LO_AEE,0,2,0, 0},
{LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
};
const LinInstr li010[] = {
{LO_AEE,0,1,0, 0},{LO_AEC,0,0,0,-1},{LO_AEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li011[] = {
{LO_AEE,0,1,0, 0},{LO_AEC,0,0,0,-1},{LO_AEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li012[] = {
{LO_AEE,0,1,0, 0},{LO_AEC,0,0,0,-1},{LO_SEE,0,2,0, 0},
{LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
};
const LinInstr li013[] = {
{LO_AEE,0,1,0, 0},{LO_AEC,0,0,0,-1},{LO_SEE,0,2,0, 0},
{LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
};
const LinInstr li014[] = {
{LO_AEE,0,1,0, 0},{LO_AEC,0,0,0,-1},{LO_SEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li015[] = {
{LO_AEE,0,1,0, 0},{LO_AEC,0,0,0,-1},{LO_SEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li016[] = {
{LO_AEE,0,1,0, 0},{LO_AEC,0,0,0, 0},{LO_AEE,0,2,0, 0},
{LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
};
const LinInstr li017[] = {
{LO_AEE,0,1,0, 0},{LO_AEC,0,0,0, 0},{LO_AEE,0,2,0, 0},
{LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
};
const LinInstr li018[] = {
{LO_AEE,0,1,0, 0},{LO_AEC,0,0,0, 0},{LO_AEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li019[] = {
{LO_AEE,0,1,0, 0},{LO_AEC,0,0,0, 0},{LO_AEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li020[] = {
{LO_AEE,0,1,0, 0},{LO_AEC,0,0,0, 0},{LO_SEE,0,2,0, 0},
{LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
};
const LinInstr li021[] = {
{LO_AEE,0,1,0, 0},{LO_AEC,0,0,0, 0},{LO_SEE,0,2,0, 0},
{LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
};
const LinInstr li022[] = {
{LO_AEE,0,1,0, 0},{LO_AEC,0,0,0, 0},{LO_SEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li023[] = {
{LO_AEE,0,1,0, 0},{LO_AEC,0,0,0, 0},{LO_SEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li024[] = {
{LO_AEE,0,1,0, 0},{LO_AEC,0,0,0, 1},{LO_AEE,0,2,0, 0},
{LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
};
const LinInstr li025[] = {
{LO_AEE,0,1,0, 0},{LO_AEC,0,0,0, 1},{LO_AEE,0,2,0, 0},
{LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
};
const LinInstr li026[] = {
{LO_AEE,0,1,0, 0},{LO_AEC,0,0,0, 1},{LO_AEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li027[] = {
{LO_AEE,0,1,0, 0},{LO_AEC,0,0,0, 1},{LO_AEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li028[] = {
{LO_AEE,0,1,0, 0},{LO_AEC,0,0,0, 1},{LO_SEE,0,2,0, 0},
{LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
};
const LinInstr li029[] = {
{LO_AEE,0,1,0, 0},{LO_AEC,0,0,0, 1},{LO_SEE,0,2,0, 0},
{LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
};
const LinInstr li030[] = {
{LO_AEE,0,1,0, 0},{LO_AEC,0,0,0, 1},{LO_SEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li031[] = {
{LO_AEE,0,1,0, 0},{LO_AEC,0,0,0, 1},{LO_SEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li032[] = {
{LO_AEE,0,1,0, 0},{LO_AEC,0,0,0, 2},{LO_AEE,0,2,0, 0},
{LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
};
const LinInstr li033[] = {
{LO_AEE,0,1,0, 0},{LO_AEC,0,0,0, 2},{LO_AEE,0,2,0, 0},
{LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
};
const LinInstr li034[] = {
{LO_AEE,0,1,0, 0},{LO_AEC,0,0,0, 2},{LO_AEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li035[] = {
{LO_AEE,0,1,0, 0},{LO_AEC,0,0,0, 2},{LO_AEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li036[] = {
{LO_AEE,0,1,0, 0},{LO_AEC,0,0,0, 2},{LO_SEE,0,2,0, 0},
{LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
};
const LinInstr li037[] = {
{LO_AEE,0,1,0, 0},{LO_AEC,0,0,0, 2},{LO_SEE,0,2,0, 0},
{LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
};
const LinInstr li038[] = {
{LO_AEE,0,1,0, 0},{LO_AEC,0,0,0, 2},{LO_SEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li039[] = {
{LO_AEE,0,1,0, 0},{LO_AEC,0,0,0, 2},{LO_SEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li040[] = {
{LO_AEE,0,1,0, 0},{LO_SCE,0,0,0,-2},{LO_AEE,0,2,0, 0},
{LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
};
const LinInstr li041[] = {
{LO_AEE,0,1,0, 0},{LO_SCE,0,0,0,-2},{LO_AEE,0,2,0, 0},
{LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
};
const LinInstr li042[] = {
{LO_AEE,0,1,0, 0},{LO_SCE,0,0,0,-2},{LO_AEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li043[] = {
{LO_AEE,0,1,0, 0},{LO_SCE,0,0,0,-2},{LO_AEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li044[] = {
{LO_AEE,0,1,0, 0},{LO_SCE,0,0,0,-2},{LO_SEE,0,2,0, 0},
{LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
};
const LinInstr li045[] = {
{LO_AEE,0,1,0, 0},{LO_SCE,0,0,0,-2},{LO_SEE,0,2,0, 0},
{LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
};
const LinInstr li046[] = {
{LO_AEE,0,1,0, 0},{LO_SCE,0,0,0,-2},{LO_SEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li047[] = {
{LO_AEE,0,1,0, 0},{LO_SCE,0,0,0,-2},{LO_SEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li048[] = {
{LO_AEE,0,1,0, 0},{LO_SCE,0,0,0,-1},{LO_AEE,0,2,0, 0},
{LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
};
const LinInstr li049[] = {
{LO_AEE,0,1,0, 0},{LO_SCE,0,0,0,-1},{LO_AEE,0,2,0, 0},
{LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
};
const LinInstr li050[] = {
{LO_AEE,0,1,0, 0},{LO_SCE,0,0,0,-1},{LO_AEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li051[] = {
{LO_AEE,0,1,0, 0},{LO_SCE,0,0,0,-1},{LO_AEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li052[] = {
{LO_AEE,0,1,0, 0},{LO_SCE,0,0,0,-1},{LO_SEE,0,2,0, 0},
{LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
};
const LinInstr li053[] = {
{LO_AEE,0,1,0, 0},{LO_SCE,0,0,0,-1},{LO_SEE,0,2,0, 0},
{LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
};
const LinInstr li054[] = {
{LO_AEE,0,1,0, 0},{LO_SCE,0,0,0,-1},{LO_SEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li055[] = {
{LO_AEE,0,1,0, 0},{LO_SCE,0,0,0,-1},{LO_SEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li056[] = {
{LO_AEE,0,1,0, 0},{LO_SCE,0,0,0, 0},{LO_AEE,0,2,0, 0},
{LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
};
const LinInstr li057[] = {
{LO_AEE,0,1,0, 0},{LO_SCE,0,0,0, 0},{LO_AEE,0,2,0, 0},
{LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
};
const LinInstr li058[] = {
{LO_AEE,0,1,0, 0},{LO_SCE,0,0,0, 0},{LO_AEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li059[] = {
{LO_AEE,0,1,0, 0},{LO_SCE,0,0,0, 0},{LO_AEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li060[] = {
{LO_AEE,0,1,0, 0},{LO_SCE,0,0,0, 0},{LO_SEE,0,2,0, 0},
{LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
};
const LinInstr li061[] = {
{LO_AEE,0,1,0, 0},{LO_SCE,0,0,0, 0},{LO_SEE,0,2,0, 0},
{LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
};
const LinInstr li062[] = {
{LO_AEE,0,1,0, 0},{LO_SCE,0,0,0, 0},{LO_SEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li063[] = {
{LO_AEE,0,1,0, 0},{LO_SCE,0,0,0, 0},{LO_SEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li064[] = {
{LO_AEE,0,1,0, 0},{LO_SCE,0,0,0, 1},{LO_AEE,0,2,0, 0},
{LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
};
const LinInstr li065[] = {
{LO_AEE,0,1,0, 0},{LO_SCE,0,0,0, 1},{LO_AEE,0,2,0, 0},
{LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
};
const LinInstr li066[] = {
{LO_AEE,0,1,0, 0},{LO_SCE,0,0,0, 1},{LO_AEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li067[] = {
{LO_AEE,0,1,0, 0},{LO_SCE,0,0,0, 1},{LO_AEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li068[] = {
{LO_AEE,0,1,0, 0},{LO_SCE,0,0,0, 1},{LO_SEE,0,2,0, 0},
{LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
};
const LinInstr li069[] = {
{LO_AEE,0,1,0, 0},{LO_SCE,0,0,0, 1},{LO_SEE,0,2,0, 0},
{LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
};
const LinInstr li070[] = {
{LO_AEE,0,1,0, 0},{LO_SCE,0,0,0, 1},{LO_SEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li071[] = {
{LO_AEE,0,1,0, 0},{LO_SCE,0,0,0, 1},{LO_SEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li072[] = {
{LO_AEE,0,1,0, 0},{LO_SCE,0,0,0, 2},{LO_AEE,0,2,0, 0},
{LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
};
const LinInstr li073[] = {
{LO_AEE,0,1,0, 0},{LO_SCE,0,0,0, 2},{LO_AEE,0,2,0, 0},
{LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
};
const LinInstr li074[] = {
{LO_AEE,0,1,0, 0},{LO_SCE,0,0,0, 2},{LO_AEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li075[] = {
{LO_AEE,0,1,0, 0},{LO_SCE,0,0,0, 2},{LO_AEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li076[] = {
{LO_AEE,0,1,0, 0},{LO_SCE,0,0,0, 2},{LO_SEE,0,2,0, 0},
{LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
};
const LinInstr li077[] = {
{LO_AEE,0,1,0, 0},{LO_SCE,0,0,0, 2},{LO_SEE,0,2,0, 0},
{LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
};
const LinInstr li078[] = {
{LO_AEE,0,1,0, 0},{LO_SCE,0,0,0, 2},{LO_SEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li079[] = {
{LO_AEE,0,1,0, 0},{LO_SCE,0,0,0, 2},{LO_SEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li080[] = {
{LO_AEE,0,1,0, 0},{LO_SEC,0,0,0,-2},{LO_AEE,0,2,0, 0},
{LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
};
const LinInstr li081[] = {
{LO_AEE,0,1,0, 0},{LO_SEC,0,0,0,-2},{LO_AEE,0,2,0, 0},
{LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
};
const LinInstr li082[] = {
{LO_AEE,0,1,0, 0},{LO_SEC,0,0,0,-2},{LO_AEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li083[] = {
{LO_AEE,0,1,0, 0},{LO_SEC,0,0,0,-2},{LO_AEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li084[] = {
{LO_AEE,0,1,0, 0},{LO_SEC,0,0,0,-2},{LO_SEE,0,2,0, 0},
{LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
};
const LinInstr li085[] = {
{LO_AEE,0,1,0, 0},{LO_SEC,0,0,0,-2},{LO_SEE,0,2,0, 0},
{LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
};
const LinInstr li086[] = {
{LO_AEE,0,1,0, 0},{LO_SEC,0,0,0,-2},{LO_SEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li087[] = {
{LO_AEE,0,1,0, 0},{LO_SEC,0,0,0,-2},{LO_SEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li088[] = {
{LO_AEE,0,1,0, 0},{LO_SEC,0,0,0,-1},{LO_AEE,0,2,0, 0},
{LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
};
const LinInstr li089[] = {
{LO_AEE,0,1,0, 0},{LO_SEC,0,0,0,-1},{LO_AEE,0,2,0, 0},
{LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
};
const LinInstr li090[] = {
{LO_AEE,0,1,0, 0},{LO_SEC,0,0,0,-1},{LO_AEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li091[] = {
{LO_AEE,0,1,0, 0},{LO_SEC,0,0,0,-1},{LO_AEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li092[] = {
{LO_AEE,0,1,0, 0},{LO_SEC,0,0,0,-1},{LO_SEE,0,2,0, 0},
{LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
};
const LinInstr li093[] = {
{LO_AEE,0,1,0, 0},{LO_SEC,0,0,0,-1},{LO_SEE,0,2,0, 0},
{LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
};
const LinInstr li094[] = {
{LO_AEE,0,1,0, 0},{LO_SEC,0,0,0,-1},{LO_SEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li095[] = {
{LO_AEE,0,1,0, 0},{LO_SEC,0,0,0,-1},{LO_SEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li096[] = {
{LO_AEE,0,1,0, 0},{LO_SEC,0,0,0, 0},{LO_AEE,0,2,0, 0},
{LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
};
const LinInstr li097[] = {
{LO_AEE,0,1,0, 0},{LO_SEC,0,0,0, 0},{LO_AEE,0,2,0, 0},
{LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
};
const LinInstr li098[] = {
{LO_AEE,0,1,0, 0},{LO_SEC,0,0,0, 0},{LO_AEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li099[] = {
{LO_AEE,0,1,0, 0},{LO_SEC,0,0,0, 0},{LO_AEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li100[] = {
{LO_AEE,0,1,0, 0},{LO_SEC,0,0,0, 0},{LO_SEE,0,2,0, 0},
{LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
};
const LinInstr li101[] = {
{LO_AEE,0,1,0, 0},{LO_SEC,0,0,0, 0},{LO_SEE,0,2,0, 0},
{LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
};
const LinInstr li102[] = {
{LO_AEE,0,1,0, 0},{LO_SEC,0,0,0, 0},{LO_SEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li103[] = {
{LO_AEE,0,1,0, 0},{LO_SEC,0,0,0, 0},{LO_SEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li104[] = {
{LO_AEE,0,1,0, 0},{LO_SEC,0,0,0, 1},{LO_AEE,0,2,0, 0},
{LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
};
const LinInstr li105[] = {
{LO_AEE,0,1,0, 0},{LO_SEC,0,0,0, 1},{LO_AEE,0,2,0, 0},
{LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
};
const LinInstr li106[] = {
{LO_AEE,0,1,0, 0},{LO_SEC,0,0,0, 1},{LO_AEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li107[] = {
{LO_AEE,0,1,0, 0},{LO_SEC,0,0,0, 1},{LO_AEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li108[] = {
{LO_AEE,0,1,0, 0},{LO_SEC,0,0,0, 1},{LO_SEE,0,2,0, 0},
{LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
};
const LinInstr li109[] = {
{LO_AEE,0,1,0, 0},{LO_SEC,0,0,0, 1},{LO_SEE,0,2,0, 0},
{LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
};
const LinInstr li110[] = {
{LO_AEE,0,1,0, 0},{LO_SEC,0,0,0, 1},{LO_SEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li111[] = {
{LO_AEE,0,1,0, 0},{LO_SEC,0,0,0, 1},{LO_SEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li112[] = {
{LO_AEE,0,1,0, 0},{LO_SEC,0,0,0, 2},{LO_AEE,0,2,0, 0},
{LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
};
const LinInstr li113[] = {
{LO_AEE,0,1,0, 0},{LO_SEC,0,0,0, 2},{LO_AEE,0,2,0, 0},
{LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
};
const LinInstr li114[] = {
{LO_AEE,0,1,0, 0},{LO_SEC,0,0,0, 2},{LO_AEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li115[] = {
{LO_AEE,0,1,0, 0},{LO_SEC,0,0,0, 2},{LO_AEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li116[] = {
{LO_AEE,0,1,0, 0},{LO_SEC,0,0,0, 2},{LO_SEE,0,2,0, 0},
{LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
};
const LinInstr li117[] = {
{LO_AEE,0,1,0, 0},{LO_SEC,0,0,0, 2},{LO_SEE,0,2,0, 0},
{LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
};
const LinInstr li118[] = {
{LO_AEE,0,1,0, 0},{LO_SEC,0,0,0, 2},{LO_SEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li119[] = {
{LO_AEE,0,1,0, 0},{LO_SEC,0,0,0, 2},{LO_SEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li120[] = {
{LO_AEE,0,1,0, 0},{LO_MCE,0,0,0,-2},{LO_AEE,0,2,0, 0},
{LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
};
const LinInstr li121[] = {
{LO_AEE,0,1,0, 0},{LO_MCE,0,0,0,-2},{LO_AEE,0,2,0, 0},
{LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
};
const LinInstr li122[] = {
{LO_AEE,0,1,0, 0},{LO_MCE,0,0,0,-2},{LO_AEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li123[] = {
{LO_AEE,0,1,0, 0},{LO_MCE,0,0,0,-2},{LO_AEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li124[] = {
{LO_AEE,0,1,0, 0},{LO_MCE,0,0,0,-2},{LO_SEE,0,2,0, 0},
{LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
};
const LinInstr li125[] = {
{LO_AEE,0,1,0, 0},{LO_MCE,0,0,0,-2},{LO_SEE,0,2,0, 0},
{LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
};
const LinInstr li126[] = {
{LO_AEE,0,1,0, 0},{LO_MCE,0,0,0,-2},{LO_SEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li127[] = {
{LO_AEE,0,1,0, 0},{LO_MCE,0,0,0,-2},{LO_SEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li128[] = {
{LO_AEE,0,1,0, 0},{LO_MCE,0,0,0,-1},{LO_AEE,0,2,0, 0},
{LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
};
const LinInstr li129[] = {
{LO_AEE,0,1,0, 0},{LO_MCE,0,0,0,-1},{LO_AEE,0,2,0, 0},
{LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
};
const LinInstr li130[] = {
{LO_AEE,0,1,0, 0},{LO_MCE,0,0,0,-1},{LO_AEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li131[] = {
{LO_AEE,0,1,0, 0},{LO_MCE,0,0,0,-1},{LO_AEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li132[] = {
{LO_AEE,0,1,0, 0},{LO_MCE,0,0,0,-1},{LO_SEE,0,2,0, 0},
{LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
};
const LinInstr li133[] = {
{LO_AEE,0,1,0, 0},{LO_MCE,0,0,0,-1},{LO_SEE,0,2,0, 0},
{LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
};
const LinInstr li134[] = {
{LO_AEE,0,1,0, 0},{LO_MCE,0,0,0,-1},{LO_SEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li135[] = {
{LO_AEE,0,1,0, 0},{LO_MCE,0,0,0,-1},{LO_SEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li136[] = {
{LO_AEE,0,1,0, 0},{LO_MCE,0,0,0, 0},{LO_AEE,0,2,0, 0},
{LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
};
const LinInstr li137[] = {
{LO_AEE,0,1,0, 0},{LO_MCE,0,0,0, 0},{LO_AEE,0,2,0, 0},
{LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
};
const LinInstr li138[] = {
{LO_AEE,0,1,0, 0},{LO_MCE,0,0,0, 0},{LO_AEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li139[] = {
{LO_AEE,0,1,0, 0},{LO_MCE,0,0,0, 0},{LO_AEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li140[] = {
{LO_AEE,0,1,0, 0},{LO_MCE,0,0,0, 0},{LO_SEE,0,2,0, 0},
{LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
};
const LinInstr li141[] = {
{LO_AEE,0,1,0, 0},{LO_MCE,0,0,0, 0},{LO_SEE,0,2,0, 0},
{LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
};
const LinInstr li142[] = {
{LO_AEE,0,1,0, 0},{LO_MCE,0,0,0, 0},{LO_SEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li143[] = {
{LO_AEE,0,1,0, 0},{LO_MCE,0,0,0, 0},{LO_SEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li144[] = {
{LO_AEE,0,1,0, 0},{LO_MCE,0,0,0, 1},{LO_AEE,0,2,0, 0},
{LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
};
const LinInstr li145[] = {
{LO_AEE,0,1,0, 0},{LO_MCE,0,0,0, 1},{LO_AEE,0,2,0, 0},
{LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
};
const LinInstr li146[] = {
{LO_AEE,0,1,0, 0},{LO_MCE,0,0,0, 1},{LO_AEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li147[] = {
{LO_AEE,0,1,0, 0},{LO_MCE,0,0,0, 1},{LO_AEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li148[] = {
{LO_AEE,0,1,0, 0},{LO_MCE,0,0,0, 1},{LO_SEE,0,2,0, 0},
{LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
};
const LinInstr li149[] = {
{LO_AEE,0,1,0, 0},{LO_MCE,0,0,0, 1},{LO_SEE,0,2,0, 0},
{LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
};
const LinInstr li150[] = {
{LO_AEE,0,1,0, 0},{LO_MCE,0,0,0, 1},{LO_SEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li151[] = {
{LO_AEE,0,1,0, 0},{LO_MCE,0,0,0, 1},{LO_SEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li152[] = {
{LO_AEE,0,1,0, 0},{LO_MCE,0,0,0, 2},{LO_AEE,0,2,0, 0},
{LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
};
const LinInstr li153[] = {
{LO_AEE,0,1,0, 0},{LO_MCE,0,0,0, 2},{LO_AEE,0,2,0, 0},
{LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
};
const LinInstr li154[] = {
{LO_AEE,0,1,0, 0},{LO_MCE,0,0,0, 2},{LO_AEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li155[] = {
{LO_AEE,0,1,0, 0},{LO_MCE,0,0,0, 2},{LO_AEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li156[] = {
{LO_AEE,0,1,0, 0},{LO_MCE,0,0,0, 2},{LO_SEE,0,2,0, 0},
{LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
};
const LinInstr li157[] = {
{LO_AEE,0,1,0, 0},{LO_MCE,0,0,0, 2},{LO_SEE,0,2,0, 0},
{LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
};
const LinInstr li158[] = {
{LO_AEE,0,1,0, 0},{LO_MCE,0,0,0, 2},{LO_SEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li159[] = {
{LO_AEE,0,1,0, 0},{LO_MCE,0,0,0, 2},{LO_SEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li160[] = {
{LO_AEE,0,1,0, 0},{LO_MEC,0,0,0,-2},{LO_AEE,0,2,0, 0},
{LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
};
const LinInstr li161[] = {
{LO_AEE,0,1,0, 0},{LO_MEC,0,0,0,-2},{LO_AEE,0,2,0, 0},
{LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
};
const LinInstr li162[] = {
{LO_AEE,0,1,0, 0},{LO_MEC,0,0,0,-2},{LO_AEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li163[] = {
{LO_AEE,0,1,0, 0},{LO_MEC,0,0,0,-2},{LO_AEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li164[] = {
{LO_AEE,0,1,0, 0},{LO_MEC,0,0,0,-2},{LO_SEE,0,2,0, 0},
{LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
};
const LinInstr li165[] = {
{LO_AEE,0,1,0, 0},{LO_MEC,0,0,0,-2},{LO_SEE,0,2,0, 0},
{LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
};
const LinInstr li166[] = {
{LO_AEE,0,1,0, 0},{LO_MEC,0,0,0,-2},{LO_SEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li167[] = {
{LO_AEE,0,1,0, 0},{LO_MEC,0,0,0,-2},{LO_SEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li168[] = {
{LO_AEE,0,1,0, 0},{LO_MEC,0,0,0,-1},{LO_AEE,0,2,0, 0},
{LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
};
const LinInstr li169[] = {
{LO_AEE,0,1,0, 0},{LO_MEC,0,0,0,-1},{LO_AEE,0,2,0, 0},
{LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
};
const LinInstr li170[] = {
{LO_AEE,0,1,0, 0},{LO_MEC,0,0,0,-1},{LO_AEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li171[] = {
{LO_AEE,0,1,0, 0},{LO_MEC,0,0,0,-1},{LO_AEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li172[] = {
{LO_AEE,0,1,0, 0},{LO_MEC,0,0,0,-1},{LO_SEE,0,2,0, 0},
{LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
};
const LinInstr li173[] = {
{LO_AEE,0,1,0, 0},{LO_MEC,0,0,0,-1},{LO_SEE,0,2,0, 0},
{LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
};
const LinInstr li174[] = {
{LO_AEE,0,1,0, 0},{LO_MEC,0,0,0,-1},{LO_SEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li175[] = {
{LO_AEE,0,1,0, 0},{LO_MEC,0,0,0,-1},{LO_SEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li176[] = {
{LO_AEE,0,1,0, 0},{LO_MEC,0,0,0, 0},{LO_AEE,0,2,0, 0},
{LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
};
const LinInstr li177[] = {
{LO_AEE,0,1,0, 0},{LO_MEC,0,0,0, 0},{LO_AEE,0,2,0, 0},
{LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
};
const LinInstr li178[] = {
{LO_AEE,0,1,0, 0},{LO_MEC,0,0,0, 0},{LO_AEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li179[] = {
{LO_AEE,0,1,0, 0},{LO_MEC,0,0,0, 0},{LO_AEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li180[] = {
{LO_AEE,0,1,0, 0},{LO_MEC,0,0,0, 0},{LO_SEE,0,2,0, 0},
{LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
};
const LinInstr li181[] = {
{LO_AEE,0,1,0, 0},{LO_MEC,0,0,0, 0},{LO_SEE,0,2,0, 0},
{LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
};
const LinInstr li182[] = {
{LO_AEE,0,1,0, 0},{LO_MEC,0,0,0, 0},{LO_SEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li183[] = {
{LO_AEE,0,1,0, 0},{LO_MEC,0,0,0, 0},{LO_SEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li184[] = {
{LO_AEE,0,1,0, 0},{LO_MEC,0,0,0, 1},{LO_AEE,0,2,0, 0},
{LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
};
const LinInstr li185[] = {
{LO_AEE,0,1,0, 0},{LO_MEC,0,0,0, 1},{LO_AEE,0,2,0, 0},
{LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
};
const LinInstr li186[] = {
{LO_AEE,0,1,0, 0},{LO_MEC,0,0,0, 1},{LO_AEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li187[] = {
{LO_AEE,0,1,0, 0},{LO_MEC,0,0,0, 1},{LO_AEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li188[] = {
{LO_AEE,0,1,0, 0},{LO_MEC,0,0,0, 1},{LO_SEE,0,2,0, 0},
{LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
};
const LinInstr li189[] = {
{LO_AEE,0,1,0, 0},{LO_MEC,0,0,0, 1},{LO_SEE,0,2,0, 0},
{LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
};
const LinInstr li190[] = {
{LO_AEE,0,1,0, 0},{LO_MEC,0,0,0, 1},{LO_SEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li191[] = {
{LO_AEE,0,1,0, 0},{LO_MEC,0,0,0, 1},{LO_SEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li192[] = {
{LO_AEE,0,1,0, 0},{LO_MEC,0,0,0, 2},{LO_AEE,0,2,0, 0},
{LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
};
const LinInstr li193[] = {
{LO_AEE,0,1,0, 0},{LO_MEC,0,0,0, 2},{LO_AEE,0,2,0, 0},
{LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
};
const LinInstr li194[] = {
{LO_AEE,0,1,0, 0},{LO_MEC,0,0,0, 2},{LO_AEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li195[] = {
{LO_AEE,0,1,0, 0},{LO_MEC,0,0,0, 2},{LO_AEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li196[] = {
{LO_AEE,0,1,0, 0},{LO_MEC,0,0,0, 2},{LO_SEE,0,2,0, 0},
{LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
};
const LinInstr li197[] = {
{LO_AEE,0,1,0, 0},{LO_MEC,0,0,0, 2},{LO_SEE,0,2,0, 0},
{LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
};
const LinInstr li198[] = {
{LO_AEE,0,1,0, 0},{LO_MEC,0,0,0, 2},{LO_SEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li199[] = {
{LO_AEE,0,1,0, 0},{LO_MEC,0,0,0, 2},{LO_SEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li200[] = {
{LO_SEE,0,1,0, 0},{LO_AEC,0,0,0,-2},{LO_AEE,0,2,0, 0},
{LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
};
const LinInstr li201[] = {
{LO_SEE,0,1,0, 0},{LO_AEC,0,0,0,-2},{LO_AEE,0,2,0, 0},
{LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
};
const LinInstr li202[] = {
{LO_SEE,0,1,0, 0},{LO_AEC,0,0,0,-2},{LO_AEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li203[] = {
{LO_SEE,0,1,0, 0},{LO_AEC,0,0,0,-2},{LO_AEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li204[] = {
{LO_SEE,0,1,0, 0},{LO_AEC,0,0,0,-2},{LO_SEE,0,2,0, 0},
{LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
};
const LinInstr li205[] = {
{LO_SEE,0,1,0, 0},{LO_AEC,0,0,0,-2},{LO_SEE,0,2,0, 0},
{LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
};
const LinInstr li206[] = {
{LO_SEE,0,1,0, 0},{LO_AEC,0,0,0,-2},{LO_SEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li207[] = {
{LO_SEE,0,1,0, 0},{LO_AEC,0,0,0,-2},{LO_SEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li208[] = {
{LO_SEE,0,1,0, 0},{LO_AEC,0,0,0,-1},{LO_AEE,0,2,0, 0},
{LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
};
const LinInstr li209[] = {
{LO_SEE,0,1,0, 0},{LO_AEC,0,0,0,-1},{LO_AEE,0,2,0, 0},
{LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
};
const LinInstr li210[] = {
{LO_SEE,0,1,0, 0},{LO_AEC,0,0,0,-1},{LO_AEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li211[] = {
{LO_SEE,0,1,0, 0},{LO_AEC,0,0,0,-1},{LO_AEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li212[] = {
{LO_SEE,0,1,0, 0},{LO_AEC,0,0,0,-1},{LO_SEE,0,2,0, 0},
{LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
};
const LinInstr li213[] = {
{LO_SEE,0,1,0, 0},{LO_AEC,0,0,0,-1},{LO_SEE,0,2,0, 0},
{LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
};
const LinInstr li214[] = {
{LO_SEE,0,1,0, 0},{LO_AEC,0,0,0,-1},{LO_SEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li215[] = {
{LO_SEE,0,1,0, 0},{LO_AEC,0,0,0,-1},{LO_SEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li216[] = {
{LO_SEE,0,1,0, 0},{LO_AEC,0,0,0, 0},{LO_AEE,0,2,0, 0},
{LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
};
const LinInstr li217[] = {
{LO_SEE,0,1,0, 0},{LO_AEC,0,0,0, 0},{LO_AEE,0,2,0, 0},
{LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
};
const LinInstr li218[] = {
{LO_SEE,0,1,0, 0},{LO_AEC,0,0,0, 0},{LO_AEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li219[] = {
{LO_SEE,0,1,0, 0},{LO_AEC,0,0,0, 0},{LO_AEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li220[] = {
{LO_SEE,0,1,0, 0},{LO_AEC,0,0,0, 0},{LO_SEE,0,2,0, 0},
{LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
};
const LinInstr li221[] = {
{LO_SEE,0,1,0, 0},{LO_AEC,0,0,0, 0},{LO_SEE,0,2,0, 0},
{LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
};
const LinInstr li222[] = {
{LO_SEE,0,1,0, 0},{LO_AEC,0,0,0, 0},{LO_SEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li223[] = {
{LO_SEE,0,1,0, 0},{LO_AEC,0,0,0, 0},{LO_SEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li224[] = {
{LO_SEE,0,1,0, 0},{LO_AEC,0,0,0, 1},{LO_AEE,0,2,0, 0},
{LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
};
const LinInstr li225[] = {
{LO_SEE,0,1,0, 0},{LO_AEC,0,0,0, 1},{LO_AEE,0,2,0, 0},
{LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
};
const LinInstr li226[] = {
{LO_SEE,0,1,0, 0},{LO_AEC,0,0,0, 1},{LO_AEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li227[] = {
{LO_SEE,0,1,0, 0},{LO_AEC,0,0,0, 1},{LO_AEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li228[] = {
{LO_SEE,0,1,0, 0},{LO_AEC,0,0,0, 1},{LO_SEE,0,2,0, 0},
{LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
};
const LinInstr li229[] = {
{LO_SEE,0,1,0, 0},{LO_AEC,0,0,0, 1},{LO_SEE,0,2,0, 0},
{LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
};
const LinInstr li230[] = {
{LO_SEE,0,1,0, 0},{LO_AEC,0,0,0, 1},{LO_SEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li231[] = {
{LO_SEE,0,1,0, 0},{LO_AEC,0,0,0, 1},{LO_SEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li232[] = {
{LO_SEE,0,1,0, 0},{LO_AEC,0,0,0, 2},{LO_AEE,0,2,0, 0},
{LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
};
const LinInstr li233[] = {
{LO_SEE,0,1,0, 0},{LO_AEC,0,0,0, 2},{LO_AEE,0,2,0, 0},
{LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
};
const LinInstr li234[] = {
{LO_SEE,0,1,0, 0},{LO_AEC,0,0,0, 2},{LO_AEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li235[] = {
{LO_SEE,0,1,0, 0},{LO_AEC,0,0,0, 2},{LO_AEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li236[] = {
{LO_SEE,0,1,0, 0},{LO_AEC,0,0,0, 2},{LO_SEE,0,2,0, 0},
{LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
};
const LinInstr li237[] = {
{LO_SEE,0,1,0, 0},{LO_AEC,0,0,0, 2},{LO_SEE,0,2,0, 0},
{LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
};
const LinInstr li238[] = {
{LO_SEE,0,1,0, 0},{LO_AEC,0,0,0, 2},{LO_SEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li239[] = {
{LO_SEE,0,1,0, 0},{LO_AEC,0,0,0, 2},{LO_SEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li240[] = {
{LO_SEE,0,1,0, 0},{LO_SCE,0,0,0,-2},{LO_AEE,0,2,0, 0},
{LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
};
const LinInstr li241[] = {
{LO_SEE,0,1,0, 0},{LO_SCE,0,0,0,-2},{LO_AEE,0,2,0, 0},
{LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
};
const LinInstr li242[] = {
{LO_SEE,0,1,0, 0},{LO_SCE,0,0,0,-2},{LO_AEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li243[] = {
{LO_SEE,0,1,0, 0},{LO_SCE,0,0,0,-2},{LO_AEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li244[] = {
{LO_SEE,0,1,0, 0},{LO_SCE,0,0,0,-2},{LO_SEE,0,2,0, 0},
{LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
};
const LinInstr li245[] = {
{LO_SEE,0,1,0, 0},{LO_SCE,0,0,0,-2},{LO_SEE,0,2,0, 0},
{LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
};
const LinInstr li246[] = {
{LO_SEE,0,1,0, 0},{LO_SCE,0,0,0,-2},{LO_SEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li247[] = {
{LO_SEE,0,1,0, 0},{LO_SCE,0,0,0,-2},{LO_SEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li248[] = {
{LO_SEE,0,1,0, 0},{LO_SCE,0,0,0,-1},{LO_AEE,0,2,0, 0},
{LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
};
const LinInstr li249[] = {
{LO_SEE,0,1,0, 0},{LO_SCE,0,0,0,-1},{LO_AEE,0,2,0, 0},
{LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
};
const LinInstr li250[] = {
{LO_SEE,0,1,0, 0},{LO_SCE,0,0,0,-1},{LO_AEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li251[] = {
{LO_SEE,0,1,0, 0},{LO_SCE,0,0,0,-1},{LO_AEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li252[] = {
{LO_SEE,0,1,0, 0},{LO_SCE,0,0,0,-1},{LO_SEE,0,2,0, 0},
{LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
};
const LinInstr li253[] = {
{LO_SEE,0,1,0, 0},{LO_SCE,0,0,0,-1},{LO_SEE,0,2,0, 0},
{LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
};
const LinInstr li254[] = {
{LO_SEE,0,1,0, 0},{LO_SCE,0,0,0,-1},{LO_SEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li255[] = {
{LO_SEE,0,1,0, 0},{LO_SCE,0,0,0,-1},{LO_SEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li256[] = {
{LO_SEE,0,1,0, 0},{LO_SCE,0,0,0, 0},{LO_AEE,0,2,0, 0},
{LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
};
const LinInstr li257[] = {
{LO_SEE,0,1,0, 0},{LO_SCE,0,0,0, 0},{LO_AEE,0,2,0, 0},
{LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
};
const LinInstr li258[] = {
{LO_SEE,0,1,0, 0},{LO_SCE,0,0,0, 0},{LO_AEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li259[] = {
{LO_SEE,0,1,0, 0},{LO_SCE,0,0,0, 0},{LO_AEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li260[] = {
{LO_SEE,0,1,0, 0},{LO_SCE,0,0,0, 0},{LO_SEE,0,2,0, 0},
{LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
};
const LinInstr li261[] = {
{LO_SEE,0,1,0, 0},{LO_SCE,0,0,0, 0},{LO_SEE,0,2,0, 0},
{LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
};
const LinInstr li262[] = {
{LO_SEE,0,1,0, 0},{LO_SCE,0,0,0, 0},{LO_SEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li263[] = {
{LO_SEE,0,1,0, 0},{LO_SCE,0,0,0, 0},{LO_SEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li264[] = {
{LO_SEE,0,1,0, 0},{LO_SCE,0,0,0, 1},{LO_AEE,0,2,0, 0},
{LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
};
const LinInstr li265[] = {
{LO_SEE,0,1,0, 0},{LO_SCE,0,0,0, 1},{LO_AEE,0,2,0, 0},
{LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
};
const LinInstr li266[] = {
{LO_SEE,0,1,0, 0},{LO_SCE,0,0,0, 1},{LO_AEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li267[] = {
{LO_SEE,0,1,0, 0},{LO_SCE,0,0,0, 1},{LO_AEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li268[] = {
{LO_SEE,0,1,0, 0},{LO_SCE,0,0,0, 1},{LO_SEE,0,2,0, 0},
{LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
};
const LinInstr li269[] = {
{LO_SEE,0,1,0, 0},{LO_SCE,0,0,0, 1},{LO_SEE,0,2,0, 0},
{LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
};
const LinInstr li270[] = {
{LO_SEE,0,1,0, 0},{LO_SCE,0,0,0, 1},{LO_SEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li271[] = {
{LO_SEE,0,1,0, 0},{LO_SCE,0,0,0, 1},{LO_SEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li272[] = {
{LO_SEE,0,1,0, 0},{LO_SCE,0,0,0, 2},{LO_AEE,0,2,0, 0},
{LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
};
const LinInstr li273[] = {
{LO_SEE,0,1,0, 0},{LO_SCE,0,0,0, 2},{LO_AEE,0,2,0, 0},
{LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
};
const LinInstr li274[] = {
{LO_SEE,0,1,0, 0},{LO_SCE,0,0,0, 2},{LO_AEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li275[] = {
{LO_SEE,0,1,0, 0},{LO_SCE,0,0,0, 2},{LO_AEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li276[] = {
{LO_SEE,0,1,0, 0},{LO_SCE,0,0,0, 2},{LO_SEE,0,2,0, 0},
{LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
};
const LinInstr li277[] = {
{LO_SEE,0,1,0, 0},{LO_SCE,0,0,0, 2},{LO_SEE,0,2,0, 0},
{LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
};
const LinInstr li278[] = {
{LO_SEE,0,1,0, 0},{LO_SCE,0,0,0, 2},{LO_SEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li279[] = {
{LO_SEE,0,1,0, 0},{LO_SCE,0,0,0, 2},{LO_SEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li280[] = {
{LO_SEE,0,1,0, 0},{LO_SEC,0,0,0,-2},{LO_AEE,0,2,0, 0},
{LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
};
const LinInstr li281[] = {
{LO_SEE,0,1,0, 0},{LO_SEC,0,0,0,-2},{LO_AEE,0,2,0, 0},
{LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
};
const LinInstr li282[] = {
{LO_SEE,0,1,0, 0},{LO_SEC,0,0,0,-2},{LO_AEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li283[] = {
{LO_SEE,0,1,0, 0},{LO_SEC,0,0,0,-2},{LO_AEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li284[] = {
{LO_SEE,0,1,0, 0},{LO_SEC,0,0,0,-2},{LO_SEE,0,2,0, 0},
{LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
};
const LinInstr li285[] = {
{LO_SEE,0,1,0, 0},{LO_SEC,0,0,0,-2},{LO_SEE,0,2,0, 0},
{LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
};
const LinInstr li286[] = {
{LO_SEE,0,1,0, 0},{LO_SEC,0,0,0,-2},{LO_SEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li287[] = {
{LO_SEE,0,1,0, 0},{LO_SEC,0,0,0,-2},{LO_SEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li288[] = {
{LO_SEE,0,1,0, 0},{LO_SEC,0,0,0,-1},{LO_AEE,0,2,0, 0},
{LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
};
const LinInstr li289[] = {
{LO_SEE,0,1,0, 0},{LO_SEC,0,0,0,-1},{LO_AEE,0,2,0, 0},
{LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
};
const LinInstr li290[] = {
{LO_SEE,0,1,0, 0},{LO_SEC,0,0,0,-1},{LO_AEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li291[] = {
{LO_SEE,0,1,0, 0},{LO_SEC,0,0,0,-1},{LO_AEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li292[] = {
{LO_SEE,0,1,0, 0},{LO_SEC,0,0,0,-1},{LO_SEE,0,2,0, 0},
{LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
};
const LinInstr li293[] = {
{LO_SEE,0,1,0, 0},{LO_SEC,0,0,0,-1},{LO_SEE,0,2,0, 0},
{LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
};
const LinInstr li294[] = {
{LO_SEE,0,1,0, 0},{LO_SEC,0,0,0,-1},{LO_SEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li295[] = {
{LO_SEE,0,1,0, 0},{LO_SEC,0,0,0,-1},{LO_SEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li296[] = {
{LO_SEE,0,1,0, 0},{LO_SEC,0,0,0, 0},{LO_AEE,0,2,0, 0},
{LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
};
const LinInstr li297[] = {
{LO_SEE,0,1,0, 0},{LO_SEC,0,0,0, 0},{LO_AEE,0,2,0, 0},
{LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
};
const LinInstr li298[] = {
{LO_SEE,0,1,0, 0},{LO_SEC,0,0,0, 0},{LO_AEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li299[] = {
{LO_SEE,0,1,0, 0},{LO_SEC,0,0,0, 0},{LO_AEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li300[] = {
{LO_SEE,0,1,0, 0},{LO_SEC,0,0,0, 0},{LO_SEE,0,2,0, 0},
{LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
};
const LinInstr li301[] = {
{LO_SEE,0,1,0, 0},{LO_SEC,0,0,0, 0},{LO_SEE,0,2,0, 0},
{LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
};
const LinInstr li302[] = {
{LO_SEE,0,1,0, 0},{LO_SEC,0,0,0, 0},{LO_SEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li303[] = {
{LO_SEE,0,1,0, 0},{LO_SEC,0,0,0, 0},{LO_SEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li304[] = {
{LO_SEE,0,1,0, 0},{LO_SEC,0,0,0, 1},{LO_AEE,0,2,0, 0},
{LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
};
const LinInstr li305[] = {
{LO_SEE,0,1,0, 0},{LO_SEC,0,0,0, 1},{LO_AEE,0,2,0, 0},
{LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
};
const LinInstr li306[] = {
{LO_SEE,0,1,0, 0},{LO_SEC,0,0,0, 1},{LO_AEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li307[] = {
{LO_SEE,0,1,0, 0},{LO_SEC,0,0,0, 1},{LO_AEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li308[] = {
{LO_SEE,0,1,0, 0},{LO_SEC,0,0,0, 1},{LO_SEE,0,2,0, 0},
{LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
};
const LinInstr li309[] = {
{LO_SEE,0,1,0, 0},{LO_SEC,0,0,0, 1},{LO_SEE,0,2,0, 0},
{LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
};
const LinInstr li310[] = {
{LO_SEE,0,1,0, 0},{LO_SEC,0,0,0, 1},{LO_SEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li311[] = {
{LO_SEE,0,1,0, 0},{LO_SEC,0,0,0, 1},{LO_SEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li312[] = {
{LO_SEE,0,1,0, 0},{LO_SEC,0,0,0, 2},{LO_AEE,0,2,0, 0},
{LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
};
const LinInstr li313[] = {
{LO_SEE,0,1,0, 0},{LO_SEC,0,0,0, 2},{LO_AEE,0,2,0, 0},
{LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
};
const LinInstr li314[] = {
{LO_SEE,0,1,0, 0},{LO_SEC,0,0,0, 2},{LO_AEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li315[] = {
{LO_SEE,0,1,0, 0},{LO_SEC,0,0,0, 2},{LO_AEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li316[] = {
{LO_SEE,0,1,0, 0},{LO_SEC,0,0,0, 2},{LO_SEE,0,2,0, 0},
{LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
};
const LinInstr li317[] = {
{LO_SEE,0,1,0, 0},{LO_SEC,0,0,0, 2},{LO_SEE,0,2,0, 0},
{LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
};
const LinInstr li318[] = {
{LO_SEE,0,1,0, 0},{LO_SEC,0,0,0, 2},{LO_SEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li319[] = {
{LO_SEE,0,1,0, 0},{LO_SEC,0,0,0, 2},{LO_SEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li320[] = {
{LO_SEE,0,1,0, 0},{LO_MCE,0,0,0,-2},{LO_AEE,0,2,0, 0},
{LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
};
const LinInstr li321[] = {
{LO_SEE,0,1,0, 0},{LO_MCE,0,0,0,-2},{LO_AEE,0,2,0, 0},
{LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
};
const LinInstr li322[] = {
{LO_SEE,0,1,0, 0},{LO_MCE,0,0,0,-2},{LO_AEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li323[] = {
{LO_SEE,0,1,0, 0},{LO_MCE,0,0,0,-2},{LO_AEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li324[] = {
{LO_SEE,0,1,0, 0},{LO_MCE,0,0,0,-2},{LO_SEE,0,2,0, 0},
{LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
};
const LinInstr li325[] = {
{LO_SEE,0,1,0, 0},{LO_MCE,0,0,0,-2},{LO_SEE,0,2,0, 0},
{LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
};
const LinInstr li326[] = {
{LO_SEE,0,1,0, 0},{LO_MCE,0,0,0,-2},{LO_SEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li327[] = {
{LO_SEE,0,1,0, 0},{LO_MCE,0,0,0,-2},{LO_SEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li328[] = {
{LO_SEE,0,1,0, 0},{LO_MCE,0,0,0,-1},{LO_AEE,0,2,0, 0},
{LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
};
const LinInstr li329[] = {
{LO_SEE,0,1,0, 0},{LO_MCE,0,0,0,-1},{LO_AEE,0,2,0, 0},
{LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
};
const LinInstr li330[] = {
{LO_SEE,0,1,0, 0},{LO_MCE,0,0,0,-1},{LO_AEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li331[] = {
{LO_SEE,0,1,0, 0},{LO_MCE,0,0,0,-1},{LO_AEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li332[] = {
{LO_SEE,0,1,0, 0},{LO_MCE,0,0,0,-1},{LO_SEE,0,2,0, 0},
{LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
};
const LinInstr li333[] = {
{LO_SEE,0,1,0, 0},{LO_MCE,0,0,0,-1},{LO_SEE,0,2,0, 0},
{LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
};
const LinInstr li334[] = {
{LO_SEE,0,1,0, 0},{LO_MCE,0,0,0,-1},{LO_SEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li335[] = {
{LO_SEE,0,1,0, 0},{LO_MCE,0,0,0,-1},{LO_SEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li336[] = {
{LO_SEE,0,1,0, 0},{LO_MCE,0,0,0, 0},{LO_AEE,0,2,0, 0},
{LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
};
const LinInstr li337[] = {
{LO_SEE,0,1,0, 0},{LO_MCE,0,0,0, 0},{LO_AEE,0,2,0, 0},
{LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
};
const LinInstr li338[] = {
{LO_SEE,0,1,0, 0},{LO_MCE,0,0,0, 0},{LO_AEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li339[] = {
{LO_SEE,0,1,0, 0},{LO_MCE,0,0,0, 0},{LO_AEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li340[] = {
{LO_SEE,0,1,0, 0},{LO_MCE,0,0,0, 0},{LO_SEE,0,2,0, 0},
{LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
};
const LinInstr li341[] = {
{LO_SEE,0,1,0, 0},{LO_MCE,0,0,0, 0},{LO_SEE,0,2,0, 0},
{LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
};
const LinInstr li342[] = {
{LO_SEE,0,1,0, 0},{LO_MCE,0,0,0, 0},{LO_SEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li343[] = {
{LO_SEE,0,1,0, 0},{LO_MCE,0,0,0, 0},{LO_SEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li344[] = {
{LO_SEE,0,1,0, 0},{LO_MCE,0,0,0, 1},{LO_AEE,0,2,0, 0},
{LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
};
const LinInstr li345[] = {
{LO_SEE,0,1,0, 0},{LO_MCE,0,0,0, 1},{LO_AEE,0,2,0, 0},
{LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
};
const LinInstr li346[] = {
{LO_SEE,0,1,0, 0},{LO_MCE,0,0,0, 1},{LO_AEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li347[] = {
{LO_SEE,0,1,0, 0},{LO_MCE,0,0,0, 1},{LO_AEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li348[] = {
{LO_SEE,0,1,0, 0},{LO_MCE,0,0,0, 1},{LO_SEE,0,2,0, 0},
{LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
};
const LinInstr li349[] = {
{LO_SEE,0,1,0, 0},{LO_MCE,0,0,0, 1},{LO_SEE,0,2,0, 0},
{LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
};
const LinInstr li350[] = {
{LO_SEE,0,1,0, 0},{LO_MCE,0,0,0, 1},{LO_SEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li351[] = {
{LO_SEE,0,1,0, 0},{LO_MCE,0,0,0, 1},{LO_SEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li352[] = {
{LO_SEE,0,1,0, 0},{LO_MCE,0,0,0, 2},{LO_AEE,0,2,0, 0},
{LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
};
const LinInstr li353[] = {
{LO_SEE,0,1,0, 0},{LO_MCE,0,0,0, 2},{LO_AEE,0,2,0, 0},
{LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
};
const LinInstr li354[] = {
{LO_SEE,0,1,0, 0},{LO_MCE,0,0,0, 2},{LO_AEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li355[] = {
{LO_SEE,0,1,0, 0},{LO_MCE,0,0,0, 2},{LO_AEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li356[] = {
{LO_SEE,0,1,0, 0},{LO_MCE,0,0,0, 2},{LO_SEE,0,2,0, 0},
{LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
};
const LinInstr li357[] = {
{LO_SEE,0,1,0, 0},{LO_MCE,0,0,0, 2},{LO_SEE,0,2,0, 0},
{LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
};
const LinInstr li358[] = {
{LO_SEE,0,1,0, 0},{LO_MCE,0,0,0, 2},{LO_SEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li359[] = {
{LO_SEE,0,1,0, 0},{LO_MCE,0,0,0, 2},{LO_SEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li360[] = {
{LO_SEE,0,1,0, 0},{LO_MEC,0,0,0,-2},{LO_AEE,0,2,0, 0},
{LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
};
const LinInstr li361[] = {
{LO_SEE,0,1,0, 0},{LO_MEC,0,0,0,-2},{LO_AEE,0,2,0, 0},
{LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
};
const LinInstr li362[] = {
{LO_SEE,0,1,0, 0},{LO_MEC,0,0,0,-2},{LO_AEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li363[] = {
{LO_SEE,0,1,0, 0},{LO_MEC,0,0,0,-2},{LO_AEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li364[] = {
{LO_SEE,0,1,0, 0},{LO_MEC,0,0,0,-2},{LO_SEE,0,2,0, 0},
{LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
};
const LinInstr li365[] = {
{LO_SEE,0,1,0, 0},{LO_MEC,0,0,0,-2},{LO_SEE,0,2,0, 0},
{LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
};
const LinInstr li366[] = {
{LO_SEE,0,1,0, 0},{LO_MEC,0,0,0,-2},{LO_SEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li367[] = {
{LO_SEE,0,1,0, 0},{LO_MEC,0,0,0,-2},{LO_SEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li368[] = {
{LO_SEE,0,1,0, 0},{LO_MEC,0,0,0,-1},{LO_AEE,0,2,0, 0},
{LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
};
const LinInstr li369[] = {
{LO_SEE,0,1,0, 0},{LO_MEC,0,0,0,-1},{LO_AEE,0,2,0, 0},
{LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
};
const LinInstr li370[] = {
{LO_SEE,0,1,0, 0},{LO_MEC,0,0,0,-1},{LO_AEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li371[] = {
{LO_SEE,0,1,0, 0},{LO_MEC,0,0,0,-1},{LO_AEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li372[] = {
{LO_SEE,0,1,0, 0},{LO_MEC,0,0,0,-1},{LO_SEE,0,2,0, 0},
{LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
};
const LinInstr li373[] = {
{LO_SEE,0,1,0, 0},{LO_MEC,0,0,0,-1},{LO_SEE,0,2,0, 0},
{LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
};
const LinInstr li374[] = {
{LO_SEE,0,1,0, 0},{LO_MEC,0,0,0,-1},{LO_SEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li375[] = {
{LO_SEE,0,1,0, 0},{LO_MEC,0,0,0,-1},{LO_SEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li376[] = {
{LO_SEE,0,1,0, 0},{LO_MEC,0,0,0, 0},{LO_AEE,0,2,0, 0},
{LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
};
const LinInstr li377[] = {
{LO_SEE,0,1,0, 0},{LO_MEC,0,0,0, 0},{LO_AEE,0,2,0, 0},
{LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
};
const LinInstr li378[] = {
{LO_SEE,0,1,0, 0},{LO_MEC,0,0,0, 0},{LO_AEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li379[] = {
{LO_SEE,0,1,0, 0},{LO_MEC,0,0,0, 0},{LO_AEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li380[] = {
{LO_SEE,0,1,0, 0},{LO_MEC,0,0,0, 0},{LO_SEE,0,2,0, 0},
{LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
};
const LinInstr li381[] = {
{LO_SEE,0,1,0, 0},{LO_MEC,0,0,0, 0},{LO_SEE,0,2,0, 0},
{LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
};
const LinInstr li382[] = {
{LO_SEE,0,1,0, 0},{LO_MEC,0,0,0, 0},{LO_SEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li383[] = {
{LO_SEE,0,1,0, 0},{LO_MEC,0,0,0, 0},{LO_SEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li384[] = {
{LO_SEE,0,1,0, 0},{LO_MEC,0,0,0, 1},{LO_AEE,0,2,0, 0},
{LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
};
const LinInstr li385[] = {
{LO_SEE,0,1,0, 0},{LO_MEC,0,0,0, 1},{LO_AEE,0,2,0, 0},
{LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
};
const LinInstr li386[] = {
{LO_SEE,0,1,0, 0},{LO_MEC,0,0,0, 1},{LO_AEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li387[] = {
{LO_SEE,0,1,0, 0},{LO_MEC,0,0,0, 1},{LO_AEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li388[] = {
{LO_SEE,0,1,0, 0},{LO_MEC,0,0,0, 1},{LO_SEE,0,2,0, 0},
{LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
};
const LinInstr li389[] = {
{LO_SEE,0,1,0, 0},{LO_MEC,0,0,0, 1},{LO_SEE,0,2,0, 0},
{LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
};
const LinInstr li390[] = {
{LO_SEE,0,1,0, 0},{LO_MEC,0,0,0, 1},{LO_SEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li391[] = {
{LO_SEE,0,1,0, 0},{LO_MEC,0,0,0, 1},{LO_SEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li392[] = {
{LO_SEE,0,1,0, 0},{LO_MEC,0,0,0, 2},{LO_AEE,0,2,0, 0},
{LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
};
const LinInstr li393[] = {
{LO_SEE,0,1,0, 0},{LO_MEC,0,0,0, 2},{LO_AEE,0,2,0, 0},
{LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
};
const LinInstr li394[] = {
{LO_SEE,0,1,0, 0},{LO_MEC,0,0,0, 2},{LO_AEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li395[] = {
{LO_SEE,0,1,0, 0},{LO_MEC,0,0,0, 2},{LO_AEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li396[] = {
{LO_SEE,0,1,0, 0},{LO_MEC,0,0,0, 2},{LO_SEE,0,2,0, 0},
{LO_ACE,0,0,0,-1},{LO_HLT,0,0,0, 0}
};
const LinInstr li397[] = {
{LO_SEE,0,1,0, 0},{LO_MEC,0,0,0, 2},{LO_SEE,0,2,0, 0},
{LO_ACE,0,0,0, 1},{LO_HLT,0,0,0, 0}
};
const LinInstr li398[] = {
{LO_SEE,0,1,0, 0},{LO_MEC,0,0,0, 2},{LO_SEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr li399[] = {
{LO_SEE,0,1,0, 0},{LO_MEC,0,0,0, 2},{LO_SEE,0,2,0, 0},
{LO_SE ,0,0,0, 0},{LO_HLT,0,0,0, 0}
};
const LinInstr* li[] = {
&li000[0],&li001[0],&li002[0],&li003[0],&li004[0],&li005[0],
&li006[0],&li007[0],&li008[0],&li009[0],&li010[0],&li011[0],
&li012[0],&li013[0],&li014[0],&li015[0],&li016[0],&li017[0],
&li018[0],&li019[0],&li020[0],&li021[0],&li022[0],&li023[0],
&li024[0],&li025[0],&li026[0],&li027[0],&li028[0],&li029[0],
&li030[0],&li031[0],&li032[0],&li033[0],&li034[0],&li035[0],
&li036[0],&li037[0],&li038[0],&li039[0],&li040[0],&li041[0],
&li042[0],&li043[0],&li044[0],&li045[0],&li046[0],&li047[0],
&li048[0],&li049[0],&li050[0],&li051[0],&li052[0],&li053[0],
&li054[0],&li055[0],&li056[0],&li057[0],&li058[0],&li059[0],
&li060[0],&li061[0],&li062[0],&li063[0],&li064[0],&li065[0],
&li066[0],&li067[0],&li068[0],&li069[0],&li070[0],&li071[0],
&li072[0],&li073[0],&li074[0],&li075[0],&li076[0],&li077[0],
&li078[0],&li079[0],&li080[0],&li081[0],&li082[0],&li083[0],
&li084[0],&li085[0],&li086[0],&li087[0],&li088[0],&li089[0],
&li090[0],&li091[0],&li092[0],&li093[0],&li094[0],&li095[0],
&li096[0],&li097[0],&li098[0],&li099[0],&li100[0],&li101[0],
&li102[0],&li103[0],&li104[0],&li105[0],&li106[0],&li107[0],
&li108[0],&li109[0],&li110[0],&li111[0],&li112[0],&li113[0],
&li114[0],&li115[0],&li116[0],&li117[0],&li118[0],&li119[0],
&li120[0],&li121[0],&li122[0],&li123[0],&li124[0],&li125[0],
&li126[0],&li127[0],&li128[0],&li129[0],&li130[0],&li131[0],
&li132[0],&li133[0],&li134[0],&li135[0],&li136[0],&li137[0],
&li138[0],&li139[0],&li140[0],&li141[0],&li142[0],&li143[0],
&li144[0],&li145[0],&li146[0],&li147[0],&li148[0],&li149[0],
&li150[0],&li151[0],&li152[0],&li153[0],&li154[0],&li155[0],
&li156[0],&li157[0],&li158[0],&li159[0],&li160[0],&li161[0],
&li162[0],&li163[0],&li164[0],&li165[0],&li166[0],&li167[0],
&li168[0],&li169[0],&li170[0],&li171[0],&li172[0],&li173[0],
&li174[0],&li175[0],&li176[0],&li177[0],&li178[0],&li179[0],
&li180[0],&li181[0],&li182[0],&li183[0],&li184[0],&li185[0],
&li186[0],&li187[0],&li188[0],&li189[0],&li190[0],&li191[0],
&li192[0],&li193[0],&li194[0],&li195[0],&li196[0],&li197[0],
&li198[0],&li199[0],&li200[0],&li201[0],&li202[0],&li203[0],
&li204[0],&li205[0],&li206[0],&li207[0],&li208[0],&li209[0],
&li210[0],&li211[0],&li212[0],&li213[0],&li214[0],&li215[0],
&li216[0],&li217[0],&li218[0],&li219[0],&li220[0],&li221[0],
&li222[0],&li223[0],&li224[0],&li225[0],&li226[0],&li227[0],
&li228[0],&li229[0],&li230[0],&li231[0],&li232[0],&li233[0],
&li234[0],&li235[0],&li236[0],&li237[0],&li238[0],&li239[0],
&li240[0],&li241[0],&li242[0],&li243[0],&li244[0],&li245[0],
&li246[0],&li247[0],&li248[0],&li249[0],&li250[0],&li251[0],
&li252[0],&li253[0],&li254[0],&li255[0],&li256[0],&li257[0],
&li258[0],&li259[0],&li260[0],&li261[0],&li262[0],&li263[0],
&li264[0],&li265[0],&li266[0],&li267[0],&li268[0],&li269[0],
&li270[0],&li271[0],&li272[0],&li273[0],&li274[0],&li275[0],
&li276[0],&li277[0],&li278[0],&li279[0],&li280[0],&li281[0],
&li282[0],&li283[0],&li284[0],&li285[0],&li286[0],&li287[0],
&li288[0],&li289[0],&li290[0],&li291[0],&li292[0],&li293[0],
&li294[0],&li295[0],&li296[0],&li297[0],&li298[0],&li299[0],
&li300[0],&li301[0],&li302[0],&li303[0],&li304[0],&li305[0],
&li306[0],&li307[0],&li308[0],&li309[0],&li310[0],&li311[0],
&li312[0],&li313[0],&li314[0],&li315[0],&li316[0],&li317[0],
&li318[0],&li319[0],&li320[0],&li321[0],&li322[0],&li323[0],
&li324[0],&li325[0],&li326[0],&li327[0],&li328[0],&li329[0],
&li330[0],&li331[0],&li332[0],&li333[0],&li334[0],&li335[0],
&li336[0],&li337[0],&li338[0],&li339[0],&li340[0],&li341[0],
&li342[0],&li343[0],&li344[0],&li345[0],&li346[0],&li347[0],
&li348[0],&li349[0],&li350[0],&li351[0],&li352[0],&li353[0],
&li354[0],&li355[0],&li356[0],&li357[0],&li358[0],&li359[0],
&li360[0],&li361[0],&li362[0],&li363[0],&li364[0],&li365[0],
&li366[0],&li367[0],&li368[0],&li369[0],&li370[0],&li371[0],
&li372[0],&li373[0],&li374[0],&li375[0],&li376[0],&li377[0],
&li378[0],&li379[0],&li380[0],&li381[0],&li382[0],&li383[0],
&li384[0],&li385[0],&li386[0],&li387[0],&li388[0],&li389[0],
&li390[0],&li391[0],&li392[0],&li393[0],&li394[0],&li395[0],
&li396[0],&li397[0],&li398[0],&li399[0],
};
class Create {
public:
Create(void) {
int n = sizeof(li)/sizeof(LinInstr*);
for (int i=0; i<n; i++) {
std::string s = Test::str(i);
if (i < 10) {
s = "00" + s;
} else if (i < 100) {
s = "0" + s;
}
(void) new LinExprInt(li[i],s);
(void) new LinExprBool(li[i],s);
(void) new LinExprMixed(li[i],s);
}
IntRelTypes irts;
for (int i=0; i<n/2; i++) {
std::string s = Test::str(i);
if (i < 10) {
s = "00" + s;
} else if (i < 100) {
s = "0" + s;
}
(void) new LinRelInt(li[2*i],li[2*i+1],irts.irt(),s);
(void) new LinRelBool(li[2*i],li[2*i+1],irts.irt(),s);
(void) new LinRelMixed(li[2*i],li[2*i+1],irts.irt(),s);
++irts;
if (!irts())
irts.reset();
}
}
};
Create c;
}
}}
// STATISTICS: test-minimodel
Gecode::BoolVarArgs
Passing Boolean variables.
Definition int.hh:712
Gecode::IntArgs
Passing integer arguments.
Definition int.hh:628
Gecode::IntVarArgs
Passing integer variables.
Definition int.hh:656
Gecode::IntVarArray
Integer variable array.
Definition int.hh:763
Gecode::IntVar
Integer variables.
Definition int.hh:371
Gecode::LinIntExpr
Linear expressions over integer variables.
Definition minimodel.hh:245
Gecode::Reify
Reification specification.
Definition int.hh:876
Gecode::Space
Computation spaces.
Definition core.hpp:1742
Test::Int::Assignment
Base class for assignments
Definition int.hh:59
Test::Int::IntRelTypes
Iterator for integer relation types.
Definition int.hh:368
Test::Int::IntRelTypes::reset
void reset(void)
Reset iterator.
Definition int.hpp:339
Test::Int::IntRelTypes::irt
Gecode::IntRelType irt(void) const
Return current relation type.
Definition int.hpp:351
Test::Int::MiniModelLin::Create
Help class to create and register tests.
Definition mm-lin.cpp:2141
Test::Int::MiniModelLin::Create::Create
Create(void)
Perform creation and registration.
Definition mm-lin.cpp:2144
Test::Int::MiniModelLin::LinExprBool
Test linear expressions over Boolean variables
Definition mm-lin.cpp:118
Test::Int::MiniModelLin::LinExprBool::LinExprBool
LinExprBool(const LinInstr *lis0, const std::string &s)
Create and register test.
Definition mm-lin.cpp:124
Test::Int::MiniModelLin::LinExprBool::lis
const LinInstr * lis
Linear instruction sequence.
Definition mm-lin.cpp:121
Test::Int::MiniModelLin::LinExprBool::solution
virtual bool solution(const Assignment &x) const
Test whether x is solution
Definition mm-lin.cpp:129
Test::Int::MiniModelLin::LinExprBool::post
virtual void post(Gecode::Space &home, Gecode::IntVarArray &x)
Post constraint on x.
Definition mm-lin.cpp:137
Test::Int::MiniModelLin::LinExprInt
Test linear expressions over integer variables
Definition mm-lin.cpp:94
Test::Int::MiniModelLin::LinExprInt::LinExprInt
LinExprInt(const LinInstr *lis0, const std::string &s)
Create and register test.
Definition mm-lin.cpp:100
Test::Int::MiniModelLin::LinExprInt::solution
virtual bool solution(const Assignment &x) const
Test whether x is solution
Definition mm-lin.cpp:105
Test::Int::MiniModelLin::LinExprInt::post
virtual void post(Gecode::Space &home, Gecode::IntVarArray &x)
Post constraint on x.
Definition mm-lin.cpp:110
Test::Int::MiniModelLin::LinExprInt::lis
const LinInstr * lis
Linear instruction sequence.
Definition mm-lin.cpp:97
Test::Int::MiniModelLin::LinExprMixed
Test linear expressions over integer and Boolean variables
Definition mm-lin.cpp:147
Test::Int::MiniModelLin::LinExprMixed::LinExprMixed
LinExprMixed(const LinInstr *lis0, const std::string &s)
Create and register test.
Definition mm-lin.cpp:153
Test::Int::MiniModelLin::LinExprMixed::solution
virtual bool solution(const Assignment &x) const
Test whether x is solution
Definition mm-lin.cpp:158
Test::Int::MiniModelLin::LinExprMixed::post
virtual void post(Gecode::Space &home, Gecode::IntVarArray &x)
Post constraint on x.
Definition mm-lin.cpp:165
Test::Int::MiniModelLin::LinExprMixed::lis
const LinInstr * lis
Linear instruction sequence.
Definition mm-lin.cpp:150
Test::Int::MiniModelLin::LinInstr
Type for representing a linear instruction.
Definition mm-lin.cpp:58
Test::Int::MiniModelLin::LinInstr::x
unsigned char x
Definition mm-lin.cpp:61
Test::Int::MiniModelLin::LinInstr::c
int c
Numerical constant.
Definition mm-lin.cpp:62
Test::Int::MiniModelLin::LinInstr::z
unsigned char z
Instruction arguments, y is destination (or z).
Definition mm-lin.cpp:61
Test::Int::MiniModelLin::LinInstr::o
LinOpcode o
Which instruction to execute.
Definition mm-lin.cpp:60
Test::Int::MiniModelLin::LinInstr::y
unsigned char y
Definition mm-lin.cpp:61
Test::Int::MiniModelLin::LinRelBool
Test linear relations over Boolean variables
Definition mm-lin.cpp:272
Test::Int::MiniModelLin::LinRelBool::r_lis
const LinInstr * r_lis
Linear instruction sequence for right hand side.
Definition mm-lin.cpp:277
Test::Int::MiniModelLin::LinRelBool::post
virtual void post(Gecode::Space &home, Gecode::IntVarArray &x, Gecode::Reify r)
Post constraint on x for r.
Definition mm-lin.cpp:332
Test::Int::MiniModelLin::LinRelBool::l_lis
const LinInstr * l_lis
Linear instruction sequence for left hand side.
Definition mm-lin.cpp:275
Test::Int::MiniModelLin::LinRelBool::solution
virtual bool solution(const Assignment &x) const
Test whether x is solution
Definition mm-lin.cpp:290
Test::Int::MiniModelLin::LinRelBool::irt
Gecode::IntRelType irt
Integer relation type to propagate.
Definition mm-lin.cpp:279
Test::Int::MiniModelLin::LinRelBool::LinRelBool
LinRelBool(const LinInstr *l_lis0, const LinInstr *r_lis0, Gecode::IntRelType irt0, const std::string &s)
Create and register test.
Definition mm-lin.cpp:282
Test::Int::MiniModelLin::LinRelBool::post
virtual void post(Gecode::Space &home, Gecode::IntVarArray &x)
Post constraint on x.
Definition mm-lin.cpp:296
Test::Int::MiniModelLin::LinRelInt
Test linear relations over integer variables
Definition mm-lin.cpp:176
Test::Int::MiniModelLin::LinRelInt::solution
virtual bool solution(const Assignment &x) const
Test whether x is solution
Definition mm-lin.cpp:194
Test::Int::MiniModelLin::LinRelInt::l_lis
const LinInstr * l_lis
Linear instruction sequence for left hand side.
Definition mm-lin.cpp:179
Test::Int::MiniModelLin::LinRelInt::irt
Gecode::IntRelType irt
Integer relation type to propagate.
Definition mm-lin.cpp:183
Test::Int::MiniModelLin::LinRelInt::r_lis
const LinInstr * r_lis
Linear instruction sequence for right hand side.
Definition mm-lin.cpp:181
Test::Int::MiniModelLin::LinRelInt::post
virtual void post(Gecode::Space &home, Gecode::IntVarArray &x, Gecode::Reify r)
Post constraint on x for r.
Definition mm-lin.cpp:233
Test::Int::MiniModelLin::LinRelInt::LinRelInt
LinRelInt(const LinInstr *l_lis0, const LinInstr *r_lis0, Gecode::IntRelType irt0, const std::string &s)
Create and register test.
Definition mm-lin.cpp:186
Test::Int::MiniModelLin::LinRelInt::post
virtual void post(Gecode::Space &home, Gecode::IntVarArray &x)
Post constraint on x.
Definition mm-lin.cpp:200
Test::Int::MiniModelLin::LinRelMixed
Test linear relations over integer and Boolean variables
Definition mm-lin.cpp:374
Test::Int::MiniModelLin::LinRelMixed::irt
Gecode::IntRelType irt
Integer relation type to propagate.
Definition mm-lin.cpp:381
Test::Int::MiniModelLin::LinRelMixed::l_lis
const LinInstr * l_lis
Linear instruction sequence for left hand side.
Definition mm-lin.cpp:377
Test::Int::MiniModelLin::LinRelMixed::post
virtual void post(Gecode::Space &home, Gecode::IntVarArray &x)
Post constraint on x.
Definition mm-lin.cpp:398
Test::Int::MiniModelLin::LinRelMixed::r_lis
const LinInstr * r_lis
Linear instruction sequence for right hand side.
Definition mm-lin.cpp:379
Test::Int::MiniModelLin::LinRelMixed::LinRelMixed
LinRelMixed(const LinInstr *l_lis0, const LinInstr *r_lis0, Gecode::IntRelType irt0, const std::string &s)
Create and register test.
Definition mm-lin.cpp:384
Test::Int::MiniModelLin::LinRelMixed::solution
virtual bool solution(const Assignment &x) const
Test whether x is solution
Definition mm-lin.cpp:392
Test::Int::MiniModelLin::LinRelMixed::post
virtual void post(Gecode::Space &home, Gecode::IntVarArray &x, Gecode::Reify r)
Post constraint on x for r.
Definition mm-lin.cpp:426
Test::Int::Test::testfix
bool testfix
Whether to perform fixpoint test.
Definition int.hh:240
Test::Int::Test::rms
int rms
Which reification modes are supported.
Definition int.hh:232
Test::Int::Test::str
static std::string str(Gecode::IntPropLevel ipl)
Map integer propagation level to string.
Definition int.hpp:209
Test::Int::Test::cmp
static bool cmp(T x, Gecode::IntRelType r, T y)
Compare x and y with respect to r.
Definition int.hpp:285
Gecode::rel
void rel(Home home, FloatVar x0, FloatRelType frt, FloatVar x1)
Post propagator for .
Definition rel.cpp:68
Gecode::IntRelType
IntRelType
Relation types for integers.
Definition int.hh:925
Gecode::IRT_EQ
@ IRT_EQ
Equality ( ).
Definition int.hh:926
Gecode::IRT_NQ
@ IRT_NQ
Disequality ( ).
Definition int.hh:927
Gecode::IRT_GQ
@ IRT_GQ
Greater or equal ( ).
Definition int.hh:930
Gecode::IRT_LE
@ IRT_LE
Less ( ).
Definition int.hh:929
Gecode::IRT_GR
@ IRT_GR
Greater ( ).
Definition int.hh:931
Gecode::IRT_LQ
@ IRT_LQ
Less or equal ( ).
Definition int.hh:928
Gecode::RM_EQV
@ RM_EQV
Equivalence for reification (default).
Definition int.hh:855
minimodel.hh
Gecode
Gecode toplevel namespace
Gecode::channel
void channel(Home home, FloatVar x0, IntVar x1)
Post propagator for channeling a float and an integer variable .
Definition channel.cpp:41
Gecode::expr
IntVar expr(Home home, const LinIntExpr &e, const IntPropLevels &ipls=IntPropLevels::def)
Post linear expression and return its value.
Definition int-expr.cpp:915
Gecode::sum
LinIntExpr sum(const IntVarArgs &x)
Construct linear expression as sum of integer variables.
Definition int-expr.cpp:880
Test::Int::MiniModelLin
Tests for minimal modelling constraints (linear)
Definition mm-lin.cpp:41
Test::Int::MiniModelLin::li337
const LinInstr li337[]
Definition mm-lin.cpp:1817
Test::Int::MiniModelLin::li277
const LinInstr li277[]
Definition mm-lin.cpp:1577
Test::Int::MiniModelLin::li062
const LinInstr li062[]
Definition mm-lin.cpp:717
Test::Int::MiniModelLin::li042
const LinInstr li042[]
Definition mm-lin.cpp:637
Test::Int::MiniModelLin::li086
const LinInstr li086[]
Definition mm-lin.cpp:813
Test::Int::MiniModelLin::li174
const LinInstr li174[]
Definition mm-lin.cpp:1165
Test::Int::MiniModelLin::li219
const LinInstr li219[]
Definition mm-lin.cpp:1345
Test::Int::MiniModelLin::li278
const LinInstr li278[]
Definition mm-lin.cpp:1581
Test::Int::MiniModelLin::li244
const LinInstr li244[]
Definition mm-lin.cpp:1445
Test::Int::MiniModelLin::li230
const LinInstr li230[]
Definition mm-lin.cpp:1389
Test::Int::MiniModelLin::li304
const LinInstr li304[]
Definition mm-lin.cpp:1685
Test::Int::MiniModelLin::li095
const LinInstr li095[]
Definition mm-lin.cpp:849
Test::Int::MiniModelLin::li113
const LinInstr li113[]
Definition mm-lin.cpp:921
Test::Int::MiniModelLin::li146
const LinInstr li146[]
Definition mm-lin.cpp:1053
Test::Int::MiniModelLin::li137
const LinInstr li137[]
Definition mm-lin.cpp:1017
Test::Int::MiniModelLin::li090
const LinInstr li090[]
Definition mm-lin.cpp:829
Test::Int::MiniModelLin::li392
const LinInstr li392[]
Definition mm-lin.cpp:2037
Test::Int::MiniModelLin::li365
const LinInstr li365[]
Definition mm-lin.cpp:1929
Test::Int::MiniModelLin::li393
const LinInstr li393[]
Definition mm-lin.cpp:2041
Test::Int::MiniModelLin::li089
const LinInstr li089[]
Definition mm-lin.cpp:825
Test::Int::MiniModelLin::li211
const LinInstr li211[]
Definition mm-lin.cpp:1313
Test::Int::MiniModelLin::li125
const LinInstr li125[]
Definition mm-lin.cpp:969
Test::Int::MiniModelLin::li014
const LinInstr li014[]
Definition mm-lin.cpp:525
Test::Int::MiniModelLin::li355
const LinInstr li355[]
Definition mm-lin.cpp:1889
Test::Int::MiniModelLin::li017
const LinInstr li017[]
Definition mm-lin.cpp:537
Test::Int::MiniModelLin::li070
const LinInstr li070[]
Definition mm-lin.cpp:749
Test::Int::MiniModelLin::li275
const LinInstr li275[]
Definition mm-lin.cpp:1569
Test::Int::MiniModelLin::li079
const LinInstr li079[]
Definition mm-lin.cpp:785
Test::Int::MiniModelLin::li261
const LinInstr li261[]
Definition mm-lin.cpp:1513
Test::Int::MiniModelLin::li239
const LinInstr li239[]
Definition mm-lin.cpp:1425
Test::Int::MiniModelLin::li049
const LinInstr li049[]
Definition mm-lin.cpp:665
Test::Int::MiniModelLin::li394
const LinInstr li394[]
Definition mm-lin.cpp:2045
Test::Int::MiniModelLin::li252
const LinInstr li252[]
Definition mm-lin.cpp:1477
Test::Int::MiniModelLin::li128
const LinInstr li128[]
Definition mm-lin.cpp:981
Test::Int::MiniModelLin::li083
const LinInstr li083[]
Definition mm-lin.cpp:801
Test::Int::MiniModelLin::li379
const LinInstr li379[]
Definition mm-lin.cpp:1985
Test::Int::MiniModelLin::li341
const LinInstr li341[]
Definition mm-lin.cpp:1833
Test::Int::MiniModelLin::li282
const LinInstr li282[]
Definition mm-lin.cpp:1597
Test::Int::MiniModelLin::li123
const LinInstr li123[]
Definition mm-lin.cpp:961
Test::Int::MiniModelLin::li331
const LinInstr li331[]
Definition mm-lin.cpp:1793
Test::Int::MiniModelLin::li218
const LinInstr li218[]
Definition mm-lin.cpp:1341
Test::Int::MiniModelLin::li036
const LinInstr li036[]
Definition mm-lin.cpp:613
Test::Int::MiniModelLin::li353
const LinInstr li353[]
Definition mm-lin.cpp:1881
Test::Int::MiniModelLin::li202
const LinInstr li202[]
Definition mm-lin.cpp:1277
Test::Int::MiniModelLin::li198
const LinInstr li198[]
Definition mm-lin.cpp:1261
Test::Int::MiniModelLin::li048
const LinInstr li048[]
Definition mm-lin.cpp:661
Test::Int::MiniModelLin::li271
const LinInstr li271[]
Definition mm-lin.cpp:1553
Test::Int::MiniModelLin::li167
const LinInstr li167[]
Definition mm-lin.cpp:1137
Test::Int::MiniModelLin::li023
const LinInstr li023[]
Definition mm-lin.cpp:561
Test::Int::MiniModelLin::li024
const LinInstr li024[]
Definition mm-lin.cpp:565
Test::Int::MiniModelLin::li080
const LinInstr li080[]
Definition mm-lin.cpp:789
Test::Int::MiniModelLin::li300
const LinInstr li300[]
Definition mm-lin.cpp:1669
Test::Int::MiniModelLin::li193
const LinInstr li193[]
Definition mm-lin.cpp:1241
Test::Int::MiniModelLin::li319
const LinInstr li319[]
Definition mm-lin.cpp:1745
Test::Int::MiniModelLin::li153
const LinInstr li153[]
Definition mm-lin.cpp:1081
Test::Int::MiniModelLin::li377
const LinInstr li377[]
Definition mm-lin.cpp:1977
Test::Int::MiniModelLin::li143
const LinInstr li143[]
Definition mm-lin.cpp:1041
Test::Int::MiniModelLin::li072
const LinInstr li072[]
Definition mm-lin.cpp:757
Test::Int::MiniModelLin::li060
const LinInstr li060[]
Definition mm-lin.cpp:709
Test::Int::MiniModelLin::li361
const LinInstr li361[]
Definition mm-lin.cpp:1913
Test::Int::MiniModelLin::li328
const LinInstr li328[]
Definition mm-lin.cpp:1781
Test::Int::MiniModelLin::li291
const LinInstr li291[]
Definition mm-lin.cpp:1633
Test::Int::MiniModelLin::li348
const LinInstr li348[]
Definition mm-lin.cpp:1861
Test::Int::MiniModelLin::li038
const LinInstr li038[]
Definition mm-lin.cpp:621
Test::Int::MiniModelLin::li063
const LinInstr li063[]
Definition mm-lin.cpp:721
Test::Int::MiniModelLin::li078
const LinInstr li078[]
Definition mm-lin.cpp:781
Test::Int::MiniModelLin::li240
const LinInstr li240[]
Definition mm-lin.cpp:1429
Test::Int::MiniModelLin::li002
const LinInstr li002[]
Definition mm-lin.cpp:477
Test::Int::MiniModelLin::li025
const LinInstr li025[]
Definition mm-lin.cpp:569
Test::Int::MiniModelLin::li344
const LinInstr li344[]
Definition mm-lin.cpp:1845
Test::Int::MiniModelLin::li151
const LinInstr li151[]
Definition mm-lin.cpp:1073
Test::Int::MiniModelLin::li352
const LinInstr li352[]
Definition mm-lin.cpp:1877
Test::Int::MiniModelLin::li356
const LinInstr li356[]
Definition mm-lin.cpp:1893
Test::Int::MiniModelLin::li354
const LinInstr li354[]
Definition mm-lin.cpp:1885
Test::Int::MiniModelLin::li279
const LinInstr li279[]
Definition mm-lin.cpp:1585
Test::Int::MiniModelLin::li131
const LinInstr li131[]
Definition mm-lin.cpp:993
Test::Int::MiniModelLin::li170
const LinInstr li170[]
Definition mm-lin.cpp:1149
Test::Int::MiniModelLin::li141
const LinInstr li141[]
Definition mm-lin.cpp:1033
Test::Int::MiniModelLin::li265
const LinInstr li265[]
Definition mm-lin.cpp:1529
Test::Int::MiniModelLin::li254
const LinInstr li254[]
Definition mm-lin.cpp:1485
Test::Int::MiniModelLin::li006
const LinInstr li006[]
Definition mm-lin.cpp:493
Test::Int::MiniModelLin::li231
const LinInstr li231[]
Definition mm-lin.cpp:1393
Test::Int::MiniModelLin::li296
const LinInstr li296[]
Definition mm-lin.cpp:1653
Test::Int::MiniModelLin::li056
const LinInstr li056[]
Definition mm-lin.cpp:693
Test::Int::MiniModelLin::li012
const LinInstr li012[]
Definition mm-lin.cpp:517
Test::Int::MiniModelLin::li145
const LinInstr li145[]
Definition mm-lin.cpp:1049
Test::Int::MiniModelLin::li330
const LinInstr li330[]
Definition mm-lin.cpp:1789
Test::Int::MiniModelLin::li171
const LinInstr li171[]
Definition mm-lin.cpp:1153
Test::Int::MiniModelLin::li366
const LinInstr li366[]
Definition mm-lin.cpp:1933
Test::Int::MiniModelLin::li106
const LinInstr li106[]
Definition mm-lin.cpp:893
Test::Int::MiniModelLin::li226
const LinInstr li226[]
Definition mm-lin.cpp:1373
Test::Int::MiniModelLin::li324
const LinInstr li324[]
Definition mm-lin.cpp:1765
Test::Int::MiniModelLin::li149
const LinInstr li149[]
Definition mm-lin.cpp:1065
Test::Int::MiniModelLin::li299
const LinInstr li299[]
Definition mm-lin.cpp:1665
Test::Int::MiniModelLin::li100
const LinInstr li100[]
Definition mm-lin.cpp:869
Test::Int::MiniModelLin::li084
const LinInstr li084[]
Definition mm-lin.cpp:805
Test::Int::MiniModelLin::li212
const LinInstr li212[]
Definition mm-lin.cpp:1317
Test::Int::MiniModelLin::li266
const LinInstr li266[]
Definition mm-lin.cpp:1533
Test::Int::MiniModelLin::li389
const LinInstr li389[]
Definition mm-lin.cpp:2025
Test::Int::MiniModelLin::li109
const LinInstr li109[]
Definition mm-lin.cpp:905
Test::Int::MiniModelLin::LinOpcode
LinOpcode
Linear opcode.
Definition mm-lin.cpp:44
Test::Int::MiniModelLin::LO_AEC
@ LO_AEC
Add expression and integer.
Definition mm-lin.cpp:46
Test::Int::MiniModelLin::LO_SEC
@ LO_SEC
Subtract expression and integer.
Definition mm-lin.cpp:49
Test::Int::MiniModelLin::LO_ACE
@ LO_ACE
Add integer and expression.
Definition mm-lin.cpp:45
Test::Int::MiniModelLin::LO_MCE
@ LO_MCE
Multiply constant and expression.
Definition mm-lin.cpp:52
Test::Int::MiniModelLin::LO_SCE
@ LO_SCE
Subtract integer and expression.
Definition mm-lin.cpp:48
Test::Int::MiniModelLin::LO_AEE
@ LO_AEE
Add expressions.
Definition mm-lin.cpp:47
Test::Int::MiniModelLin::LO_MEC
@ LO_MEC
Multiply constant and expression.
Definition mm-lin.cpp:53
Test::Int::MiniModelLin::LO_HLT
@ LO_HLT
Stop execution.
Definition mm-lin.cpp:54
Test::Int::MiniModelLin::LO_SE
@ LO_SE
Unary subtraction.
Definition mm-lin.cpp:51
Test::Int::MiniModelLin::LO_SEE
@ LO_SEE
Subtract expressions.
Definition mm-lin.cpp:50
Test::Int::MiniModelLin::li391
const LinInstr li391[]
Definition mm-lin.cpp:2033
Test::Int::MiniModelLin::li020
const LinInstr li020[]
Definition mm-lin.cpp:549
Test::Int::MiniModelLin::li270
const LinInstr li270[]
Definition mm-lin.cpp:1549
Test::Int::MiniModelLin::li339
const LinInstr li339[]
Definition mm-lin.cpp:1825
Test::Int::MiniModelLin::li242
const LinInstr li242[]
Definition mm-lin.cpp:1437
Test::Int::MiniModelLin::li030
const LinInstr li030[]
Definition mm-lin.cpp:589
Test::Int::MiniModelLin::li087
const LinInstr li087[]
Definition mm-lin.cpp:817
Test::Int::MiniModelLin::li343
const LinInstr li343[]
Definition mm-lin.cpp:1841
Test::Int::MiniModelLin::li351
const LinInstr li351[]
Definition mm-lin.cpp:1873
Test::Int::MiniModelLin::li085
const LinInstr li085[]
Definition mm-lin.cpp:809
Test::Int::MiniModelLin::li334
const LinInstr li334[]
Definition mm-lin.cpp:1805
Test::Int::MiniModelLin::li190
const LinInstr li190[]
Definition mm-lin.cpp:1229
Test::Int::MiniModelLin::li317
const LinInstr li317[]
Definition mm-lin.cpp:1737
Test::Int::MiniModelLin::li160
const LinInstr li160[]
Definition mm-lin.cpp:1109
Test::Int::MiniModelLin::li074
const LinInstr li074[]
Definition mm-lin.cpp:765
Test::Int::MiniModelLin::li385
const LinInstr li385[]
Definition mm-lin.cpp:2009
Test::Int::MiniModelLin::li314
const LinInstr li314[]
Definition mm-lin.cpp:1725
Test::Int::MiniModelLin::li159
const LinInstr li159[]
Definition mm-lin.cpp:1105
Test::Int::MiniModelLin::li093
const LinInstr li093[]
Definition mm-lin.cpp:841
Test::Int::MiniModelLin::li294
const LinInstr li294[]
Definition mm-lin.cpp:1645
Test::Int::MiniModelLin::li133
const LinInstr li133[]
Definition mm-lin.cpp:1001
Test::Int::MiniModelLin::li373
const LinInstr li373[]
Definition mm-lin.cpp:1961
Test::Int::MiniModelLin::li067
const LinInstr li067[]
Definition mm-lin.cpp:737
Test::Int::MiniModelLin::li013
const LinInstr li013[]
Definition mm-lin.cpp:521
Test::Int::MiniModelLin::li155
const LinInstr li155[]
Definition mm-lin.cpp:1089
Test::Int::MiniModelLin::li101
const LinInstr li101[]
Definition mm-lin.cpp:873
Test::Int::MiniModelLin::li350
const LinInstr li350[]
Definition mm-lin.cpp:1869
Test::Int::MiniModelLin::li326
const LinInstr li326[]
Definition mm-lin.cpp:1773
Test::Int::MiniModelLin::li011
const LinInstr li011[]
Definition mm-lin.cpp:513
Test::Int::MiniModelLin::li194
const LinInstr li194[]
Definition mm-lin.cpp:1245
Test::Int::MiniModelLin::li071
const LinInstr li071[]
Definition mm-lin.cpp:753
Test::Int::MiniModelLin::li069
const LinInstr li069[]
Definition mm-lin.cpp:745
Test::Int::MiniModelLin::li058
const LinInstr li058[]
Definition mm-lin.cpp:701
Test::Int::MiniModelLin::li384
const LinInstr li384[]
Definition mm-lin.cpp:2005
Test::Int::MiniModelLin::li280
const LinInstr li280[]
Definition mm-lin.cpp:1589
Test::Int::MiniModelLin::li221
const LinInstr li221[]
Definition mm-lin.cpp:1353
Test::Int::MiniModelLin::li124
const LinInstr li124[]
Definition mm-lin.cpp:965
Test::Int::MiniModelLin::li316
const LinInstr li316[]
Definition mm-lin.cpp:1733
Test::Int::MiniModelLin::li222
const LinInstr li222[]
Definition mm-lin.cpp:1357
Test::Int::MiniModelLin::li390
const LinInstr li390[]
Definition mm-lin.cpp:2029
Test::Int::MiniModelLin::li329
const LinInstr li329[]
Definition mm-lin.cpp:1785
Test::Int::MiniModelLin::li041
const LinInstr li041[]
Definition mm-lin.cpp:633
Test::Int::MiniModelLin::li376
const LinInstr li376[]
Definition mm-lin.cpp:1973
Test::Int::MiniModelLin::li008
const LinInstr li008[]
Definition mm-lin.cpp:501
Test::Int::MiniModelLin::li138
const LinInstr li138[]
Definition mm-lin.cpp:1021
Test::Int::MiniModelLin::li184
const LinInstr li184[]
Definition mm-lin.cpp:1205
Test::Int::MiniModelLin::li338
const LinInstr li338[]
Definition mm-lin.cpp:1821
Test::Int::MiniModelLin::li399
const LinInstr li399[]
Definition mm-lin.cpp:2065
Test::Int::MiniModelLin::li248
const LinInstr li248[]
Definition mm-lin.cpp:1461
Test::Int::MiniModelLin::li047
const LinInstr li047[]
Definition mm-lin.cpp:657
Test::Int::MiniModelLin::li247
const LinInstr li247[]
Definition mm-lin.cpp:1457
Test::Int::MiniModelLin::li132
const LinInstr li132[]
Definition mm-lin.cpp:997
Test::Int::MiniModelLin::li061
const LinInstr li061[]
Definition mm-lin.cpp:713
Test::Int::MiniModelLin::li217
const LinInstr li217[]
Definition mm-lin.cpp:1337
Test::Int::MiniModelLin::li292
const LinInstr li292[]
Definition mm-lin.cpp:1637
Test::Int::MiniModelLin::li332
const LinInstr li332[]
Definition mm-lin.cpp:1797
Test::Int::MiniModelLin::li396
const LinInstr li396[]
Definition mm-lin.cpp:2053
Test::Int::MiniModelLin::li114
const LinInstr li114[]
Definition mm-lin.cpp:925
Test::Int::MiniModelLin::li088
const LinInstr li088[]
Definition mm-lin.cpp:821
Test::Int::MiniModelLin::li129
const LinInstr li129[]
Definition mm-lin.cpp:985
Test::Int::MiniModelLin::li103
const LinInstr li103[]
Definition mm-lin.cpp:881
Test::Int::MiniModelLin::li380
const LinInstr li380[]
Definition mm-lin.cpp:1989
Test::Int::MiniModelLin::li347
const LinInstr li347[]
Definition mm-lin.cpp:1857
Test::Int::MiniModelLin::li181
const LinInstr li181[]
Definition mm-lin.cpp:1193
Test::Int::MiniModelLin::li263
const LinInstr li263[]
Definition mm-lin.cpp:1521
Test::Int::MiniModelLin::li241
const LinInstr li241[]
Definition mm-lin.cpp:1433
Test::Int::MiniModelLin::li249
const LinInstr li249[]
Definition mm-lin.cpp:1465
Test::Int::MiniModelLin::li336
const LinInstr li336[]
Definition mm-lin.cpp:1813
Test::Int::MiniModelLin::li293
const LinInstr li293[]
Definition mm-lin.cpp:1641
Test::Int::MiniModelLin::li166
const LinInstr li166[]
Definition mm-lin.cpp:1133
Test::Int::MiniModelLin::li289
const LinInstr li289[]
Definition mm-lin.cpp:1625
Test::Int::MiniModelLin::li120
const LinInstr li120[]
Definition mm-lin.cpp:949
Test::Int::MiniModelLin::li156
const LinInstr li156[]
Definition mm-lin.cpp:1093
Test::Int::MiniModelLin::li246
const LinInstr li246[]
Definition mm-lin.cpp:1453
Test::Int::MiniModelLin::li009
const LinInstr li009[]
Definition mm-lin.cpp:505
Test::Int::MiniModelLin::li052
const LinInstr li052[]
Definition mm-lin.cpp:677
Test::Int::MiniModelLin::li216
const LinInstr li216[]
Definition mm-lin.cpp:1333
Test::Int::MiniModelLin::li010
const LinInstr li010[]
Definition mm-lin.cpp:509
Test::Int::MiniModelLin::li197
const LinInstr li197[]
Definition mm-lin.cpp:1257
Test::Int::MiniModelLin::li283
const LinInstr li283[]
Definition mm-lin.cpp:1601
Test::Int::MiniModelLin::li037
const LinInstr li037[]
Definition mm-lin.cpp:617
Test::Int::MiniModelLin::li378
const LinInstr li378[]
Definition mm-lin.cpp:1981
Test::Int::MiniModelLin::li258
const LinInstr li258[]
Definition mm-lin.cpp:1501
Test::Int::MiniModelLin::li371
const LinInstr li371[]
Definition mm-lin.cpp:1953
Test::Int::MiniModelLin::li232
const LinInstr li232[]
Definition mm-lin.cpp:1397
Test::Int::MiniModelLin::li256
const LinInstr li256[]
Definition mm-lin.cpp:1493
Test::Int::MiniModelLin::li382
const LinInstr li382[]
Definition mm-lin.cpp:1997
Test::Int::MiniModelLin::li375
const LinInstr li375[]
Definition mm-lin.cpp:1969
Test::Int::MiniModelLin::li158
const LinInstr li158[]
Definition mm-lin.cpp:1101
Test::Int::MiniModelLin::li186
const LinInstr li186[]
Definition mm-lin.cpp:1213
Test::Int::MiniModelLin::li237
const LinInstr li237[]
Definition mm-lin.cpp:1417
Test::Int::MiniModelLin::li323
const LinInstr li323[]
Definition mm-lin.cpp:1761
Test::Int::MiniModelLin::li065
const LinInstr li065[]
Definition mm-lin.cpp:729
Test::Int::MiniModelLin::li168
const LinInstr li168[]
Definition mm-lin.cpp:1141
Test::Int::MiniModelLin::li043
const LinInstr li043[]
Definition mm-lin.cpp:641
Test::Int::MiniModelLin::li117
const LinInstr li117[]
Definition mm-lin.cpp:937
Test::Int::MiniModelLin::li035
const LinInstr li035[]
Definition mm-lin.cpp:609
Test::Int::MiniModelLin::li357
const LinInstr li357[]
Definition mm-lin.cpp:1897
Test::Int::MiniModelLin::li051
const LinInstr li051[]
Definition mm-lin.cpp:673
Test::Int::MiniModelLin::li157
const LinInstr li157[]
Definition mm-lin.cpp:1097
Test::Int::MiniModelLin::li250
const LinInstr li250[]
Definition mm-lin.cpp:1469
Test::Int::MiniModelLin::li188
const LinInstr li188[]
Definition mm-lin.cpp:1221
Test::Int::MiniModelLin::li165
const LinInstr li165[]
Definition mm-lin.cpp:1129
Test::Int::MiniModelLin::li327
const LinInstr li327[]
Definition mm-lin.cpp:1777
Test::Int::MiniModelLin::li368
const LinInstr li368[]
Definition mm-lin.cpp:1941
Test::Int::MiniModelLin::li054
const LinInstr li054[]
Definition mm-lin.cpp:685
Test::Int::MiniModelLin::li208
const LinInstr li208[]
Definition mm-lin.cpp:1301
Test::Int::MiniModelLin::li264
const LinInstr li264[]
Definition mm-lin.cpp:1525
Test::Int::MiniModelLin::li255
const LinInstr li255[]
Definition mm-lin.cpp:1489
Test::Int::MiniModelLin::li178
const LinInstr li178[]
Definition mm-lin.cpp:1181
Test::Int::MiniModelLin::li152
const LinInstr li152[]
Definition mm-lin.cpp:1077
Test::Int::MiniModelLin::li091
const LinInstr li091[]
Definition mm-lin.cpp:833
Test::Int::MiniModelLin::li195
const LinInstr li195[]
Definition mm-lin.cpp:1249
Test::Int::MiniModelLin::li310
const LinInstr li310[]
Definition mm-lin.cpp:1709
Test::Int::MiniModelLin::li372
const LinInstr li372[]
Definition mm-lin.cpp:1957
Test::Int::MiniModelLin::li235
const LinInstr li235[]
Definition mm-lin.cpp:1409
Test::Int::MiniModelLin::li016
const LinInstr li016[]
Definition mm-lin.cpp:533
Test::Int::MiniModelLin::li251
const LinInstr li251[]
Definition mm-lin.cpp:1473
Test::Int::MiniModelLin::li281
const LinInstr li281[]
Definition mm-lin.cpp:1593
Test::Int::MiniModelLin::li183
const LinInstr li183[]
Definition mm-lin.cpp:1201
Test::Int::MiniModelLin::li274
const LinInstr li274[]
Definition mm-lin.cpp:1565
Test::Int::MiniModelLin::li110
const LinInstr li110[]
Definition mm-lin.cpp:909
Test::Int::MiniModelLin::li203
const LinInstr li203[]
Definition mm-lin.cpp:1281
Test::Int::MiniModelLin::li059
const LinInstr li059[]
Definition mm-lin.cpp:705
Test::Int::MiniModelLin::li381
const LinInstr li381[]
Definition mm-lin.cpp:1993
Test::Int::MiniModelLin::li295
const LinInstr li295[]
Definition mm-lin.cpp:1649
Test::Int::MiniModelLin::li228
const LinInstr li228[]
Definition mm-lin.cpp:1381
Test::Int::MiniModelLin::li182
const LinInstr li182[]
Definition mm-lin.cpp:1197
Test::Int::MiniModelLin::li362
const LinInstr li362[]
Definition mm-lin.cpp:1917
Test::Int::MiniModelLin::li205
const LinInstr li205[]
Definition mm-lin.cpp:1289
Test::Int::MiniModelLin::li122
const LinInstr li122[]
Definition mm-lin.cpp:957
Test::Int::MiniModelLin::li309
const LinInstr li309[]
Definition mm-lin.cpp:1705
Test::Int::MiniModelLin::li116
const LinInstr li116[]
Definition mm-lin.cpp:933
Test::Int::MiniModelLin::li196
const LinInstr li196[]
Definition mm-lin.cpp:1253
Test::Int::MiniModelLin::li096
const LinInstr li096[]
Definition mm-lin.cpp:853
Test::Int::MiniModelLin::li276
const LinInstr li276[]
Definition mm-lin.cpp:1573
Test::Int::MiniModelLin::li144
const LinInstr li144[]
Definition mm-lin.cpp:1045
Test::Int::MiniModelLin::li130
const LinInstr li130[]
Definition mm-lin.cpp:989
Test::Int::MiniModelLin::li220
const LinInstr li220[]
Definition mm-lin.cpp:1349
Test::Int::MiniModelLin::li364
const LinInstr li364[]
Definition mm-lin.cpp:1925
Test::Int::MiniModelLin::li269
const LinInstr li269[]
Definition mm-lin.cpp:1545
Test::Int::MiniModelLin::li215
const LinInstr li215[]
Definition mm-lin.cpp:1329
Test::Int::MiniModelLin::li192
const LinInstr li192[]
Definition mm-lin.cpp:1237
Test::Int::MiniModelLin::li204
const LinInstr li204[]
Definition mm-lin.cpp:1285
Test::Int::MiniModelLin::li397
const LinInstr li397[]
Definition mm-lin.cpp:2057
Test::Int::MiniModelLin::li213
const LinInstr li213[]
Definition mm-lin.cpp:1321
Test::Int::MiniModelLin::li140
const LinInstr li140[]
Definition mm-lin.cpp:1029
Test::Int::MiniModelLin::li003
const LinInstr li003[]
Definition mm-lin.cpp:481
Test::Int::MiniModelLin::li068
const LinInstr li068[]
Definition mm-lin.cpp:741
Test::Int::MiniModelLin::li127
const LinInstr li127[]
Definition mm-lin.cpp:977
Test::Int::MiniModelLin::li073
const LinInstr li073[]
Definition mm-lin.cpp:761
Test::Int::MiniModelLin::li315
const LinInstr li315[]
Definition mm-lin.cpp:1729
Test::Int::MiniModelLin::li284
const LinInstr li284[]
Definition mm-lin.cpp:1605
Test::Int::MiniModelLin::li191
const LinInstr li191[]
Definition mm-lin.cpp:1233
Test::Int::MiniModelLin::li104
const LinInstr li104[]
Definition mm-lin.cpp:885
Test::Int::MiniModelLin::li335
const LinInstr li335[]
Definition mm-lin.cpp:1809
Test::Int::MiniModelLin::li227
const LinInstr li227[]
Definition mm-lin.cpp:1377
Test::Int::MiniModelLin::li257
const LinInstr li257[]
Definition mm-lin.cpp:1497
Test::Int::MiniModelLin::li154
const LinInstr li154[]
Definition mm-lin.cpp:1085
Test::Int::MiniModelLin::li325
const LinInstr li325[]
Definition mm-lin.cpp:1769
Test::Int::MiniModelLin::li238
const LinInstr li238[]
Definition mm-lin.cpp:1421
Test::Int::MiniModelLin::li386
const LinInstr li386[]
Definition mm-lin.cpp:2013
Test::Int::MiniModelLin::li032
const LinInstr li032[]
Definition mm-lin.cpp:597
Test::Int::MiniModelLin::li233
const LinInstr li233[]
Definition mm-lin.cpp:1401
Test::Int::MiniModelLin::li360
const LinInstr li360[]
Definition mm-lin.cpp:1909
Test::Int::MiniModelLin::li107
const LinInstr li107[]
Definition mm-lin.cpp:897
Test::Int::MiniModelLin::li126
const LinInstr li126[]
Definition mm-lin.cpp:973
Test::Int::MiniModelLin::li301
const LinInstr li301[]
Definition mm-lin.cpp:1673
Test::Int::MiniModelLin::li225
const LinInstr li225[]
Definition mm-lin.cpp:1369
Test::Int::MiniModelLin::li395
const LinInstr li395[]
Definition mm-lin.cpp:2049
Test::Int::MiniModelLin::li098
const LinInstr li098[]
Definition mm-lin.cpp:861
Test::Int::MiniModelLin::li026
const LinInstr li026[]
Definition mm-lin.cpp:573
Test::Int::MiniModelLin::li001
const LinInstr li001[]
Definition mm-lin.cpp:473
Test::Int::MiniModelLin::li139
const LinInstr li139[]
Definition mm-lin.cpp:1025
Test::Int::MiniModelLin::li259
const LinInstr li259[]
Definition mm-lin.cpp:1505
Test::Int::MiniModelLin::li180
const LinInstr li180[]
Definition mm-lin.cpp:1189
Test::Int::MiniModelLin::li224
const LinInstr li224[]
Definition mm-lin.cpp:1365
Test::Int::MiniModelLin::li005
const LinInstr li005[]
Definition mm-lin.cpp:489
Test::Int::MiniModelLin::li229
const LinInstr li229[]
Definition mm-lin.cpp:1385
Test::Int::MiniModelLin::li363
const LinInstr li363[]
Definition mm-lin.cpp:1921
Test::Int::MiniModelLin::li253
const LinInstr li253[]
Definition mm-lin.cpp:1481
Test::Int::MiniModelLin::li345
const LinInstr li345[]
Definition mm-lin.cpp:1849
Test::Int::MiniModelLin::li015
const LinInstr li015[]
Definition mm-lin.cpp:529
Test::Int::MiniModelLin::li306
const LinInstr li306[]
Definition mm-lin.cpp:1693
Test::Int::MiniModelLin::li028
const LinInstr li028[]
Definition mm-lin.cpp:581
Test::Int::MiniModelLin::li172
const LinInstr li172[]
Definition mm-lin.cpp:1157
Test::Int::MiniModelLin::li210
const LinInstr li210[]
Definition mm-lin.cpp:1309
Test::Int::MiniModelLin::li262
const LinInstr li262[]
Definition mm-lin.cpp:1517
Test::Int::MiniModelLin::li288
const LinInstr li288[]
Definition mm-lin.cpp:1621
Test::Int::MiniModelLin::li177
const LinInstr li177[]
Definition mm-lin.cpp:1177
Test::Int::MiniModelLin::li260
const LinInstr li260[]
Definition mm-lin.cpp:1509
Test::Int::MiniModelLin::li077
const LinInstr li077[]
Definition mm-lin.cpp:777
Test::Int::MiniModelLin::li057
const LinInstr li057[]
Definition mm-lin.cpp:697
Test::Int::MiniModelLin::li369
const LinInstr li369[]
Definition mm-lin.cpp:1945
Test::Int::MiniModelLin::li207
const LinInstr li207[]
Definition mm-lin.cpp:1297
Test::Int::MiniModelLin::li307
const LinInstr li307[]
Definition mm-lin.cpp:1697
Test::Int::MiniModelLin::li029
const LinInstr li029[]
Definition mm-lin.cpp:585
Test::Int::MiniModelLin::li320
const LinInstr li320[]
Definition mm-lin.cpp:1749
Test::Int::MiniModelLin::li359
const LinInstr li359[]
Definition mm-lin.cpp:1905
Test::Int::MiniModelLin::li287
const LinInstr li287[]
Definition mm-lin.cpp:1617
Test::Int::MiniModelLin::li214
const LinInstr li214[]
Definition mm-lin.cpp:1325
Test::Int::MiniModelLin::li318
const LinInstr li318[]
Definition mm-lin.cpp:1741
Test::Int::MiniModelLin::li173
const LinInstr li173[]
Definition mm-lin.cpp:1161
Test::Int::MiniModelLin::li313
const LinInstr li313[]
Definition mm-lin.cpp:1721
Test::Int::MiniModelLin::li034
const LinInstr li034[]
Definition mm-lin.cpp:605
Test::Int::MiniModelLin::li273
const LinInstr li273[]
Definition mm-lin.cpp:1561
Test::Int::MiniModelLin::li268
const LinInstr li268[]
Definition mm-lin.cpp:1541
Test::Int::MiniModelLin::li302
const LinInstr li302[]
Definition mm-lin.cpp:1677
Test::Int::MiniModelLin::li134
const LinInstr li134[]
Definition mm-lin.cpp:1005
Test::Int::MiniModelLin::li112
const LinInstr li112[]
Definition mm-lin.cpp:917
Test::Int::MiniModelLin::li223
const LinInstr li223[]
Definition mm-lin.cpp:1361
Test::Int::MiniModelLin::li066
const LinInstr li066[]
Definition mm-lin.cpp:733
Test::Int::MiniModelLin::c
Create c
Definition mm-lin.cpp:2175
Test::Int::MiniModelLin::li387
const LinInstr li387[]
Definition mm-lin.cpp:2017
Test::Int::MiniModelLin::li286
const LinInstr li286[]
Definition mm-lin.cpp:1613
Test::Int::MiniModelLin::li199
const LinInstr li199[]
Definition mm-lin.cpp:1265
Test::Int::MiniModelLin::li206
const LinInstr li206[]
Definition mm-lin.cpp:1293
Test::Int::MiniModelLin::li201
const LinInstr li201[]
Definition mm-lin.cpp:1273
Test::Int::MiniModelLin::li267
const LinInstr li267[]
Definition mm-lin.cpp:1537
Test::Int::MiniModelLin::li150
const LinInstr li150[]
Definition mm-lin.cpp:1069
Test::Int::MiniModelLin::li245
const LinInstr li245[]
Definition mm-lin.cpp:1449
Test::Int::MiniModelLin::li340
const LinInstr li340[]
Definition mm-lin.cpp:1829
Test::Int::MiniModelLin::li027
const LinInstr li027[]
Definition mm-lin.cpp:577
Test::Int::MiniModelLin::li243
const LinInstr li243[]
Definition mm-lin.cpp:1441
Test::Int::MiniModelLin::li108
const LinInstr li108[]
Definition mm-lin.cpp:901
Test::Int::MiniModelLin::li285
const LinInstr li285[]
Definition mm-lin.cpp:1609
Test::Int::MiniModelLin::li
const LinInstr * li[]
Definition mm-lin.cpp:2070
Test::Int::MiniModelLin::li189
const LinInstr li189[]
Definition mm-lin.cpp:1225
Test::Int::MiniModelLin::li236
const LinInstr li236[]
Definition mm-lin.cpp:1413
Test::Int::MiniModelLin::eval
Expr eval(const LinInstr *pc, Expr reg[])
Evaluate linear instructions.
Definition mm-lin.cpp:68
Test::Int::MiniModelLin::li000
const LinInstr li000[]
Definition mm-lin.cpp:469
Test::Int::MiniModelLin::li111
const LinInstr li111[]
Definition mm-lin.cpp:913
Test::Int::MiniModelLin::li097
const LinInstr li097[]
Definition mm-lin.cpp:857
Test::Int::MiniModelLin::li099
const LinInstr li099[]
Definition mm-lin.cpp:865
Test::Int::MiniModelLin::li022
const LinInstr li022[]
Definition mm-lin.cpp:557
Test::Int::MiniModelLin::li297
const LinInstr li297[]
Definition mm-lin.cpp:1657
Test::Int::MiniModelLin::li045
const LinInstr li045[]
Definition mm-lin.cpp:649
Test::Int::MiniModelLin::li115
const LinInstr li115[]
Definition mm-lin.cpp:929
Test::Int::MiniModelLin::li075
const LinInstr li075[]
Definition mm-lin.cpp:769
Test::Int::MiniModelLin::li053
const LinInstr li053[]
Definition mm-lin.cpp:681
Test::Int::MiniModelLin::li169
const LinInstr li169[]
Definition mm-lin.cpp:1145
Test::Int::MiniModelLin::li209
const LinInstr li209[]
Definition mm-lin.cpp:1305
Test::Int::MiniModelLin::li044
const LinInstr li044[]
Definition mm-lin.cpp:645
Test::Int::MiniModelLin::li136
const LinInstr li136[]
Definition mm-lin.cpp:1013
Test::Int::MiniModelLin::li290
const LinInstr li290[]
Definition mm-lin.cpp:1629
Test::Int::MiniModelLin::li147
const LinInstr li147[]
Definition mm-lin.cpp:1057
Test::Int::MiniModelLin::li164
const LinInstr li164[]
Definition mm-lin.cpp:1125
Test::Int::MiniModelLin::li374
const LinInstr li374[]
Definition mm-lin.cpp:1965
Test::Int::MiniModelLin::li118
const LinInstr li118[]
Definition mm-lin.cpp:941
Test::Int::MiniModelLin::li033
const LinInstr li033[]
Definition mm-lin.cpp:601
Test::Int::MiniModelLin::li298
const LinInstr li298[]
Definition mm-lin.cpp:1661
Test::Int::MiniModelLin::li200
const LinInstr li200[]
Definition mm-lin.cpp:1269
Test::Int::MiniModelLin::li082
const LinInstr li082[]
Definition mm-lin.cpp:797
Test::Int::MiniModelLin::li321
const LinInstr li321[]
Definition mm-lin.cpp:1753
Test::Int::MiniModelLin::li311
const LinInstr li311[]
Definition mm-lin.cpp:1713
Test::Int::MiniModelLin::li308
const LinInstr li308[]
Definition mm-lin.cpp:1701
Test::Int::MiniModelLin::li312
const LinInstr li312[]
Definition mm-lin.cpp:1717
Test::Int::MiniModelLin::li383
const LinInstr li383[]
Definition mm-lin.cpp:2001
Test::Int::MiniModelLin::li272
const LinInstr li272[]
Definition mm-lin.cpp:1557
Test::Int::MiniModelLin::li142
const LinInstr li142[]
Definition mm-lin.cpp:1037
Test::Int::MiniModelLin::li081
const LinInstr li081[]
Definition mm-lin.cpp:793
Test::Int::MiniModelLin::li358
const LinInstr li358[]
Definition mm-lin.cpp:1901
Test::Int::MiniModelLin::li305
const LinInstr li305[]
Definition mm-lin.cpp:1689
Test::Int::MiniModelLin::li333
const LinInstr li333[]
Definition mm-lin.cpp:1801
Test::Int::MiniModelLin::li187
const LinInstr li187[]
Definition mm-lin.cpp:1217
Test::Int::MiniModelLin::li322
const LinInstr li322[]
Definition mm-lin.cpp:1757
Test::Int::MiniModelLin::li162
const LinInstr li162[]
Definition mm-lin.cpp:1117
Test::Int::MiniModelLin::li161
const LinInstr li161[]
Definition mm-lin.cpp:1113
Test::Int::MiniModelLin::li031
const LinInstr li031[]
Definition mm-lin.cpp:593
Test::Int::MiniModelLin::li176
const LinInstr li176[]
Definition mm-lin.cpp:1173
Test::Int::MiniModelLin::li094
const LinInstr li094[]
Definition mm-lin.cpp:845
Test::Int::MiniModelLin::li121
const LinInstr li121[]
Definition mm-lin.cpp:953
Test::Int::MiniModelLin::li303
const LinInstr li303[]
Definition mm-lin.cpp:1681
Test::Int::MiniModelLin::li019
const LinInstr li019[]
Definition mm-lin.cpp:545
Test::Int::MiniModelLin::li370
const LinInstr li370[]
Definition mm-lin.cpp:1949
Test::Int::MiniModelLin::li007
const LinInstr li007[]
Definition mm-lin.cpp:497
Test::Int::MiniModelLin::li064
const LinInstr li064[]
Definition mm-lin.cpp:725
Test::Int::MiniModelLin::li342
const LinInstr li342[]
Definition mm-lin.cpp:1837
Test::Int::MiniModelLin::li105
const LinInstr li105[]
Definition mm-lin.cpp:889
Test::Int::MiniModelLin::li185
const LinInstr li185[]
Definition mm-lin.cpp:1209
Test::Int::MiniModelLin::li039
const LinInstr li039[]
Definition mm-lin.cpp:625
Test::Int::MiniModelLin::li346
const LinInstr li346[]
Definition mm-lin.cpp:1853
Test::Int::MiniModelLin::li234
const LinInstr li234[]
Definition mm-lin.cpp:1405
Test::Int::MiniModelLin::li021
const LinInstr li021[]
Definition mm-lin.cpp:553
Test::Int::MiniModelLin::li092
const LinInstr li092[]
Definition mm-lin.cpp:837
Test::Int::MiniModelLin::li179
const LinInstr li179[]
Definition mm-lin.cpp:1185
Test::Int::MiniModelLin::li388
const LinInstr li388[]
Definition mm-lin.cpp:2021
Test::Int::MiniModelLin::li018
const LinInstr li018[]
Definition mm-lin.cpp:541
Test::Int::MiniModelLin::li175
const LinInstr li175[]
Definition mm-lin.cpp:1169
Test::Int::MiniModelLin::li367
const LinInstr li367[]
Definition mm-lin.cpp:1937
Test::Int::MiniModelLin::li040
const LinInstr li040[]
Definition mm-lin.cpp:629
Test::Int::MiniModelLin::li046
const LinInstr li046[]
Definition mm-lin.cpp:653
Test::Int::MiniModelLin::li102
const LinInstr li102[]
Definition mm-lin.cpp:877
Test::Int::MiniModelLin::li398
const LinInstr li398[]
Definition mm-lin.cpp:2061
Test::Int::MiniModelLin::li004
const LinInstr li004[]
Definition mm-lin.cpp:485
Test::Int::MiniModelLin::li163
const LinInstr li163[]
Definition mm-lin.cpp:1121
Test::Int::MiniModelLin::li135
const LinInstr li135[]
Definition mm-lin.cpp:1009
Test::Int::MiniModelLin::li050
const LinInstr li050[]
Definition mm-lin.cpp:669
Test::Int::MiniModelLin::li119
const LinInstr li119[]
Definition mm-lin.cpp:945
Test::Int::MiniModelLin::li055
const LinInstr li055[]
Definition mm-lin.cpp:689
Test::Int::MiniModelLin::li148
const LinInstr li148[]
Definition mm-lin.cpp:1061
Test::Int::MiniModelLin::li076
const LinInstr li076[]
Definition mm-lin.cpp:773
Test::Int::MiniModelLin::li349
const LinInstr li349[]
Definition mm-lin.cpp:1865
Test::Int
Testing finite domain integers.
Definition int.cpp:40
Test
General test support.
Definition afc.cpp:39
Test::r
Region r
Definition region.cpp:65
GECODE_NEVER
#define GECODE_NEVER
Assert that this command is never executed.
Definition macros.hpp:56
int.hh