Gecode::Int::ViewValGraph::Graph< View > Class Template Reference

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.

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

template<class View>

typedef Support::StaticStack<ViewNode<View>*,Region> Gecode::Int::ViewValGraph::Graph< View >::ViewNodeStack

protected

Stack used during matching.

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

Constructor & Destructor Documentation

template<class View >

Graph::Graph ( void  )

inline

Construct graph as not yet initialized.

Reimplemented in Gecode::Int::Distinct::Graph< View >, and Gecode::Int::NValues::Graph.

Definition at line 44 of file graph.hpp.

Member Function Documentation

template<class View>

void Graph::init ( Space &  home, ViewNode< View > *  x  )

inlineprotected

Initialize the edges for the view node x.

Definition at line 55 of file graph.hpp.

template<class View>

bool Graph::match ( ViewNodeStack &  m, ViewNode< View > *  x  )

inlineprotected

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

template<class View>

ViewNode<View>** Gecode::Int::ViewValGraph::Graph< View >::view

protected

Array of view nodes.

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

template<class View>

ValNode<View>* Gecode::Int::ViewValGraph::Graph< View >::val

protected

Array of value nodes.

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

template<class View>

int Gecode::Int::ViewValGraph::Graph< View >::n_view

protected

Number of view nodes.

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

template<class View>

int Gecode::Int::ViewValGraph::Graph< View >::n_val

protected

Number of value nodes.

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

template<class View>

unsigned int Gecode::Int::ViewValGraph::Graph< View >::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:

• gecode/int/view-val-graph.hh (Revision: 12395)
• gecode/int/view-val-graph/graph.hpp (Revision: 12394)