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