
#include "test/int.hh"Go to the source code of this file.
Classes | |
| class | Test::Int::Precede::Single |
| Test for single value precedence constraint More... | |
| class | Test::Int::Precede::Multi |
| Test for multiple value precedence constraint More... | |
Namespaces | |
| Test | |
| General test support. | |
| Test::Int | |
| Testing finite domain integers. | |
| Test::Int::Precede | |
| Tests for value precedence constraints | |
Functions | |
| Multi | Test::Int::Precede::_c (Gecode::IntArgs(3, 1, 2, 3)) |
| Multi | Test::Int::Precede::_d (Gecode::IntArgs(3, 3, 2, 1)) |
| Multi | Test::Int::Precede::_e (Gecode::IntArgs(4, 4, 2, 3, 1)) |
Variables | |
| Single | Test::Int::Precede::_a (2, 3) |
| Single | Test::Int::Precede::_b (1, 4) |