partition.cc File Reference
(Revision: 6039)
#include "gecode/cpltset.hh"
#include "gecode/cpltset/propagators.hh"
Go to the source code of this file.
Namespaces | |
namespace | Gecode |
namespace | Gecode::CpltSet |
namespace | Gecode::CpltSet::Partition |
Functions | |
template<class View> | |
void | Gecode::CpltSet::Partition::build_partition (ViewArray< View > &x, bdd &d0) |
template<class View0, class View1> | |
void | Gecode::CpltSet::Partition::build_partition (ViewArray< View0 > &x, View1 &y, bdd &d0) |
template<class View> | |
void | Gecode::CpltSet::Partition::build_lexorder (ViewArray< View > &x, bdd &d0, CpltSetRelType lex) |
template<class View> | |
void | Gecode::CpltSet::Partition::partition_post (Space *home, ViewArray< View > &x, bool withlex, CpltSetRelType lex, bool withcard, int d) |
template<class View> | |
void | Gecode::CpltSet::Partition::partition_post (Space *home, ViewArray< View > &x, View &y, bool, SetRelType, bool, int) |
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) |
template<class View> | |
void | Gecode::CpltSet::Partition::partition_post (Space *home, ViewArray< View > &x, bool, SetRelType, bool withcard, int d) |
template<class Rel> | |
void | Gecode::CpltSet::Partition::partition_con (Space *home, const CpltSetVarArgs &x, bool withlex, Rel lex, bool withcard, int d) |
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) |
void | Gecode::partition (Space *home, const CpltSetVarArgs &x) |
Post propagator for ![]() | |
void | Gecode::partition (Space *home, const CpltSetVarArgs &x, const CpltSetVar &y) |
Post propagator for ![]() | |
void | Gecode::partitionLex (Space *home, const CpltSetVarArgs &x, CpltSetRelType lex) |
Post propagator for ![]() | |
void | Gecode::partitionLexCard (Space *home, const CpltSetVarArgs &x, CpltSetRelType lex, unsigned int c) |
Post propagator for ![]() | |
void | Gecode::partitionCard (Space *home, const CpltSetVarArgs &x, unsigned int c) |
Post propagator for ![]() |