Gecode::CpltSet::Branch::ValMaxUnknown< exclude > Class Template Reference
[CpltSet value selection for branching]

#include <branch.hh>

Detailed Description

Class for selecting maximum value of unknown ranges.

All value selection classes require

 #include "gecode/set/branch.hh"

Definition at line 85 of file branch.hh.


Public Member Functions
int	val (const Space *, CpltSetView x) const
	Return minimum value of view x.
ModEvent	tell (Space *home, unsigned int a, CpltSetView x, int v)
	Tell $v\in x$ (a = 0) or $v\notin x$ (a = 1).
void	branchingSpec (const Space *home, Reflection::VarMap &m, Reflection::BranchingSpec &bs, int alt, CpltSetView x, int n) const
	Specification of a branch (for reflection).
Static Public Member Functions
static Support::Symbol	type (void)
	Type of this value selection (for reflection).

template<bool exclude>

int Gecode::CpltSet::Branch::ValMaxUnknown< exclude >::val	(	const Space *	,
		CpltSetView	x
	)			const `[inline]`

Return minimum value of view x.

Definition at line 92 of file select-val.icc.

template<bool exclude>

ModEvent Gecode::CpltSet::Branch::ValMaxUnknown< exclude >::tell	(	Space *	home,
		unsigned int	a,
		CpltSetView	x,
		int	v
	)			`[inline]`

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

Definition at line 104 of file select-val.icc.

template<bool exclude>

Support::Symbol Gecode::CpltSet::Branch::ValMaxUnknown< exclude >::type ( void ) [inline, static]

Type of this value selection (for reflection).

Definition at line 111 of file select-val.icc.

template<bool exclude>

void Gecode::CpltSet::Branch::ValMaxUnknown< exclude >::branchingSpec	(	const Space *	home,
		Reflection::VarMap &	m,
		Reflection::BranchingSpec &	bs,
		int	alt,
		CpltSetView	x,
		int	n
	)			const `[inline]`

Specification of a branch (for reflection).

Definition at line 117 of file select-val.icc.

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