Gecode::CpltSet::Rel Namespace Reference
Detailed Description
Propagators for relation constraints.
Functions | |
template<class View> | |
void | rel_post (Space *home, View x, CpltSetRelType r, View y) |
template<class View> | |
void | rel_post (Space *home, View x, SetRelType r, View y) |
template<class View0, class View1> | |
void | rel_post (Space *home, View0 x, CpltSetRelType r, View1 s) |
template<class View0, class View1> | |
void | rel_post (Space *home, View0 x, SetRelType r, View1 s) |
template<class View> | |
void | rel_post (Space *, ViewArray< View > &, CpltSetOpType, CpltSetRelType) |
template<class View> | |
void | rel_post (Space *home, ViewArray< View > &x, CpltSetOpType o, SetRelType r) |
template<class View> | |
void | rel_post (Space *, ViewArray< View > &, SetOpType, CpltSetRelType) |
template<class View> | |
void | rel_post (Space *home, ViewArray< View > &x, SetOpType o, SetRelType r) |
template<class Rel> | |
void | rel_con (Space *home, const CpltSetVar &x, Rel r, const CpltSetVar &y) |
template<class Rel, class Op> | |
void | rel_con_bdd (Space *home, const CpltSetVar &x, Op o, const CpltSetVar &y, Rel r, const CpltSetVar &z) |
Function Documentation
template<class View>
void Gecode::CpltSet::Rel::rel_post | ( | Space * | home, | |
View | x, | |||
CpltSetRelType | r, | |||
View | y | |||
) | [inline] |
template<class View>
void Gecode::CpltSet::Rel::rel_post | ( | Space * | home, | |
View | x, | |||
SetRelType | r, | |||
View | y | |||
) | [inline] |
template<class View0, class View1>
void Gecode::CpltSet::Rel::rel_post | ( | Space * | home, | |
View0 | x, | |||
CpltSetRelType | r, | |||
View1 | s | |||
) | [inline] |
template<class View0, class View1>
void Gecode::CpltSet::Rel::rel_post | ( | Space * | home, | |
View0 | x, | |||
SetRelType | r, | |||
View1 | s | |||
) | [inline] |
template<class View>
void Gecode::CpltSet::Rel::rel_post | ( | Space * | , | |
ViewArray< View > & | , | |||
CpltSetOpType | , | |||
CpltSetRelType | ||||
) | [inline] |
template<class View>
void Gecode::CpltSet::Rel::rel_post | ( | Space * | home, | |
ViewArray< View > & | x, | |||
CpltSetOpType | o, | |||
SetRelType | r | |||
) | [inline] |
template<class View>
void Gecode::CpltSet::Rel::rel_post | ( | Space * | , | |
ViewArray< View > & | , | |||
SetOpType | , | |||
CpltSetRelType | ||||
) | [inline] |
template<class View>
void Gecode::CpltSet::Rel::rel_post | ( | Space * | home, | |
ViewArray< View > & | x, | |||
SetOpType | o, | |||
SetRelType | r | |||
) | [inline] |
template<class Rel>
void Gecode::CpltSet::Rel::rel_con | ( | Space * | home, | |
const CpltSetVar & | x, | |||
Rel | r, | |||
const CpltSetVar & | y | |||
) | [inline] |
template<class Rel, class Op>
void Gecode::CpltSet::Rel::rel_con_bdd | ( | Space * | home, | |
const CpltSetVar & | x, | |||
Op | o, | |||
const CpltSetVar & | y, | |||
Rel | r, | |||
const CpltSetVar & | z | |||
) | [inline] |