Tests for minimal modelling constraints (linear) More...
Classes | |
class | Create |
Help class to create and register tests. More... | |
class | LinExprBool |
Test linear expressions over Boolean variables More... | |
class | LinExprInt |
Test linear expressions over integer variables More... | |
class | LinExprMixed |
Test linear expressions over integer and Boolean variables More... | |
class | LinInstr |
Type for representing a linear instruction. More... | |
class | LinRelBool |
Test linear relations over Boolean variables More... | |
class | LinRelInt |
Test linear relations over integer variables More... | |
class | LinRelMixed |
Test linear relations over integer and Boolean variables More... | |
Enumerations | |
enum | LinOpcode { LO_ACE, LO_AEC, LO_AEE, LO_SCE, LO_SEC, LO_SEE, LO_SE, LO_MCE, LO_MEC, LO_HLT } |
Linear opcode. More... | |
Functions | |
template<class Expr > | |
Expr | eval (const LinInstr *pc, Expr reg[]) |
Evaluate linear instructions. More... | |
Tests for minimal modelling constraints (linear)
Linear opcode.
Enumerator | |
---|---|
LO_ACE |
Add integer and expression. |
LO_AEC |
Add expression and integer. |
LO_AEE |
Add expressions. |
LO_SCE |
Subtract integer and expression. |
LO_SEC |
Subtract expression and integer. |
LO_SEE |
Subtract expressions. |
LO_SE |
Unary subtraction. |
LO_MCE |
Multiply constant and expression. |
LO_MEC |
Multiply constant and expression. |
LO_HLT |
Stop execution. |
Definition at line 48 of file mm-lin.cpp.
Expr Test::Int::MiniModelLin::eval | ( | const LinInstr * | pc, |
Expr | reg[] | ||
) |
Evaluate linear instructions.
Definition at line 72 of file mm-lin.cpp.