
Go to the source code of this file.
Classes | |
| class | Test::Float::MiniModelLin::LinInstr |
| Type for representing a linear instruction. More... | |
| class | Test::Float::MiniModelLin::LinExpr |
| Test linear expressions over float variables More... | |
| class | Test::Float::MiniModelLin::LinRel |
| Test linear relations over float variables More... | |
| class | Test::Float::MiniModelLin::Create |
| Help class to create and register tests. More... | |
Namespaces | |
| Test | |
| General test support. | |
| Test::Float | |
| Testing domain floats. | |
| Test::Float::MiniModelLin | |
| Tests for minimal modeling constraints (linear) | |
Functions | |
| template<class Expr > | |
| Expr | Test::Float::MiniModelLin::eval (const LinInstr *pc, Expr reg[]) |
| Evaluate linear instructions. More... | |