Go to the source code of this file.
Classes | |
class | Test::Int::MiniModelLin::LinInstr |
Type for representing a linear instruction. More... | |
class | Test::Int::MiniModelLin::LinExprInt |
Test linear expressions over integer variables More... | |
class | Test::Int::MiniModelLin::LinExprBool |
Test linear expressions over Boolean variables More... | |
class | Test::Int::MiniModelLin::LinExprMixed |
Test linear expressions over integer and Boolean variables More... | |
class | Test::Int::MiniModelLin::LinRelInt |
Test linear relations over integer variables More... | |
class | Test::Int::MiniModelLin::LinRelBool |
Test linear relations over Boolean variables More... | |
class | Test::Int::MiniModelLin::LinRelMixed |
Test linear relations over integer and Boolean variables More... | |
class | Test::Int::MiniModelLin::Create |
Help class to create and register tests. More... | |
Namespaces | |
Test | |
General test support. | |
Test::Int | |
Testing finite domain integers. | |
Test::Int::MiniModelLin | |
Tests for minimal modelling constraints (linear) | |
Functions | |
template<class Expr > | |
Expr | Test::Int::MiniModelLin::eval (const LinInstr *pc, Expr reg[]) |
Evaluate linear instructions. More... | |