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