Gecode::CpltSet::AtMost Namespace Reference

---

Detailed Description

Propagators for intersection constraints with cardinality restrictions.

Functions
template<class View>
void	atmostOne_post (Space *home, ViewArray< View > &x, int c)
template<class View>
void	atmost_post (Space *home, ViewArray< View > &x, int c, SetRelType, int)
template<class View>
void	atmost_post (Space *home, ViewArray< View > &x, int c, CpltSetRelType lex, int card)
template<class View>
void	atmost_post (Space *home, View &x, View &y, int c, CpltSetRelType lex, int card)
template<class View>
void	atmost_post (Space *home, View &x, View &y, int c, SetRelType, int card)
template<class Rel>
void	atmost_con (Space *home, const CpltSetVar &x, const CpltSetVar &y, int c, Rel lex, int card)
template<class Rel>
void	atmost_con (Space *home, const CpltSetVar &x, const CpltSetVar &y, const CpltSetVar &z, int c, Rel lex, int card)
void	atmostOne_con (Space *home, const CpltSetVarArgs &x, int c)

---

Function Documentation

template<class View>

void Gecode::CpltSet::AtMost::atmostOne_post	(	Space *	home,
		ViewArray< View > &	x,
		int	c
	)			[inline]

Definition at line 54 of file atmost.cc.

template<class View>

void Gecode::CpltSet::AtMost::atmost_post	(	Space *	home,
		ViewArray< View > &	x,
		int	c,
		SetRelType	,
		int
	)			[inline]

Definition at line 90 of file atmost.cc.

template<class View>

void Gecode::CpltSet::AtMost::atmost_post	(	Space *	home,
		ViewArray< View > &	x,
		int	c,
		CpltSetRelType	lex,
		int	card
	)			[inline]

Definition at line 120 of file atmost.cc.

template<class View>

void Gecode::CpltSet::AtMost::atmost_post	(	Space *	home,
		View &	x,
		View &	y,
		int	c,
		CpltSetRelType	lex,
		int	card
	)			[inline]

Definition at line 205 of file atmost.cc.

template<class View>

void Gecode::CpltSet::AtMost::atmost_post	(	Space *	home,
		View &	x,
		View &	y,
		int	c,
		SetRelType	,
		int	card
	)			[inline]

Definition at line 286 of file atmost.cc.

template<class Rel>

void Gecode::CpltSet::AtMost::atmost_con	(	Space *	home,
		const CpltSetVar &	x,
		const CpltSetVar &	y,
		int	c,
		Rel	lex,
		int	card
	)			[inline]

Definition at line 320 of file atmost.cc.

template<class Rel>

void Gecode::CpltSet::AtMost::atmost_con	(	Space *	home,
		const CpltSetVar &	x,
		const CpltSetVar &	y,
		const CpltSetVar &	z,
		int	c,
		Rel	lex,
		int	card
	)			[inline]

Definition at line 329 of file atmost.cc.

void Gecode::CpltSet::AtMost::atmostOne_con	(	Space *	home,
		const CpltSetVarArgs &	x,
		int	c
	)			[inline]

Definition at line 340 of file atmost.cc.