Generated on Sat Feb 7 2015 02:01:33 for Gecode by doxygen 1.8.9.1
rel.cpp File Reference

(Revision: 13426)

#include <gecode/set/rel.hh>
#include <gecode/set/rel-op.hh>
#include <gecode/set/int.hh>

Go to the source code of this file.

Namespaces

 Gecode
 Gecode toplevel namespace
 

Functions

template<class View0 , class View1 >
void Gecode::rel_post (Home home, View0 x0, SetRelType r, View1 x1)
 
template<class View0 , class View1 , ReifyMode rm>
void Gecode::rel_re (Home home, View0 x, SetRelType r, View1 y, BoolVar b)
 
void Gecode::rel (Home home, SetVar x, SetRelType r, SetVar y)
 Post propagator for $ x \sim_r y$. More...
 
void Gecode::rel (Home home, SetVar s, SetRelType r, IntVar x)
 Post propagator for $ s \sim_r \{x\}$. More...
 
void Gecode::rel (Home home, IntVar x, SetRelType r, SetVar s)
 Post propagator for $ \{x\} \sim_r s$. More...
 
void Gecode::rel (Home home, SetVar x, SetRelType rt, SetVar y, Reify r)
 Post propagator for $ (x \sim_{rt} y) \equiv r$. More...
 
void Gecode::rel (Home home, SetVar s, SetRelType rt, IntVar x, Reify r)
 Post propagator for $ (s \sim_{rt} \{x\}) \equiv r$. More...
 
void Gecode::rel (Home home, IntVar x, SetRelType rt, SetVar s, Reify r)
 Post propagator for $ (\{x\} \sim_{rt} s) \equiv r $. More...