View nodes in view-value graph. More...
#include <view-val-graph.hh>
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. |
View nodes in view-value graph.
Definition at line 178 of file view-val-graph.hh.
Gecode::Int::ViewValGraph::ViewNode< View >::ViewNode | ( | void | ) | [inline] |
Gecode::Int::ViewValGraph::ViewNode< View >::ViewNode | ( | View | x | ) | [inline] |
Edge< View > * Gecode::Int::ViewValGraph::ViewNode< View >::val_edges | ( | void | ) | const [inline] |
Edge< View > ** Gecode::Int::ViewValGraph::ViewNode< View >::val_edges_ref | ( | void | ) | [inline] |
bool Gecode::Int::ViewValGraph::ViewNode< View >::fake | ( | void | ) | const [inline] |
View Gecode::Int::ViewValGraph::ViewNode< View >::view | ( | void | ) | const [inline] |
void Gecode::Int::ViewValGraph::ViewNode< View >::update | ( | void | ) | [inline] |
bool Gecode::Int::ViewValGraph::ViewNode< View >::changed | ( | void | ) | const [inline] |
bool Gecode::Int::ViewValGraph::ViewNode< View >::matched | ( | void | ) | const [inline] |
unsigned int Gecode::Int::ViewValGraph::ViewNode< View >::_size [protected] |
The size of the view after last change.
Definition at line 181 of file view-val-graph.hh.
View Gecode::Int::ViewValGraph::ViewNode< View >::_view [protected] |
The node's view.
Definition at line 183 of file view-val-graph.hh.
Edge<View>* Gecode::Int::ViewValGraph::ViewNode< View >::_val_edges [protected] |
The first value edge.
Definition at line 185 of file view-val-graph.hh.