Gecode::ValSel< _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-sel.hpp>

List of all members.

Public Types
typedef _View	View
	View type.
typedef View::VarType	Var
	Corresponding variable type.
typedef _Val	Val
	Value type.
Public Member Functions
	ValSel (Space &home, const ValBranch< Var > &vb)
	Constructor for initialization.
	ValSel (Space &home, bool shared, ValSel< View, Val > &vs)
	Constructor for cloning.
bool	notice (void) const
	Whether dispose must always be called (that is, notice is needed).
void	dispose (Space &home)
	Delete value selection.

---

Detailed Description

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

Base class for value selection.

Definition at line 48 of file brancher-val-sel.hpp.

---

Member Typedef Documentation

template<class _View, class _Val>

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

View type.

Definition at line 51 of file brancher-val-sel.hpp.

template<class _View, class _Val>

typedef View::VarType Gecode::ValSel< _View, _Val >::Var

Corresponding variable type.

Definition at line 53 of file brancher-val-sel.hpp.

template<class _View, class _Val>

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

Value type.

Reimplemented in Gecode::ValSelFunction< View >.

Definition at line 55 of file brancher-val-sel.hpp.

---

Constructor & Destructor Documentation

template<class View , class Val >

Gecode::ValSel< View, Val >::ValSel	(	Space &	home,
		const ValBranch< Var > &	vb
	)			[inline]

Constructor for initialization.

Definition at line 102 of file brancher-val-sel.hpp.

template<class View , class Val >

Gecode::ValSel< View, Val >::ValSel	(	Space &	home,
		bool	shared,
		ValSel< View, Val > &	vs
	)			[inline]

Constructor for cloning.

Definition at line 105 of file brancher-val-sel.hpp.

---

Member Function Documentation

template<class View , class Val >

bool Gecode::ValSel< View, Val >::notice

(

void

)

const [inline]

Whether dispose must always be called (that is, notice is needed).

Reimplemented in Gecode::Float::Branch::ValSelRnd, Gecode::Int::Branch::ValSelRnd< View >, Gecode::ValSelFunction< View >, and Gecode::Set::Branch::ValSelRnd.

Definition at line 108 of file brancher-val-sel.hpp.

template<class View , class Val >

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

(

Space &

home

)

[inline]

Delete value selection.

Reimplemented in Gecode::Float::Branch::ValSelRnd, Gecode::Int::Branch::ValSelRnd< View >, Gecode::ValSelFunction< View >, and Gecode::Set::Branch::ValSelRnd.

Definition at line 113 of file brancher-val-sel.hpp.

---

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

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