Gecode::CpltSet::Partition Namespace Reference
Detailed Description
Propagators for partition constraints.
Functions | |
template<class View> | |
void | build_partition (ViewArray< View > &x, bdd &d0) |
template<class View0, class View1> | |
void | build_partition (ViewArray< View0 > &x, View1 &y, bdd &d0) |
template<class View> | |
void | build_lexorder (ViewArray< View > &x, bdd &d0, CpltSetRelType lex) |
template<class View> | |
void | partition_post (Space *home, ViewArray< View > &x, bool withlex, CpltSetRelType lex, bool withcard, int d) |
template<class View> | |
void | partition_post (Space *home, ViewArray< View > &x, View &y, bool, SetRelType, bool, int) |
template<class View0, class View1> | |
void | partition_post (Space *home, ViewArray< View0 > &x, View1 &y, bool withlex, SetRelType lex, bool withcard, int d) |
template<class View> | |
void | partition_post (Space *home, ViewArray< View > &x, bool, SetRelType, bool withcard, int d) |
template<class Rel> | |
void | partition_con (Space *home, const CpltSetVarArgs &x, bool withlex, Rel lex, bool withcard, int d) |
template<class Rel> | |
void | partition_con (Space *home, const CpltSetVarArgs &x, const CpltSetVar &y, bool withlex, Rel lex, bool withcard, int d) |
Function Documentation
template<class View>
void Gecode::CpltSet::Partition::build_partition | ( | ViewArray< View > & | x, | |
bdd & | d0 | |||
) | [inline] |
Definition at line 53 of file partition.cc.
template<class View0, class View1>
void Gecode::CpltSet::Partition::build_partition | ( | ViewArray< View0 > & | x, | |
View1 & | y, | |||
bdd & | d0 | |||
) | [inline] |
Definition at line 97 of file partition.cc.
template<class View>
void Gecode::CpltSet::Partition::build_lexorder | ( | ViewArray< View > & | x, | |
bdd & | d0, | |||
CpltSetRelType | lex | |||
) | [inline] |
Definition at line 139 of file partition.cc.
template<class View>
void Gecode::CpltSet::Partition::partition_post | ( | Space * | home, | |
ViewArray< View > & | x, | |||
bool | withlex, | |||
CpltSetRelType | lex, | |||
bool | withcard, | |||
int | d | |||
) | [inline] |
Definition at line 206 of file partition.cc.
template<class View>
void Gecode::CpltSet::Partition::partition_post | ( | Space * | home, | |
ViewArray< View > & | x, | |||
View & | y, | |||
bool | , | |||
SetRelType | , | |||
bool | , | |||
int | ||||
) | [inline] |
Definition at line 232 of file partition.cc.
template<class View0, class View1>
void Gecode::CpltSet::Partition::partition_post | ( | Space * | home, | |
ViewArray< View0 > & | x, | |||
View1 & | y, | |||
bool | withlex, | |||
SetRelType | lex, | |||
bool | withcard, | |||
int | d | |||
) | [inline] |
Definition at line 251 of file partition.cc.
template<class View>
void Gecode::CpltSet::Partition::partition_post | ( | Space * | home, | |
ViewArray< View > & | x, | |||
bool | , | |||
SetRelType | , | |||
bool | withcard, | |||
int | d | |||
) | [inline] |
Definition at line 264 of file partition.cc.
template<class Rel>
void Gecode::CpltSet::Partition::partition_con | ( | Space * | home, | |
const CpltSetVarArgs & | x, | |||
bool | withlex, | |||
Rel | lex, | |||
bool | withcard, | |||
int | d | |||
) | [inline] |
Definition at line 338 of file partition.cc.
template<class Rel>
void Gecode::CpltSet::Partition::partition_con | ( | Space * | home, | |
const CpltSetVarArgs & | x, | |||
const CpltSetVar & | y, | |||
bool | withlex, | |||
Rel | lex, | |||
bool | withcard, | |||
int | d | |||
) | [inline] |
Definition at line 347 of file partition.cc.