Test::Int::Precede Namespace Reference
Tests for value precedence constraints
More...
Classes |
| class | Single |
| | Test for single value precedence constraint More...
|
| class | Multi |
| | Test for multiple value precedence constraint More...
|
Functions |
| Multi | _c (Gecode::IntArgs(3, 1, 2, 3)) |
| Multi | _d (Gecode::IntArgs(3, 3, 2, 1)) |
| Multi | _e (Gecode::IntArgs(4, 4, 2, 3, 1)) |
Variables |
| Single | _a (2, 3) |
| Single | _b (1, 4) |
Detailed Description
Tests for value precedence constraints
Function Documentation
| Multi Test::Int::Precede::_c |
( |
Gecode:: |
IntArgs3, 1, 2, 3 |
) |
|
| Multi Test::Int::Precede::_d |
( |
Gecode:: |
IntArgs3, 3, 2, 1 |
) |
|
| Multi Test::Int::Precede::_e |
( |
Gecode:: |
IntArgs4, 4, 2, 3, 1 |
) |
|
Variable Documentation
