Generated on Wed Jan 4 17:49:15 2006 for Gecode by doxygen 1.4.6

rel.cc File Reference

(Revision: 2652)

#include "set.hh"

Go to the source code of this file.

Namespaces

namespace  Gecode

Functions

template<class View0, class View1>
void Gecode::rel_post (Space *home, View0 x0, SetRelType r, View1 x1)
template<class View0, class View1>
void Gecode::rel_re (Space *home, View0 x, SetRelType r, View1 y, BoolVar b)
void Gecode::rel (Space *home, SetVar x, SetRelType r, SetVar y)
 Post propagator for $ x \sim_r y$.
void Gecode::rel (Space *home, SetVar s, SetRelType r, IntVar x)
 Post propagator for $ s \sim_r \{x\}$.
void Gecode::rel (Space *home, IntVar x, SetRelType r, SetVar s)
 Post propagator for $ \{x\} \sim_r s$.
void Gecode::rel (Space *home, SetVar x, SetRelType r, SetVar y, BoolVar b)
 Post propagator for $ (x \sim_r y) \Leftrightarrow b $.
void Gecode::rel (Space *home, SetVar s, SetRelType r, IntVar x, BoolVar b)
 Post propagator for $ (s \sim_r \{x\}) \Leftrightarrow b $.
void Gecode::rel (Space *home, IntVar x, SetRelType r, SetVar s, BoolVar b)
 Post propagator for $ (\{x\} \sim_r s) \Leftrightarrow b $.