Generated on Thu Jul 6 07:07:02 2006 for Gecode by doxygen 1.4.7

Gecode::Int::Distinct::ValNode< View > Class Template Reference

Inherits Gecode::Int::Distinct::Node< View >< View >.

List of all members.


Detailed Description

template<class View>
class Gecode::Int::Distinct::ValNode< View >

Value nodes in view-value graph.

Definition at line 109 of file dom.icc.

Public Member Functions

 ValNode (int)
int val (void) const
void matching (Edge< View > *)
Edge< View > * matching (void) const

Protected Attributes

const int _val
Edge< View > * _matching


Constructor & Destructor Documentation

template<class View>
Gecode::Int::Distinct::ValNode< View >::ValNode ( int   )  [inline]

Definition at line 59 of file node.icc.


Member Function Documentation

template<class View>
int Gecode::Int::Distinct::ValNode< View >::val ( void   )  const [inline]

Definition at line 63 of file node.icc.

template<class View>
void Gecode::Int::Distinct::ValNode< View >::matching ( Edge< View > *   )  [inline]

Definition at line 68 of file node.icc.

template<class View>
Edge< View > * Gecode::Int::Distinct::ValNode< View >::matching ( void   )  const [inline]

Definition at line 73 of file node.icc.


Member Data Documentation

template<class View>
const int Gecode::Int::Distinct::ValNode< View >::_val [protected]

Definition at line 111 of file dom.icc.

template<class View>
Edge<View>* Gecode::Int::Distinct::ValNode< View >::_matching [protected]

Definition at line 111 of file dom.icc.


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