Gecode::CpltSet::AtMost Namespace Reference
Detailed Description
Propagators for intersection constraints with cardinality restrictions.
Functions | |
template<class View> | |
void | atmostOne_post (Space *home, ViewArray< View > &x, int c) |
template<class View> | |
void | atmost_post (Space *home, ViewArray< View > &x, int c, SetRelType, int) |
template<class View> | |
void | atmost_post (Space *home, ViewArray< View > &x, int c, CpltSetRelType lex, int card) |
template<class View> | |
void | atmost_post (Space *home, View &x, View &y, int c, CpltSetRelType lex, int card) |
template<class View> | |
void | atmost_post (Space *home, View &x, View &y, int c, SetRelType, int card) |
template<class Rel> | |
void | atmost_con (Space *home, const CpltSetVar &x, const CpltSetVar &y, int c, Rel lex, int card) |
template<class Rel> | |
void | atmost_con (Space *home, const CpltSetVar &x, const CpltSetVar &y, const CpltSetVar &z, int c, Rel lex, int card) |
void | atmostOne_con (Space *home, const CpltSetVarArgs &x, int c) |
Function Documentation
template<class View>
void Gecode::CpltSet::AtMost::atmostOne_post | ( | Space * | home, | |
ViewArray< View > & | x, | |||
int | c | |||
) | [inline] |
template<class View>
void Gecode::CpltSet::AtMost::atmost_post | ( | Space * | home, | |
ViewArray< View > & | x, | |||
int | c, | |||
SetRelType | , | |||
int | ||||
) | [inline] |
template<class View>
void Gecode::CpltSet::AtMost::atmost_post | ( | Space * | home, | |
ViewArray< View > & | x, | |||
int | c, | |||
CpltSetRelType | lex, | |||
int | card | |||
) | [inline] |
template<class View>
void Gecode::CpltSet::AtMost::atmost_post | ( | Space * | home, | |
View & | x, | |||
View & | y, | |||
int | c, | |||
CpltSetRelType | lex, | |||
int | card | |||
) | [inline] |
template<class View>
void Gecode::CpltSet::AtMost::atmost_post | ( | Space * | home, | |
View & | x, | |||
View & | y, | |||
int | c, | |||
SetRelType | , | |||
int | card | |||
) | [inline] |
template<class Rel>
void Gecode::CpltSet::AtMost::atmost_con | ( | Space * | home, | |
const CpltSetVar & | x, | |||
const CpltSetVar & | y, | |||
int | c, | |||
Rel | lex, | |||
int | card | |||
) | [inline] |
template<class Rel>
void Gecode::CpltSet::AtMost::atmost_con | ( | Space * | home, | |
const CpltSetVar & | x, | |||
const CpltSetVar & | y, | |||
const CpltSetVar & | z, | |||
int | c, | |||
Rel | lex, | |||
int | card | |||
) | [inline] |
void Gecode::CpltSet::AtMost::atmostOne_con | ( | Space * | home, | |
const CpltSetVarArgs & | x, | |||
int | c | |||
) | [inline] |