Generated on Fri Oct 19 11:26:16 2018 for Gecode by doxygen 1.6.3

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

View nodes in view-value graph. More...

#include <view-val-graph.hh>

List of all members.

Public Member Functions

 ViewNode (void)
 Initialize node for a non-view.
 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.
bool fake (void) const
 Test whether node has a fake view.
View view (void) const
 Return view.
void update (void)
 Update size of view after change.
bool changed (void) const
 Return whether view has changed its size.
bool matched (void) const
 Whether the node is matched.

Protected Attributes

unsigned int _size
 The size of the view after last change.
View _view
 The node's view.
Edge< View > * _val_edges
 The first value edge.

Detailed Description

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

View nodes in view-value graph.

Definition at line 174 of file view-val-graph.hh.


Constructor & Destructor Documentation

template<class View >
Gecode::Int::ViewValGraph::ViewNode< View >::ViewNode ( void   )  [inline]

Initialize node for a non-view.

Definition at line 122 of file node.hpp.

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

Initialize new node for view x.

Definition at line 126 of file node.hpp.


Member Function Documentation

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

Return first edge of all value edges.

Definition at line 130 of file node.hpp.

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

Return pointer to first edge fields of all value edges.

Definition at line 135 of file node.hpp.

template<class View >
bool Gecode::Int::ViewValGraph::ViewNode< View >::fake ( void   )  const [inline]

Test whether node has a fake view.

Definition at line 140 of file node.hpp.

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

Return view.

Definition at line 145 of file node.hpp.

template<class View >
void Gecode::Int::ViewValGraph::ViewNode< View >::update ( void   )  [inline]

Update size of view after change.

Definition at line 155 of file node.hpp.

template<class View >
bool Gecode::Int::ViewValGraph::ViewNode< View >::changed ( void   )  const [inline]

Return whether view has changed its size.

Definition at line 150 of file node.hpp.

template<class View >
bool Gecode::Int::ViewValGraph::ViewNode< View >::matched ( void   )  const [inline]

Whether the node is matched.

Definition at line 160 of file node.hpp.


Member Data Documentation

template<class View>
unsigned int Gecode::Int::ViewValGraph::ViewNode< View >::_size [protected]

The size of the view after last change.

Definition at line 177 of file view-val-graph.hh.

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

The node's view.

Definition at line 179 of file view-val-graph.hh.

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

The first value edge.

Definition at line 181 of file view-val-graph.hh.


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