View nodes in view-value graph.
More...
#include <view-val-graph.hh>
|
| 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.
|
|
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 |
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.
◆ ViewNode() [1/2]
Initialize node for a non-view.
Definition at line 122 of file node.hpp.
◆ ViewNode() [2/2]
Initialize new node for view x.
Definition at line 126 of file node.hpp.
◆ val_edges()
Return first edge of all value edges.
Definition at line 130 of file node.hpp.
◆ val_edges_ref()
Return pointer to first edge fields of all value edges.
Definition at line 135 of file node.hpp.
◆ fake()
Test whether node has a fake view.
Definition at line 140 of file node.hpp.
◆ view()
◆ update()
Update size of view after change.
Definition at line 155 of file node.hpp.
◆ changed()
Return whether view has changed its size.
Definition at line 150 of file node.hpp.
◆ matched()
Whether the node is matched.
Definition at line 160 of file node.hpp.
◆ _size
◆ _view
◆ _val_edges
The documentation for this class was generated from the following files: