
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.