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 (1, 4) |
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::Int::Precede::_a(2, 3) |
Single Test::Int::Precede::_b(1, 4) |
Multi Test::Int::Precede::_c(Gecode::IntArgs({1, 2, 3})) |
Multi Test::Int::Precede::_d(Gecode::IntArgs({3, 2, 1})) |
Multi Test::Int::Precede::_e(Gecode::IntArgs({4, 2, 3, 1})) |