Connection constraints to finite domain variables
[Using finite integer sets with complete domain representation]
Functions | |
| void | Gecode::singleton (Space *home, IntVar x, CpltSetVar s) |
Post propagator for  . | |
Function Documentation
| GECODE_CPLTSET_EXPORT void Gecode::singleton | ( | Space * | home, | |
| IntVar | x, | |||
| CpltSetVar | s | |||
| ) |