rel.cpp File Reference

#include <gecode/int/rel.hh>
#include <gecode/int/bool.hh>
#include <algorithm>

Namespaces
namespace	Gecode
	Gecode toplevel namespace
Functions
void	Gecode::rel (Home home, IntVar x, IntRelType r, int c, IntConLevel icl=ICL_DEF)
	Propagates $x \sim_r c$ .
void	Gecode::rel (Home home, const IntVarArgs &x, IntRelType r, int c, IntConLevel icl=ICL_DEF)
	Propagates $x_i \sim_r c$ for all $0\leq i<\|x\|$ .
void	Gecode::rel (Home home, IntVar x0, IntRelType r, IntVar x1, IntConLevel icl=ICL_DEF)
	Post propagator for $x_0 \sim_r x_1$ .
void	Gecode::rel (Home home, const IntVarArgs &x, IntRelType r, IntVar y, IntConLevel icl=ICL_DEF)
	Post propagator for $x_i \sim_r y$ for all $0\leq i<\|x\|$ .
void	Gecode::rel (Home home, IntVar x0, IntRelType r, IntVar x1, BoolVar b, IntConLevel icl=ICL_DEF)
	Post propagator for $(x_0 \sim_r x_1)\Leftrightarrow b$ .
void	Gecode::rel (Home home, IntVar x, IntRelType r, int c, BoolVar b, IntConLevel icl=ICL_DEF)
	Post propagator for $(x \sim_r c)\Leftrightarrow b$ .
void	Gecode::rel (Home home, const IntVarArgs &x, IntRelType r, IntConLevel icl=ICL_DEF)
	Post propagator for relation among elements in x.
void	Gecode::rel (Home home, const IntVarArgs &x, IntRelType r, const IntVarArgs &y, IntConLevel icl=ICL_DEF)
	Post propagator for relation between x and y.

Namespaces