Gecode::Int::Branch::ValRangeMin< View > Class Template Reference
[Integer value selection for brancher]

Class for trying the first range of a domain first or splitting domain at mean of smallest and largest element (lower half first). More...

#include <branch.hh>

Public Member Functions
	ValRangeMin (void)
	Default constructor.
	ValRangeMin (Space &home, const ValBranchOptions &vbo)
	Constructor for initialization.
int	val (Space &home, View x) const
	Return minimum value of view x.
ModEvent	tell (Space &home, unsigned int a, View x, int n)
	Tell $x\leq n$ (a = 0) or (a = 1).

Detailed Description

Class for trying the first range of a domain first or splitting domain at mean of smallest and largest element (lower half first).

Requires

 #include <gecode/int/branch.hh>

Definition at line 167 of file branch.hh.

template<class View >

Gecode::Int::Branch::ValRangeMin< View >::ValRangeMin ( void ) [inline]

Default constructor.

Definition at line 148 of file select-val.hpp.

template<class View >

Gecode::Int::Branch::ValRangeMin< View >::ValRangeMin	(	Space &	home,
		const ValBranchOptions &	vbo
	)			`[inline]`

Constructor for initialization.

Definition at line 151 of file select-val.hpp.

template<class View >

int Gecode::Int::Branch::ValRangeMin< View >::val	(	Space &	home,
		View	x
	)			const `[inline]`

Return minimum value of view x.

Definition at line 156 of file select-val.hpp.

template<class View >

ModEvent Gecode::Int::Branch::ValRangeMin< View >::tell	(	Space &	home,
		unsigned int	a,
		View	x,
		int	n
	)			`[inline]`

Tell $x\leq n$ (a = 0) or $x >n$ (a = 1).

Definition at line 166 of file select-val.hpp.

The documentation for this class was generated from the following files: