Generated on Mon Aug 25 11:35:45 2008 for Gecode by doxygen 1.5.6
gecode » cpltset » constraints

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 $ |\bigcup_{i=0}^{n-1} x_i = U $.
void Gecode::partition (Space *home, const CpltSetVarArgs &x, const CpltSetVar &y)
 Post propagator for $ |\bigcup_{i=0}^{n-1} x_i = U $.
void Gecode::partitionLex (Space *home, const CpltSetVarArgs &x, CpltSetRelType lex)
 Post propagator for $ |\bigcup_{i=0}^{n-1} x_i = U \wedge \forall i,j\in \{0, \dots, n-1\}, i\neq j: x_i \sim_{lex} x_j$.
void Gecode::partitionLexCard (Space *home, const CpltSetVarArgs &x, CpltSetRelType lex, unsigned int c)
 Post propagator for $ |\bigcup_{i=0}^{n-1} x_i = U \wedge \forall i,j\in \{0, \dots, n-1\}, i\neq j: x_i \sim_{lex} x_j \wedge \forall i \in \{0, \dots, n-1\}: |x_i| = c $.
void Gecode::partitionCard (Space *home, const CpltSetVarArgs &x, unsigned int c)
 Post propagator for $ |\bigcup_{i=0}^{n-1} x_i = U \wedge \forall i \in \{0, \dots, n-1\}: |x_i| = c $.