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.