Gecode::CpltSet::Select Namespace Reference

---

Detailed Description

Propagators for selection constraints.

Functions
template<class View>
void	selectNonEmptySub_post (Space *home, ViewArray< View > x)
void	selectNonEmptySub_con (Space *home, const CpltSetVarArgs &x, const CpltSetVar &s, const CpltSetVar &t)

---

Function Documentation

template<class View>

void Gecode::CpltSet::Select::selectNonEmptySub_post	(	Space *	home,
		ViewArray< View >	x
	)			[inline]

Definition at line 54 of file select.cc.

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

Definition at line 102 of file select.cc.