Gecode::CpltSet::Select Namespace Reference
Detailed Description
Propagators for selection constraints.
Functions | |
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] |
void Gecode::CpltSet::Select::selectNonEmptySub_con | ( | Space * | home, | |
const CpltSetVarArgs & | x, | |||
const CpltSetVar & | s, | |||
const CpltSetVar & | t | |||
) | [inline] |