Gecode::ValSel< View_, Val_ > Class Template Reference

Base class for value selection. More...

#include <gecode/kernel/branch/val-sel.hpp>

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, 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 44 of file val-sel.hpp.

Member Typedef Documentation

View

template<class View_, class Val_>

typedef View_ Gecode::ValSel< View_, Val_ >::View

View type.

Definition at line 47 of file val-sel.hpp.

Var

template<class View_, class Val_>

typedef View::VarType Gecode::ValSel< View_, Val_ >::Var

Corresponding variable type.

Definition at line 49 of file val-sel.hpp.

Val

template<class View_, class Val_>

typedef Val_ Gecode::ValSel< View_, Val_ >::Val

Value type.

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

Constructor & Destructor Documentation

ValSel() [1/2]

template<class View, class Val>

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

inline

Constructor for initialization.

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

ValSel() [2/2]

template<class View, class Val>

Gecode::ValSel< View, Val >::ValSel ( Space & home, ValSel< View, Val > & vs )

inline

Constructor for cloning.

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

Member Function Documentation

notice()

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).

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

dispose()

template<class View, class Val>

void Gecode::ValSel< View, Val >::dispose ( Space & home )

inline

Delete value selection.

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

---

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

• gecode/kernel/branch/val-sel.hpp