
Tests for value precedence constraints More...
Classes | |
| class | Multi |
| Test for multiple value precedence constraint More... | |
| class | Single |
| Test for single value precedence constraint More... | |
Variables | |
| Single | _a (2, 3) |
| Single | _b (0, 3) |
| Multi | _c (Gecode::IntArgs({1, 2, 3})) |
| Multi | _d (Gecode::IntArgs({3, 2, 1})) |
| Multi | _e (Gecode::IntArgs({4, 2, 3, 1})) |
Tests for value precedence constraints
| Single Test::Set::Precede::_a(2, 3) | ( | 2 | , |
| 3 | |||
| ) |
| Single Test::Set::Precede::_b(0, 3) | ( | 0 | , |
| 3 | |||
| ) |
| Multi Test::Set::Precede::_c(Gecode::IntArgs({1, 2, 3})) | ( | Gecode::IntArgs({1, 2, 3}) | ) |
| Multi Test::Set::Precede::_d(Gecode::IntArgs({3, 2, 1})) | ( | Gecode::IntArgs({3, 2, 1}) | ) |
| Multi Test::Set::Precede::_e(Gecode::IntArgs({4, 2, 3, 1})) | ( | Gecode::IntArgs({4, 2, 3, 1}) | ) |