Generated on Mon Aug 25 11:35:46 2008 for Gecode by doxygen 1.5.6

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 $ s = \{x\} $.


Function Documentation

GECODE_CPLTSET_EXPORT void Gecode::singleton ( Space *  home,
IntVar  x,
CpltSetVar  s 
)

Post propagator for $ s = \{x\} $.

Definition at line 45 of file singleton.cc.