rel.cpp File Reference

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

Namespaces
namespace	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 >
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$ .
void	Gecode::rel (Home home, SetVar s, SetRelType r, IntVar x)
	Post propagator for $s \sim_r \{x\}$ .
void	Gecode::rel (Home home, IntVar x, SetRelType r, SetVar s)
	Post propagator for $\{x\} \sim_r s$ .
void	Gecode::rel (Home home, SetVar x, SetRelType r, SetVar y, BoolVar b)
	Post propagator for $(x \sim_r y) \Leftrightarrow b$ .
void	Gecode::rel (Home home, SetVar s, SetRelType r, IntVar x, BoolVar b)
	Post propagator for $(s \sim_r \{x\}) \Leftrightarrow b$ .
void	Gecode::rel (Home home, IntVar x, SetRelType r, SetVar s, BoolVar b)
	Post propagator for $(\{x\} \sim_r s) \Leftrightarrow b$ .

Namespaces