
Tests for minimal modeling constraints (linear) More...
Classes | |
| class | Create |
| Help class to create and register tests. More... | |
| class | LinExpr |
| Test linear expressions over float variables More... | |
| class | LinInstr |
| Type for representing a linear instruction. More... | |
| class | LinRel |
| Test linear relations over float 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 modeling constraints (linear)
Linear opcode.
Definition at line 49 of file mm-lin.cpp.
| Expr Test::Float::MiniModelLin::eval | ( | const LinInstr * | pc, |
| Expr | reg[] | ||
| ) |
Evaluate linear instructions.
Definition at line 73 of file mm-lin.cpp.