Gecode::CpltSet::RangeRoots Namespace Reference

---

Detailed Description

Propagators for range/roots constraints.

Functions
template<class View0, class View1>
void	buildRange (Space *home, ViewArray< View0 > &seq, View1 selview, View1 unionview, bdd &d0)
	Constructs d0 as the bdd representing the Range constraint for the given variables.
template<class View0, class View1>
void	range_post (Space *home, ViewArray< View0 > &seq, View1 selview, View1 unionview)
void	range_con (Space *home, const CpltSetVarArgs &x, const CpltSetVar &s, const CpltSetVar &t)
template<class View0, class View1>
void	buildRoots (Space *home, ViewArray< View0 > &seq, View1 selview, View1 unionview, bdd &d0)
	Constructs d0 as the bdd representing the Roots constraint for the given variables.
template<class View0, class View1>
void	roots_post (Space *home, ViewArray< View0 > &seq, View1 selview, View1 unionview)
void	roots_con (Space *home, const CpltSetVarArgs &x, const CpltSetVar &s, const CpltSetVar &t, const CpltSetVarArgs &allvars)
template<class View0, class View1>
void	nvalue_post (Space *home, ViewArray< View0 > &seq, View1 selview, View1 unionview, int usedvalues)
void	nvalue_con (Space *home, const CpltSetVarArgs &x, const CpltSetVar &s, const CpltSetVar &t, int usedvalues, const CpltSetVarArgs &allvars)
template<class View0, class View1>
void	uses_post (Space *home, ViewArray< View0 > &seq, View1 selview, View1 unionview, ViewArray< View0 > &seqprime, View1 selviewprime, View1 unionviewprime)
void	uses_con (Space *home, const CpltSetVarArgs &x, const CpltSetVar &s, const CpltSetVar &t, const CpltSetVarArgs &y, const CpltSetVar &u, const CpltSetVar &v)
template<class View>
void	selectUnion_post (Space *home, ViewArray< View > &x)
void	selectUnion_con (Space *home, const CpltSetVarArgs &x, const CpltSetVar &s, const CpltSetVar &t)

---

Function Documentation

template<class View0, class View1>

void Gecode::CpltSet::RangeRoots::buildRange	(	Space *	home,
		ViewArray< View0 > &	seq,
		View1	selview,
		View1	unionview,
		bdd &	d0
	)			[inline]

Constructs d0 as the bdd representing the Range constraint for the given variables.

TODO: shouldnt we allow inter to be bdd_false() ?

Definition at line 60 of file rangeroots.cc.

template<class View0, class View1>

void Gecode::CpltSet::RangeRoots::range_post	(	Space *	home,
		ViewArray< View0 > &	seq,
		View1	selview,
		View1	unionview
	)			[inline]

Definition at line 133 of file rangeroots.cc.

void Gecode::CpltSet::RangeRoots::range_con	(	Space *	home,
		const CpltSetVarArgs &	x,
		const CpltSetVar &	s,
		const CpltSetVar &	t
	)			[inline]

Definition at line 146 of file rangeroots.cc.

template<class View0, class View1>

void Gecode::CpltSet::RangeRoots::buildRoots	(	Space *	home,
		ViewArray< View0 > &	seq,
		View1	selview,
		View1	unionview,
		bdd &	d0
	)			[inline]

Constructs d0 as the bdd representing the Roots constraint for the given variables.

Definition at line 162 of file rangeroots.cc.

template<class View0, class View1>

void Gecode::CpltSet::RangeRoots::roots_post	(	Space *	home,
		ViewArray< View0 > &	seq,
		View1	selview,
		View1	unionview
	)			[inline]

Definition at line 241 of file rangeroots.cc.

void Gecode::CpltSet::RangeRoots::roots_con	(	Space *	home,
		const CpltSetVarArgs &	x,
		const CpltSetVar &	s,
		const CpltSetVar &	t,
		const CpltSetVarArgs &	allvars
	)			[inline]

Definition at line 254 of file rangeroots.cc.

template<class View0, class View1>

void Gecode::CpltSet::RangeRoots::nvalue_post	(	Space *	home,
		ViewArray< View0 > &	seq,
		View1	selview,
		View1	unionview,
		int	usedvalues
	)			[inline]

TODO: WE HAVE TO ORDER ALL BDD VARS AVAILABLE SO FAR

Definition at line 277 of file rangeroots.cc.

void Gecode::CpltSet::RangeRoots::nvalue_con	(	Space *	home,
		const CpltSetVarArgs &	x,
		const CpltSetVar &	s,
		const CpltSetVar &	t,
		int	usedvalues,
		const CpltSetVarArgs &	allvars
	)			[inline]

Definition at line 302 of file rangeroots.cc.

template<class View0, class View1>

void Gecode::CpltSet::RangeRoots::uses_post	(	Space *	home,
		ViewArray< View0 > &	seq,
		View1	selview,
		View1	unionview,
		ViewArray< View0 > &	seqprime,
		View1	selviewprime,
		View1	unionviewprime
	)			[inline]

Definition at line 325 of file rangeroots.cc.

void Gecode::CpltSet::RangeRoots::uses_con	(	Space *	home,
		const CpltSetVarArgs &	x,
		const CpltSetVar &	s,
		const CpltSetVar &	t,
		const CpltSetVarArgs &	y,
		const CpltSetVar &	u,
		const CpltSetVar &	v
	)			[inline]

Definition at line 374 of file rangeroots.cc.

template<class View>

void Gecode::CpltSet::RangeRoots::selectUnion_post	(	Space *	home,
		ViewArray< View > &	x
	)			[inline]

Definition at line 399 of file rangeroots.cc.

void Gecode::CpltSet::RangeRoots::selectUnion_con	(	Space *	home,
		const CpltSetVarArgs &	x,
		const CpltSetVar &	s,
		const CpltSetVar &	t
	)			[inline]

Definition at line 414 of file rangeroots.cc.