
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... | |