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 | |
namespace | Test |
General test support. | |
namespace | Test::Float |
Testing domain floats. | |
namespace | 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. | |