
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.