
Go to the source code of this file.
Classes | |
| class | Test::Int::Linear::IntInt |
| Test linear relation over integer variables More... | |
| class | Test::Int::Linear::IntVar |
| Test linear relation over integer variables More... | |
| class | Test::Int::Linear::BoolInt |
| Test linear relation over Boolean variables equal to constant More... | |
| class | Test::Int::Linear::BoolVar |
| Test linear relation over Boolean variables equal to integer variable More... | |
| class | Test::Int::Linear::Create |
| Help class to create and register tests. More... | |
Namespaces | |
| Test | |
| General test support. | |
| Test::Int | |
| Testing finite domain integers. | |
| Test::Int::Linear | |
| Tests for linear constraints | |
Functions | |
| bool | Test::Int::Linear::one (const Gecode::IntArgs &a) |
| Check whether a has only one coefficients. More... | |
Variables | |
| Create | Test::Int::Linear::c |