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

atmost.cc File Reference

(Revision: 6039)

#include "gecode/cpltset/propagators.hh"

Go to the source code of this file.

Namespaces

namespace  Gecode
namespace  Gecode::CpltSet
namespace  Gecode::CpltSet::AtMost

Functions

template<class View>
void Gecode::CpltSet::AtMost::atmostOne_post (Space *home, ViewArray< View > &x, int c)
template<class View>
void Gecode::CpltSet::AtMost::atmost_post (Space *home, ViewArray< View > &x, int c, SetRelType, int)
template<class View>
void Gecode::CpltSet::AtMost::atmost_post (Space *home, ViewArray< View > &x, int c, CpltSetRelType lex, int card)
template<class View>
void Gecode::CpltSet::AtMost::atmost_post (Space *home, View &x, View &y, int c, CpltSetRelType lex, int card)
template<class View>
void Gecode::CpltSet::AtMost::atmost_post (Space *home, View &x, View &y, int c, SetRelType, int card)
template<class Rel>
void Gecode::CpltSet::AtMost::atmost_con (Space *home, const CpltSetVar &x, const CpltSetVar &y, int c, Rel lex, int card)
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)
void Gecode::CpltSet::AtMost::atmostOne_con (Space *home, const CpltSetVarArgs &x, int c)
void Gecode::exactly (Space *home, CpltSetVar x, IntSet &is, unsigned int c)
 Post propagator for $ |x \cap is| = c $.
void Gecode::atmost (Space *home, CpltSetVar x, IntSet &is, unsigned int c)
 Post propagator for $ 0 \leq |x \cap is| \leq c $.
void Gecode::atmost (Space *home, CpltSetVar x, CpltSetVar y, unsigned int c)
 Post propagator for $ 0 \leq |x \cap y| \leq c $.
void Gecode::atmostLex (Space *home, CpltSetVar x, CpltSetVar y, unsigned int c, CpltSetRelType lex)
 Post propagator for $ 0 \leq |x \cap y| \leq c \wedge x \sim_{lex} y$.
void Gecode::atmostLexCard (Space *home, CpltSetVar x, CpltSetVar y, unsigned int c, CpltSetRelType lex, unsigned int d)
void Gecode::atmostCard (Space *home, CpltSetVar x, CpltSetVar y, unsigned int c, unsigned int d)
void Gecode::atmost (Space *home, CpltSetVar x, CpltSetVar y, CpltSetVar z, unsigned int c)
void Gecode::atmostOne (Space *home, const SetVarArgs &x, unsigned int c)
 Post propagator for $\forall 0\leq i\leq |x| : |x_i|=c$ and $\forall 0\leq i<j\leq |x| : |x_i\cap x_j|\leq 1$.