Gecode::Set::Distinct Namespace Reference
Detailed Description
Propagators for global distinctness constraints.
Classes | |
| class | Binomial |
| Computing binomial coefficients using dynamic programming. More... | |
| class | AtmostOne |
| Propagator for the AtMostOneIntersection constraint More... | |
| class | Distinct |
| Propagator for the n-ary distinct constraint with fixed cardinalities More... | |