Gecode::ValSelBase< _View, _Val > Class Template Reference
[Generic value selection for brancher based on view and value selection]

Base class for value selection. More...

#include <brancher-val.hpp>

List of all members.

Public Types
typedef _View	View
	View type.
typedef _Val	Val
	Value type.
typedef EmptyValSelChoice	Choice
	Choice type.
Public Member Functions
	ValSelBase (void)
	Default constructor.
	ValSelBase (Space &home, const ValBranchOptions &vbo)
	Constructor for initialization.
EmptyValSelChoice	choice (Space &home)
	Return choice.
EmptyValSelChoice	choice (const Space &home, Archive &e)
	Return choice.
void	commit (Space &home, const EmptyValSelChoice &c, unsigned a)
	Commit to choice.
void	update (Space &home, bool share, ValSelBase &vs)
	Updating during cloning.
void	dispose (Space &home)
	Delete value selection.
Static Public Attributes
static const unsigned int	alternatives = 2
	Number of alternatives.

---

Detailed Description

template<class _View, class _Val>
class Gecode::ValSelBase< _View, _Val >

Base class for value selection.

Defines the brancher to be binary.

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

---

Member Typedef Documentation

template<class _View, class _Val>

typedef _View Gecode::ValSelBase< _View, _Val >::View

View type.

Definition at line 64 of file brancher-val.hpp.

template<class _View, class _Val>

typedef _Val Gecode::ValSelBase< _View, _Val >::Val

Value type.

Definition at line 66 of file brancher-val.hpp.

template<class _View, class _Val>

typedef EmptyValSelChoice Gecode::ValSelBase< _View, _Val >::Choice

Choice type.

Definition at line 68 of file brancher-val.hpp.

---

Constructor & Destructor Documentation

template<class View , class Val >

Gecode::ValSelBase< View, Val >::ValSelBase

(

void

)

[inline]

Default constructor.

Definition at line 100 of file brancher-val.hpp.

template<class View , class Val >

Gecode::ValSelBase< View, Val >::ValSelBase	(	Space &	home,
		const ValBranchOptions &	vbo
	)			[inline]

Constructor for initialization.

Definition at line 103 of file brancher-val.hpp.

---

Member Function Documentation

template<class View , class Val >

EmptyValSelChoice Gecode::ValSelBase< View, Val >::choice

(

Space &

home

)

[inline]

Return choice.

Definition at line 106 of file brancher-val.hpp.

template<class View , class Val >

EmptyValSelChoice Gecode::ValSelBase< View, Val >::choice	(	const Space &	home,
		Archive &	e
	)			[inline]

Return choice.

Definition at line 111 of file brancher-val.hpp.

template<class View , class Val >

void Gecode::ValSelBase< View, Val >::commit	(	Space &	home,
		const EmptyValSelChoice &	c,
		unsigned	a
	)			[inline]

Commit to choice.

Definition at line 116 of file brancher-val.hpp.

template<class View , class Val >

void Gecode::ValSelBase< View, Val >::update	(	Space &	home,
		bool	share,
		ValSelBase< _View, _Val > &	vs
	)			[inline]

Updating during cloning.

Definition at line 119 of file brancher-val.hpp.

template<class View , class Val >

void Gecode::ValSelBase< View, Val >::dispose

(

Space &

home

)

[inline]

Delete value selection.

Definition at line 122 of file brancher-val.hpp.

---

Member Data Documentation

template<class _View, class _Val>

const unsigned int Gecode::ValSelBase< _View, _Val >::alternatives = 2 [static]

Number of alternatives.

Reimplemented in Gecode::Int::Branch::AssignValMin< View >, Gecode::Int::Branch::AssignValMed< View >, Gecode::Int::Branch::AssignValZero< View >, Gecode::Set::Branch::AssignValMin< inc >, Gecode::Set::Branch::AssignValMed< inc >, and Gecode::Set::Branch::AssignValMax< inc >.

Definition at line 70 of file brancher-val.hpp.

---

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

• gecode/kernel/brancher-val.hpp (Revision: 12001)