Gecode::CpltSet::Rel Namespace Reference

---

Detailed Description

Propagators for relation constraints.

Functions
template<class View>
void	rel_post (Space *home, View x, CpltSetRelType r, View y)
template<class View>
void	rel_post (Space *home, View x, SetRelType r, View y)
template<class View0, class View1>
void	rel_post (Space *home, View0 x, CpltSetRelType r, View1 s)
template<class View0, class View1>
void	rel_post (Space *home, View0 x, SetRelType r, View1 s)
template<class View>
void	rel_post (Space *, ViewArray< View > &, CpltSetOpType, CpltSetRelType)
template<class View>
void	rel_post (Space *home, ViewArray< View > &x, CpltSetOpType o, SetRelType r)
template<class View>
void	rel_post (Space *, ViewArray< View > &, SetOpType, CpltSetRelType)
template<class View>
void	rel_post (Space *home, ViewArray< View > &x, SetOpType o, SetRelType r)
template<class Rel>
void	rel_con (Space *home, const CpltSetVar &x, Rel r, const CpltSetVar &y)
template<class Rel, class Op>
void	rel_con_bdd (Space *home, const CpltSetVar &x, Op o, const CpltSetVar &y, Rel r, const CpltSetVar &z)

---

Function Documentation

template<class View>

void Gecode::CpltSet::Rel::rel_post	(	Space *	home,
		View	x,
		CpltSetRelType	r,
		View	y
	)			[inline]

Definition at line 52 of file rel.cc.

template<class View>

void Gecode::CpltSet::Rel::rel_post	(	Space *	home,
		View	x,
		SetRelType	r,
		View	y
	)			[inline]

Definition at line 118 of file rel.cc.

template<class View0, class View1>

void Gecode::CpltSet::Rel::rel_post	(	Space *	home,
		View0	x,
		CpltSetRelType	r,
		View1	s
	)			[inline]

Definition at line 224 of file rel.cc.

template<class View0, class View1>

void Gecode::CpltSet::Rel::rel_post	(	Space *	home,
		View0	x,
		SetRelType	r,
		View1	s
	)			[inline]

Definition at line 273 of file rel.cc.

template<class View>

void Gecode::CpltSet::Rel::rel_post	(	Space *	,
		ViewArray< View > &	,
		CpltSetOpType	,
		CpltSetRelType
	)			[inline]

Definition at line 356 of file rel.cc.

template<class View>

void Gecode::CpltSet::Rel::rel_post	(	Space *	home,
		ViewArray< View > &	x,
		CpltSetOpType	o,
		SetRelType	r
	)			[inline]

Definition at line 363 of file rel.cc.

template<class View>

void Gecode::CpltSet::Rel::rel_post	(	Space *	,
		ViewArray< View > &	,
		SetOpType	,
		CpltSetRelType
	)			[inline]

Definition at line 409 of file rel.cc.

template<class View>

void Gecode::CpltSet::Rel::rel_post	(	Space *	home,
		ViewArray< View > &	x,
		SetOpType	o,
		SetRelType	r
	)			[inline]

Definition at line 417 of file rel.cc.

template<class Rel>

void Gecode::CpltSet::Rel::rel_con	(	Space *	home,
		const CpltSetVar &	x,
		Rel	r,
		const CpltSetVar &	y
	)			[inline]

Definition at line 478 of file rel.cc.

template<class Rel, class Op>

void Gecode::CpltSet::Rel::rel_con_bdd	(	Space *	home,
		const CpltSetVar &	x,
		Op	o,
		const CpltSetVar &	y,
		Rel	r,
		const CpltSetVar &	z
	)			[inline]

Definition at line 487 of file rel.cc.