
Functions 
void  Gecode::min (Space *home, SetVar s, IntVar x) 
 Post propagator that propagates that x is the minimal element of s, and that s is not empty.

void  Gecode::max (Space *home, SetVar s, IntVar x) 
 Post propagator that propagates that x is the maximal element of s, and that s is not empty.

void  Gecode::match (Space *home, SetVar s, const IntVarArgs &x) 
 Post propagator that propagates that s contains the , which are sorted in nondescending order.

void  Gecode::channel (Space *home, const IntVarArgs &x, const SetVarArgs &y) 
 Post propagator for .

void  Gecode::channel (Space *home, const BoolVarArgs &x, SetVar y) 
 Post propagator for .

void  Gecode::cardinality (Space *home, SetVar s, IntVar x) 
 Post propagator for .

void  Gecode::weights (Space *home, const IntArgs &elements, const IntArgs &weights, SetVar x, IntVar y) 
 Post propagator for .
