Test::Int::MiniModelLin Namespace Reference
Tests for minimal modelling constraints (linear) More...
Detailed Description
Tests for minimal modelling constraints (linear)
Enumeration Type Documentation
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.
Function Documentation
template<class Expr >
Expr Test::Int::MiniModelLin::eval | ( | const LinInstr * | pc, |
Expr | reg[] | ||
) |
Evaluate linear instructions.
Definition at line 72 of file mm-lin.cpp.