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

Gecode::CpltSet::Select Namespace Reference

Detailed Description

Propagators for selection constraints.


template<class View>
void selectNonEmptySub_post (Space *home, ViewArray< View > x)
void selectNonEmptySub_con (Space *home, const CpltSetVarArgs &x, const CpltSetVar &s, const CpltSetVar &t)

Function Documentation

template<class View>
void Gecode::CpltSet::Select::selectNonEmptySub_post ( Space *  home,
ViewArray< View >  x 
) [inline]

Definition at line 54 of file

void Gecode::CpltSet::Select::selectNonEmptySub_con ( Space *  home,
const CpltSetVarArgs &  x,
const CpltSetVar &  s,
const CpltSetVar &  t 
) [inline]

Definition at line 102 of file