|
| 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.
|
|
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.