Generated on Mon Aug 27 2012 17:16:05 for Gecode by doxygen 1.8.1.2
Gecode::Int::NValues::Graph Class Reference

View-value graph for propagation of upper bound. More...

#include <nvalues.hh>

Public Member Functions

 Graph (void)
 Construct graph as not yet initialized.
int size (void) const
 Return size of maximal matching (excluding assigned views)
void init (Space &home, const ValSet &vs, const ViewArray< IntView > &x)
 Initialize graph including values in vs.
void sync (Space &home)
 Synchronize graph with new view domains.
bool mark (Space &home)
ExecStatus prune (Space &home)
 Prune all values corresponding to unused edges.
- Public Member Functions inherited from Gecode::Int::ViewValGraph::Graph< IntView >
bool initialized (void) const
 Test whether graph has been initialized.
void purge (void)
 Purge graph if necessary (reset information to avoid overflow)

Protected Attributes

int n_matched
 Number of matched edges.
- Protected Attributes inherited from Gecode::Int::ViewValGraph::Graph< IntView >
ViewNode< IntView > ** view
 Array of view nodes.
ValNode< IntView > * val
 Array of value nodes.
int n_view
 Number of view nodes.
int n_val
 Number of value nodes.
unsigned int count
 Marking counter.

Additional Inherited Members

- Protected Types inherited from Gecode::Int::ViewValGraph::Graph< IntView >
typedef Support::StaticStack
< ViewNode< IntView >
*, Region
ViewNodeStack
 Stack used during matching.
- Protected Member Functions inherited from Gecode::Int::ViewValGraph::Graph< IntView >
void init (Space &home, ViewNode< IntView > *x)
 Initialize the edges for the view node x.
bool match (ViewNodeStack &m, ViewNode< IntView > *x)
 Find a matching for node x.
void scc (Space &home)
 Compute the strongly connected components.

Detailed Description

View-value graph for propagation of upper bound.

Definition at line 100 of file nvalues.hh.

Constructor & Destructor Documentation

Graph::Graph ( void  )
inline

Construct graph as not yet initialized.

Reimplemented from Gecode::Int::ViewValGraph::Graph< IntView >.

Definition at line 41 of file graph.hpp.

Member Function Documentation

int Graph::size ( void  ) const
inline

Return size of maximal matching (excluding assigned views)

Definition at line 45 of file graph.hpp.

void Graph::init ( Space home,
const ValSet vs,
const ViewArray< IntView > &  x 
)
inline

Initialize graph including values in vs.

Definition at line 50 of file graph.hpp.

void Graph::sync ( Space home)
inline

Synchronize graph with new view domains.

Definition at line 94 of file graph.hpp.

bool Graph::mark ( Space home)
inline

Definition at line 155 of file graph.hpp.

ExecStatus Graph::prune ( Space home)
inline

Prune all values corresponding to unused edges.

Definition at line 258 of file graph.hpp.

Member Data Documentation

int Gecode::Int::NValues::Graph::n_matched
protected

Number of matched edges.

Definition at line 103 of file nvalues.hh.


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