Go to the source code of this file.
Namespaces | |
Gecode | |
Gecode toplevel namespace | |
Gecode::Int | |
Finite domain integers. | |
Gecode::Int::Distinct | |
Distinct propagators | |
Macros | |
#define | GECODE_INT_HALL_ONE(x0, x1, x2) |
Check whether x0 forms a Hall set of cardinality one. More... | |
#define | GECODE_INT_HALL_TWO(x0, x1, x2) |
Check whether x0 and x1 form a Hall set of cardinality two. More... | |
#define GECODE_INT_HALL_ONE | ( | x0, | |
x1, | |||
x2 | |||
) |
Check whether x0 forms a Hall set of cardinality one.
Definition at line 70 of file ter-dom.hpp.
#define GECODE_INT_HALL_TWO | ( | x0, | |
x1, | |||
x2 | |||
) |
Check whether x0 and x1 form a Hall set of cardinality two.
Definition at line 87 of file ter-dom.hpp.