Generated on Wed Nov 5 2014 05:18:38 for Gecode by doxygen 1.7.6.1
Gecode::ValCommit< _View, _Val > Class Template Reference

Base class for value commit. More...

#include <brancher-val-commit.hpp>

List of all members.

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

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

Base class for value commit.

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


Member Typedef Documentation

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.


Constructor & Destructor Documentation

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.


Member Function Documentation

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: