Generated on Tue Sep 25 2012 20:53:32 for Gecode by doxygen 1.7.5
Gecode::Int::ViewValGraph::Graph Class Reference

View-value graph base class. More...

#include <view-val-graph.hh>

List of all members.

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.

Detailed Description

View-value graph base class.


Member Typedef Documentation

Stack used during matching.

Definition at line 311 of file view-val-graph.hh.


Constructor & Destructor Documentation

Graph::Graph ( void  ) [inline]

Construct graph as not yet initialized.

Reimplemented in Gecode::Int::Distinct::Graph, and Gecode::Int::NValues::Graph.

Definition at line 44 of file graph.hpp.


Member Function Documentation

void Graph::init ( Space home,
ViewNode< View > *  x 
) [inline, protected]

Initialize the edges for the view node x.

Definition at line 55 of file graph.hpp.

bool Graph::match ( ViewNodeStack m,
ViewNode< View > *  x 
) [inline, protected]

Find a matching for node x.

Definition at line 91 of file graph.hpp.

void Graph::scc ( Space home) [inline, protected]

Compute the strongly connected components.

Definition at line 146 of file graph.hpp.

bool Graph::initialized ( void  ) const [inline]

Test whether graph has been initialized.

Definition at line 49 of file graph.hpp.

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

Array of view nodes.

Definition at line 301 of file view-val-graph.hh.

Array of value nodes.

Definition at line 303 of file view-val-graph.hh.

Number of view nodes.

Definition at line 305 of file view-val-graph.hh.

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.


The documentation for this class was generated from the following files: