Gecode::CpltSet::Partition Namespace Reference

---

Detailed Description

Propagators for partition constraints.

Functions
template<class View>
void	build_partition (ViewArray< View > &x, bdd &d0)
template<class View0, class View1>
void	build_partition (ViewArray< View0 > &x, View1 &y, bdd &d0)
template<class View>
void	build_lexorder (ViewArray< View > &x, bdd &d0, CpltSetRelType lex)
template<class View>
void	partition_post (Space *home, ViewArray< View > &x, bool withlex, CpltSetRelType lex, bool withcard, int d)
template<class View>
void	partition_post (Space *home, ViewArray< View > &x, View &y, bool, SetRelType, bool, int)
template<class View0, class View1>
void	partition_post (Space *home, ViewArray< View0 > &x, View1 &y, bool withlex, SetRelType lex, bool withcard, int d)
template<class View>
void	partition_post (Space *home, ViewArray< View > &x, bool, SetRelType, bool withcard, int d)
template<class Rel>
void	partition_con (Space *home, const CpltSetVarArgs &x, bool withlex, Rel lex, bool withcard, int d)
template<class Rel>
void	partition_con (Space *home, const CpltSetVarArgs &x, const CpltSetVar &y, bool withlex, Rel lex, bool withcard, int d)

---

Function Documentation

template<class View>

void Gecode::CpltSet::Partition::build_partition	(	ViewArray< View > &	x,
		bdd &	d0
	)			[inline]

Definition at line 53 of file partition.cc.

template<class View0, class View1>

void Gecode::CpltSet::Partition::build_partition	(	ViewArray< View0 > &	x,
		View1 &	y,
		bdd &	d0
	)			[inline]

Definition at line 97 of file partition.cc.

template<class View>

void Gecode::CpltSet::Partition::build_lexorder	(	ViewArray< View > &	x,
		bdd &	d0,
		CpltSetRelType	lex
	)			[inline]

Definition at line 139 of file partition.cc.

template<class View>

void Gecode::CpltSet::Partition::partition_post	(	Space *	home,
		ViewArray< View > &	x,
		bool	withlex,
		CpltSetRelType	lex,
		bool	withcard,
		int	d
	)			[inline]

Definition at line 206 of file partition.cc.

template<class View>

void Gecode::CpltSet::Partition::partition_post	(	Space *	home,
		ViewArray< View > &	x,
		View &	y,
		bool	,
		SetRelType	,
		bool	,
		int
	)			[inline]

Definition at line 232 of file partition.cc.

template<class View0, class View1>

void Gecode::CpltSet::Partition::partition_post	(	Space *	home,
		ViewArray< View0 > &	x,
		View1 &	y,
		bool	withlex,
		SetRelType	lex,
		bool	withcard,
		int	d
	)			[inline]

Definition at line 251 of file partition.cc.

template<class View>

void Gecode::CpltSet::Partition::partition_post	(	Space *	home,
		ViewArray< View > &	x,
		bool	,
		SetRelType	,
		bool	withcard,
		int	d
	)			[inline]

Definition at line 264 of file partition.cc.

template<class Rel>

void Gecode::CpltSet::Partition::partition_con	(	Space *	home,
		const CpltSetVarArgs &	x,
		bool	withlex,
		Rel	lex,
		bool	withcard,
		int	d
	)			[inline]

Definition at line 338 of file partition.cc.

template<class Rel>

void Gecode::CpltSet::Partition::partition_con	(	Space *	home,
		const CpltSetVarArgs &	x,
		const CpltSetVar &	y,
		bool	withlex,
		Rel	lex,
		bool	withcard,
		int	d
	)			[inline]

Definition at line 347 of file partition.cc.