Test::Int::Linear Namespace Reference
Detailed Description
Tests for linear constraints.
Classes | |
| class | IntInt |
| Test linear relation over integer variables. More... | |
| class | IntVar |
| Test linear relation over integer variables. More... | |
| class | BoolInt |
| Test linear relation over Boolean variables equal to constant. More... | |
| class | BoolVar |
| Test linear relation over Boolean variables equal to integer variable. More... | |
| class | Create |
| Help class to create and register tests. More... | |
Functions | |
| bool | one (const Gecode::IntArgs &a) |
| Check whether has only one coefficients. | |
Variables | |
| Create | c |
Function Documentation
| bool Test::Int::Linear::one | ( | const Gecode::IntArgs & | a | ) |