Generated on Wed Nov 1 15:05:17 2006 for Gecode by doxygen 1.4.5

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: