Class for selecting minimum value. More...

#include <branch.hh>

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

Detailed Description

Class for selecting minimum value.

All value selection classes require

 #include <gecode/set/branch.hh>

Definition at line 70 of file branch.hh.

Constructor & Destructor Documentation

template<bool inc>

Gecode::Set::Branch::ValMin< inc >::ValMin ( void ) [inline]

Default constructor.

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

template<bool inc>

Gecode::Set::Branch::ValMin< inc >::ValMin	(	Space &	home,
		const ValBranchOptions &	vbo
	)		`[inline]`

Constructor for initialization.

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

template<bool inc>

int Gecode::Set::Branch::ValMin< inc >::val	(	Space &	home,
		SetView	x
	)		const `[inline]`

Return minimum value of view x.

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

template<bool inc>

ModEvent Gecode::Set::Branch::ValMin< inc >::tell	(	Space &	home,
		unsigned int	a,
		SetView	x,
		int	v
	)		`[inline]`

Tell $v\in x$ (a = 0) or $v\notin x$ (a = 1)

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

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