dom.cpp File Reference

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

Go to the source code of this file.

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 \( x_i \) according to domain of \( d_i \) for all \(0\leq i<|x|\).