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

Base class for value commit. More...

Public Types
typedef _View	View
	View type.
typedef _Val	Val
	Value type.
Public Member Functions
	ValCommit (Space &home, const ValBranch &vb)
	Constructor for initialization.
	ValCommit (Space &home, bool shared, ValCommit< 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 commit.

Detailed Description

Base class for value commit.

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

template<class _View, class _Val>

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

View type.

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

template<class _View, class _Val>

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

Value type.

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

template<class View , class Val >

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

Constructor for initialization.

Definition at line 99 of file brancher-val-commit.hpp.

template<class View , class Val >

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

Constructor for cloning.

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

template<class View , class Val >

bool Gecode::ValCommit< View, Val >::notice ( void ) const [inline]

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

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

template<class View , class Val >

void Gecode::ValCommit< View, Val >::dispose ( Space & home ) [inline]

Delete value commit.

Definition at line 110 of file brancher-val-commit.hpp.

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