dom.cpp File Reference

#include <gecode/set.hh>
#include <gecode/set/rel.hh>

Namespaces
namespace	Gecode
	Gecode toplevel namespace
Functions
void	Gecode::dom (Home home, SetVar x, SetRelType r, int i)
	Propagates $x \sim_r \{i\}$ .
void	Gecode::dom (Home home, const SetVarArgs &x, SetRelType r, int i)
	Propagates $x_i \sim_r \{i\}$ for all $0\leq i<\|x\|$ .
void	Gecode::dom (Home home, SetVar x, SetRelType r, int i, int j)
	Propagates $x \sim_r \{i,\dots,j\}$ .
void	Gecode::dom (Home home, const SetVarArgs &x, SetRelType r, int i, int j)
	Propagates $x \sim_r \{i,\dots,j\}$ for all $0\leq i<\|x\|$ .
void	Gecode::dom (Home home, SetVar x, SetRelType r, const IntSet &s)
	Propagates $x \sim_r s$ .
void	Gecode::dom (Home home, const SetVarArgs &x, SetRelType r, const IntSet &s)
	Propagates $x \sim_r s$ for all $0\leq i<\|x\|$ .
void	Gecode::dom (Home home, SetVar x, SetRelType rt, int i, Reify r)
	Post propagator for $(x \sim_{rt} \{i\}) \equiv r$ .
void	Gecode::dom (Home home, SetVar x, SetRelType rt, int i, int j, Reify r)
	Post propagator for $(x \sim_{rt} \{i,\dots,j\}) \equiv r$ .
void	Gecode::dom (Home home, SetVar x, SetRelType rt, const IntSet &s, Reify r)
	Post propagator for $(x \sim_{rt} s) \equiv r$ .
void	Gecode::dom (Home home, SetVar x, SetVar d)
	Constrain domain of x according to domain of d.
void	Gecode::dom (Home home, const SetVarArgs &x, const SetVarArgs &d)
	Constrain domain of according to domain of for all $0\leq i<\|x\|$ .

Namespaces