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

Base class for value selection. More...

#include <branching-val.hpp>

List of all members.

Public Types
typedef _View	View
	View type.
typedef _Val	Val
	Value type.
typedef EmptyValSelDesc	Desc
	Description type.
Public Member Functions
	ValSelBase (void)
	Default constructor.
	ValSelBase (Space &home, const ValBranchOptions &vbo)
	Constructor for initialization.
EmptyValSelDesc	description (Space &home)
	Return description.
void	commit (Space &home, const EmptyValSelDesc &d, unsigned a)
	Commit to description.
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 branching to be binary.

Definition at line 59 of file branching-val.hpp.

---

Member Typedef Documentation

template<class _View, class _Val>

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

View type.

Definition at line 62 of file branching-val.hpp.

template<class _View, class _Val>

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

Value type.

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

template<class _View, class _Val>

typedef EmptyValSelDesc Gecode::ValSelBase< _View, _Val >::Desc

Description type.

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

---

Constructor & Destructor Documentation

template<class View , class Val >

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

(

void

)

[inline]

Default constructor.

Definition at line 94 of file branching-val.hpp.

template<class View , class Val >

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

Constructor for initialization.

Definition at line 97 of file branching-val.hpp.

---

Member Function Documentation

template<class View , class Val >

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

(

Space &

home

)

[inline]

Return description.

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

template<class View , class Val >

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

Commit to description.

Definition at line 105 of file branching-val.hpp.

template<class _View, class _Val>

void Gecode::ValSelBase< _View, _Val >::update	(	Space &	home,
		bool	share,
		ValSelBase< _View, _Val > &	vs
	)

Updating during cloning.

template<class View , class Val >

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

(

Space &

home

)

[inline]

Delete value selection.

Definition at line 111 of file branching-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 68 of file branching-val.hpp.

---

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

• gecode/kernel/branching-val.hpp (Revision: 8082)