Gecode Namespace Reference

---

Detailed Description

Symmetry Breaking Search

implements symmetry breaking ala Backofen, Will (Backofen, Will, CP, 1999)

contributed by Sebastian Will

Namespaces
namespace	Int
namespace	Search
Functions
void	atleast (Space *home, const IntVarArgs &x, const IntArgs &ya, int m, IntConLevel icl=ICL_DEF)
void	atmost (Space *home, const IntVarArgs &x, const IntArgs &ya, int m, IntConLevel icl=ICL_DEF)
void	count (Space *home, const IntVarArgs &xa, const IntArgs &ya, IntRelType r, int z, IntConLevel icl)
template<class Int, class T>
Int	countDDS (T *initialSpace, unsigned int c_d, unsigned int a_d, Search::Statistics *stat, Gecode::Search::Stop *st, Int maxSols)
template<class Int, class T>
Int	countDFS (T *initialSpace, unsigned int c_d, unsigned int a_d, Search::Statistics *stat, Gecode::Search::Stop *st, Int maxSols)
void	exactly (Space *home, const IntVarArgs &x, const IntArgs &ya, int m, IntConLevel icl=ICL_DEF)

---

Function Documentation

void Gecode::atleast	(	Space *	home,
		const IntVarArgs &	x,
		const IntArgs &	ya,
		int	m,
		IntConLevel	icl = ICL_DEF
	)			[inline]

Definition at line 98 of file gecodeExtensions.hh.

void Gecode::atmost	(	Space *	home,
		const IntVarArgs &	x,
		const IntArgs &	ya,
		int	m,
		IntConLevel	icl = ICL_DEF
	)			[inline]

Definition at line 90 of file gecodeExtensions.hh.

void Gecode::count	(	Space *	home,
		const IntVarArgs &	xa,
		const IntArgs &	ya,
		IntRelType	r,
		int	z,
		IntConLevel	icl
	)			[inline]

Definition at line 47 of file gecodeExtensions.hh.

template<class Int, class T>

Int Gecode::countDDS	(	T *	initialSpace,
		unsigned int	c_d,
		unsigned int	a_d,
		Search::Statistics *	stat,
		Gecode::Search::Stop *	st,
		Int	maxSols
	)			[inline]

Definition at line 63 of file GC_searchExt.hh.

template<class Int, class T>

Int Gecode::countDFS	(	T *	initialSpace,
		unsigned int	c_d,
		unsigned int	a_d,
		Search::Statistics *	stat,
		Gecode::Search::Stop *	st,
		Int	maxSols
	)			[inline]

Definition at line 40 of file GC_searchExt.hh.

void Gecode::exactly	(	Space *	home,
		const IntVarArgs &	x,
		const IntArgs &	ya,
		int	m,
		IntConLevel	icl = ICL_DEF
	)			[inline]

Definition at line 106 of file gecodeExtensions.hh.