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 | |||
) |