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

rel.cc File Reference

(Revision: 5219)

#include "gecode/cpltset/propagators.hh"

Go to the source code of this file.

Namespaces

namespace  Gecode
namespace  Gecode::CpltSet
namespace  Gecode::CpltSet::Rel

Functions

template<class View>
void Gecode::CpltSet::Rel::rel_post (Space *home, View x, CpltSetRelType r, View y)
template<class View>
void Gecode::CpltSet::Rel::rel_post (Space *home, View x, SetRelType r, View y)
template<class View0, class View1>
void Gecode::CpltSet::Rel::rel_post (Space *home, View0 x, CpltSetRelType r, View1 s)
template<class View0, class View1>
void Gecode::CpltSet::Rel::rel_post (Space *home, View0 x, SetRelType r, View1 s)
template<class View>
void Gecode::CpltSet::Rel::rel_post (Space *, ViewArray< View > &, CpltSetOpType, CpltSetRelType)
template<class View>
void Gecode::CpltSet::Rel::rel_post (Space *home, ViewArray< View > &x, CpltSetOpType o, SetRelType r)
template<class View>
void Gecode::CpltSet::Rel::rel_post (Space *, ViewArray< View > &, SetOpType, CpltSetRelType)
template<class View>
void Gecode::CpltSet::Rel::rel_post (Space *home, ViewArray< View > &x, SetOpType o, SetRelType r)
template<class Rel>
void Gecode::CpltSet::Rel::rel_con (Space *home, const CpltSetVar &x, Rel r, const CpltSetVar &y)
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)
void Gecode::rel (Space *home, CpltSetVar x, CpltSetRelType r, CpltSetVar y)
 Post propagator for $ x \sim_r y$.
void Gecode::rel (Space *home, CpltSetVar x, CpltSetOpType o, CpltSetVar y, CpltSetRelType r, CpltSetVar z)
 Post propagator for $ (x \diamond_{\mathit{o}} y) \sim_r z $.
void Gecode::rel (Space *home, CpltSetVar x, CpltSetOpType o, CpltSetVar y, SetRelType r, CpltSetVar z)
 Post propagator for $ (x \diamond_{\mathit{o}} y) \sim_r z $.
void Gecode::rel (Space *home, CpltSetVar x, SetOpType o, CpltSetVar y, CpltSetRelType r, CpltSetVar z)
 Post propagator for $ (x \diamond_{\mathit{o}} y) \sim_r z $.
void Gecode::rel (Space *home, CpltSetVar x, SetOpType o, CpltSetVar y, SetRelType r, CpltSetVar z)
 Post propagator for $ (x \diamond_{\mathit{o}} y) \sim_r z $.
void Gecode::rel (Space *home, CpltSetVar x, SetRelType r, CpltSetVar y)
 Post propagator for $ x \sim_r y$.