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.
|
| Node (void) |
| Initialize.
|
Edge< View > * | edge_fst (void) const |
| Return first edge (organized by bi-links)
|
Edge< View > * | edge_lst (void) const |
| Return last edge (organized by bi-links)
|
| BiLink (void) |
| Initialize as empty (self referenced)
|
BiLink * | prev (void) const |
| Return previous element.
|
BiLink * | next (void) const |
| Return next element.
|
void | prev (BiLink *l) |
| Set previous element to l.
|
void | next (BiLink *l) |
| Set next element to l.
|
void | add (BiLink *l) |
| Add l after this element.
|
void | unlink (void) |
| Unlink this element.
|
void | mark (void) |
| Mark element (invalidates next element pointer)
|
bool | marked (void) const |
| Whether element is marked.
|
bool | empty (void) const |
| Whether element has no previous and next element.
|
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.
|
Additional Inherited Members |
static void * | operator new (size_t, Space &) |
| Allocate memory from space.
|
static void | operator delete (void *, size_t) |
| Needed for exceptions.
|
static void | operator delete (void *, Space &) |
| Needed for exceptions.
|
Edge< View > * | iter |
| Next edge for computing strongly connected components.
|
unsigned int | low |
| Values for computing strongly connected components.
|
unsigned int | min |
unsigned int | comp |
Detailed Description
template<class View>
class Gecode::Int::ViewValGraph::ViewNode< View >
View nodes in view-value graph.
Definition at line 178 of file view-val-graph.hh.
Constructor & Destructor Documentation
Initialize node for a non-view.
Definition at line 126 of file node.hpp.
Initialize new node for view x.
Definition at line 130 of file node.hpp.
Member Function Documentation
Return first edge of all value edges.
Definition at line 134 of file node.hpp.
Return pointer to first edge fields of all value edges.
Definition at line 139 of file node.hpp.
Test whether node has a fake view.
Definition at line 144 of file node.hpp.
Update size of view after change.
Definition at line 159 of file node.hpp.
Return whether view has changed its size.
Definition at line 154 of file node.hpp.
Whether the node is matched.
Definition at line 164 of file node.hpp.
Member Data Documentation
The documentation for this class was generated from the following files: