Generated on Tue Sep 25 2012 20:53:32 for Gecode by doxygen 1.7.5
Gecode::Int::ViewValGraph::ViewNode Class 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

View nodes in view-value graph.


Constructor & Destructor Documentation

Gecode::Int::ViewValGraph::ViewNode::ViewNode ( void  ) [inline]

Initialize node for a non-view.

Definition at line 126 of file node.hpp.

Gecode::Int::ViewValGraph::ViewNode::ViewNode ( View  x) [inline]

Initialize new node for view x.

Definition at line 130 of file node.hpp.


Member Function Documentation

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

Return first edge of all value edges.

Definition at line 134 of file node.hpp.

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

Return pointer to first edge fields of all value edges.

Definition at line 139 of file node.hpp.

bool Gecode::Int::ViewValGraph::ViewNode::fake ( void  ) const [inline]

Test whether node has a fake view.

Definition at line 144 of file node.hpp.

View Gecode::Int::ViewValGraph::ViewNode::view ( void  ) const [inline]

Return view.

Definition at line 149 of file node.hpp.

void Gecode::Int::ViewValGraph::ViewNode::update ( void  ) [inline]

Update size of view after change.

Definition at line 159 of file node.hpp.

bool Gecode::Int::ViewValGraph::ViewNode::changed ( void  ) const [inline]

Return whether view has changed its size.

Definition at line 154 of file node.hpp.

bool Gecode::Int::ViewValGraph::ViewNode::matched ( void  ) const [inline]

Whether the node is matched.

Definition at line 164 of file node.hpp.


Member Data Documentation

The size of the view after last change.

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

The node's view.

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

The first value edge.

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


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