Value nodes in view-value graph. More...
#include <view-val-graph.hh>
Public Member Functions | |
ValNode (int v) | |
Initialize with value v. | |
ValNode (int v, ValNode< View > *n) | |
Initialize with value v and successor n. | |
int | val (void) const |
Return value of node. | |
void | matching (Edge< View > *m) |
Set matching edge to m. | |
Edge< View > * | matching (void) const |
Return matching edge (NULL if unmatched) | |
ValNode< View > ** | next_val_ref (void) |
Return pointer to next value node fields. | |
ValNode< View > * | next_val (void) const |
Return next value node. | |
void | next_val (ValNode< View > *v) |
Set next value node to v. | |
Protected Attributes | |
const int | _val |
The value of the node. | |
Edge< View > * | _matching |
The matching edge. | |
ValNode< View > * | _next_val |
The next value node. |
Value nodes in view-value graph.
Gecode::Int::ViewValGraph::ValNode::ValNode | ( | int | v | ) | [inline] |
Gecode::Int::ViewValGraph::ValNode::ValNode | ( | int | v, |
ValNode< View > * | n | ||
) | [inline] |
int Gecode::Int::ViewValGraph::ValNode::val | ( | void | ) | const [inline] |
void Gecode::Int::ViewValGraph::ValNode::matching | ( | Edge< View > * | m | ) | [inline] |
Edge< View > * Gecode::Int::ViewValGraph::ValNode::matching | ( | void | ) | const [inline] |
ValNode< View > ** Gecode::Int::ViewValGraph::ValNode::next_val_ref | ( | void | ) | [inline] |
ValNode< View > * Gecode::Int::ViewValGraph::ValNode::next_val | ( | void | ) | const [inline] |
void Gecode::Int::ViewValGraph::ValNode::next_val | ( | ValNode< View > * | v | ) | [inline] |
const int Gecode::Int::ViewValGraph::ValNode::_val [protected] |
The value of the node.
Definition at line 149 of file view-val-graph.hh.
Edge<View>* Gecode::Int::ViewValGraph::ValNode::_matching [protected] |
The matching edge.
Definition at line 151 of file view-val-graph.hh.
ValNode<View>* Gecode::Int::ViewValGraph::ValNode::_next_val [protected] |
The next value node.
Definition at line 153 of file view-val-graph.hh.