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 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.
|
Detailed Description
template<class View>
class Gecode::Int::ViewValGraph::Graph< View >
View-value graph base class.
Definition at line 298 of file view-val-graph.hh.
Member Typedef Documentation
Constructor & Destructor Documentation
Member Function Documentation
Initialize the edges for the view node x.
Definition at line 55 of file graph.hpp.
Find a matching for node x.
Definition at line 91 of file graph.hpp.
template<class View >
void Graph::scc |
( |
Space & |
home | ) |
|
|
inlineprotected |
Compute the strongly connected components.
Definition at line 146 of file graph.hpp.
template<class View >
bool Graph::initialized |
( |
void |
| ) |
const |
|
inline |
Test whether graph has been initialized.
Definition at line 49 of file graph.hpp.
template<class View >
void Graph::purge |
( |
void |
| ) |
|
|
inline |
Purge graph if necessary (reset information to avoid overflow)
Definition at line 134 of file graph.hpp.
Member Data Documentation
The documentation for this class was generated from the following files: