Gecode::Int::Branch Namespace Reference

Integer branchers. More...

Classes
class	PosValuesChoice
	Choice storing position and values for integer views More...
class	MeritMin
	Merit class for mimimum of integer views. More...
class	MeritMax
	Merit class for maximum. More...
class	MeritSize
	Merit class for size. More...
class	MeritDegreeSize
	Merit class for degree over size. More...
class	MeritAFCSize
	Merit class for AFC over size. More...
class	MeritActionSize
	Merit class for action over size. More...
class	MeritCHBSize
	Merit class for CHB over size. More...
class	MeritRegretMin
	Merit class for minimum regret. More...
class	MeritRegretMax
	Merit class for maximum regret. More...
class	ValSelMin
	Value selection class for mimimum of view. More...
class	ValSelMax
	Value selection class for maximum of view. More...
class	ValSelMed
	Value selection class for median of view. More...
class	ValSelAvg
	Value selection class for average of view. More...
class	ValSelRnd
	Value selection class for random value of view. More...
class	ValSelRangeMin
	Value selection class for minimum range of integer view. More...
class	ValSelRangeMax
	Value selection class for maximum range of integer view. More...
class	EqNGL
	No-good literal for equality. More...
class	NqNGL
	No-good literal for disequality. More...
class	LqNGL
	No-good literal for less or equal. More...
class	GqNGL
	No-good literal for greater or equal. More...
class	ValCommitEq
	Value commit class for equality. More...
class	ValCommitLq
	Value commit class for less or equal. More...
class	ValCommitGq
	Value commit class for greater or equal. More...
class	ValCommitGr
	Value commit class for greater. More...
class	ViewValuesBrancher
	Brancher by view and values selection More...
Functions
ValSelCommitBase< IntView, int > *	valselcommit (Space &home, const IntValBranch &ivb)
	Return value and commit for integer views.
ValSelCommitBase< IntView, int > *	valselcommit (Space &home, const IntAssign &ia)
	Return value and commit for integer views.
ValSelCommitBase< BoolView, int > *	valselcommit (Space &home, const BoolValBranch &bvb)
	Return value and commit for Boolean views.
ValSelCommitBase< BoolView, int > *	valselcommit (Space &home, const BoolAssign &ba)
	Return value and commit for Boolean views.
ViewSel< IntView > *	viewsel (Space &home, const IntVarBranch &ivb)
	Return view selectors for integer views.
ViewSel< BoolView > *	viewsel (Space &home, const BoolVarBranch &bvb)
	Return view selectors for Boolean views.
template<int n, bool min>
void	postviewvaluesbrancher (Home home, ViewArray< IntView > &x, ViewSel< IntView > *vs[n], IntBranchFilter bf, IntVarValPrint vvp)
	Post brancher for view and values.

---

Detailed Description

Integer branchers.

---

Function Documentation

ValSelCommitBase< IntView, int > * Gecode::Int::Branch::valselcommit	(	Space &	home,
		const IntValBranch &	ivb
	)

Return value and commit for integer views.

ValSelCommitBase< IntView, int > * Gecode::Int::Branch::valselcommit	(	Space &	home,
		const IntAssign &	ia
	)

Return value and commit for integer views.

ValSelCommitBase< BoolView, int > * Gecode::Int::Branch::valselcommit	(	Space &	home,
		const BoolValBranch &	bvb
	)

Return value and commit for Boolean views.

ValSelCommitBase< BoolView, int > * Gecode::Int::Branch::valselcommit	(	Space &	home,
		const BoolAssign &	ba
	)

Return value and commit for Boolean views.

ViewSel< IntView > * Gecode::Int::Branch::viewsel	(	Space &	home,
		const IntVarBranch &	ivb
	)

Return view selectors for integer views.

ViewSel< BoolView > * Gecode::Int::Branch::viewsel	(	Space &	home,
		const BoolVarBranch &	bvb
	)

Return view selectors for Boolean views.

template<int n, bool min>

void Gecode::Int::Branch::postviewvaluesbrancher	(	Home	home,
		ViewArray< IntView > &	x,
		ViewSel< IntView > *	vs[n],
		IntBranchFilter	bf,
		IntVarValPrint	vvp
	)			[inline]

Post brancher for view and values.