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... | |
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) |
Tests for value precedence constraints
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 | ) |
Single Test::Int::Precede::_a(2, 3) |
Single Test::Int::Precede::_b(1, 4) |