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: