View nodes in view-value graph. More...
#include <dom.hpp>
Public Member Functions | |
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. | |
View | view (void) const |
Return view. | |
Protected Attributes | |
View | _view |
The node's view. | |
Edge< View > * | _val_edges |
The first value edge. |
View nodes in view-value graph.
Gecode::Int::Distinct::ViewNode< View >::ViewNode | ( | View | x | ) | [inline] |
Edge< View > * Gecode::Int::Distinct::ViewNode< View >::val_edges | ( | void | ) | const [inline] |
Edge< View > ** Gecode::Int::Distinct::ViewNode< View >::val_edges_ref | ( | void | ) | [inline] |
View Gecode::Int::Distinct::ViewNode< View >::view | ( | void | ) | const [inline] |
View Gecode::Int::Distinct::ViewNode< View >::_view [protected] |
Edge<View>* Gecode::Int::Distinct::ViewNode< View >::_val_edges [protected] |