Generated on Mon Aug 25 11:35:51 2008 for Gecode by doxygen 1.5.6
Gecode::Int::Distinct::ViewNode

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

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

List of all members.

Detailed Description

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

View nodes in view-value graph.

Definition at line 155 of file dom.icc.


Public Member Functions

 ViewNode (View x)
 Initialize new node for view x.
Edge< View > * val_edges (void) const
 Return first edge of all value edges.
Edge< View > ** val_edges_ref (void)
 Return pointer to first edge fields of all value edges.
View view (void) const
 Return view.

Protected Attributes

View _view
 The node's view.
Edge< View > * _val_edges
 The first value edge.

Constructor & Destructor Documentation

template<class View>
Gecode::Int::Distinct::ViewNode< View >::ViewNode ( View  x  )  [inline]

Initialize new node for view x.

Definition at line 126 of file node.icc.

Member Function Documentation

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

Return first edge of all value edges.

Definition at line 130 of file node.icc.

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

Return pointer to first edge fields of all value edges.

Definition at line 135 of file node.icc.

template<class View>
View Gecode::Int::Distinct::ViewNode< View >::view ( void   )  const [inline]

Return view.

Definition at line 140 of file node.icc.

Member Data Documentation

template<class View>
View Gecode::Int::Distinct::ViewNode< View >::_view [protected]

The node's view.

Definition at line 158 of file dom.icc.

template<class View>
Edge<View>* Gecode::Int::Distinct::ViewNode< View >::_val_edges [protected]

The first value edge.

Definition at line 160 of file dom.icc.

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