
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.