View-value graph base class. More...
#include <view-val-graph.hh>
Public Member Functions | |
Graph (void) | |
Construct graph as not yet initialized. | |
bool | initialized (void) const |
Test whether graph has been initialized. | |
void | purge (void) |
Purge graph if necessary (reset information to avoid overflow) | |
Protected Types | |
typedef Support::StaticStack < ViewNode< View > *, Region > | ViewNodeStack |
Stack used during matching. | |
Protected Member Functions | |
void | init (Space &home, ViewNode< View > *x) |
Initialize the edges for the view node x. | |
bool | match (ViewNodeStack &m, ViewNode< View > *x) |
Find a matching for node x. | |
void | scc (Space &home) |
Compute the strongly connected components. | |
Protected Attributes | |
ViewNode< View > ** | view |
Array of view nodes. | |
ValNode< View > * | val |
Array of value nodes. | |
int | n_view |
Number of view nodes. | |
int | n_val |
Number of value nodes. | |
unsigned int | count |
Marking counter. |
View-value graph base class.
typedef Support::StaticStack<ViewNode<View>*,Region> Gecode::Int::ViewValGraph::Graph::ViewNodeStack [protected] |
Stack used during matching.
Definition at line 311 of file view-val-graph.hh.
Graph::Graph | ( | void | ) | [inline] |
Construct graph as not yet initialized.
Reimplemented in Gecode::Int::Distinct::Graph, and Gecode::Int::NValues::Graph.
bool Graph::match | ( | ViewNodeStack & | m, |
ViewNode< View > * | x | ||
) | [inline, protected] |
void Graph::scc | ( | Space & | home | ) | [inline, protected] |
bool Graph::initialized | ( | void | ) | const [inline] |
void Graph::purge | ( | void | ) | [inline] |
ViewNode<View>** Gecode::Int::ViewValGraph::Graph::view [protected] |
Array of view nodes.
Definition at line 301 of file view-val-graph.hh.
ValNode<View>* Gecode::Int::ViewValGraph::Graph::val [protected] |
Array of value nodes.
Definition at line 303 of file view-val-graph.hh.
int Gecode::Int::ViewValGraph::Graph::n_view [protected] |
Number of view nodes.
Definition at line 305 of file view-val-graph.hh.
int Gecode::Int::ViewValGraph::Graph::n_val [protected] |
Number of value nodes.
Definition at line 307 of file view-val-graph.hh.
unsigned int Gecode::Int::ViewValGraph::Graph::count [protected] |
Marking counter.
Definition at line 309 of file view-val-graph.hh.