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.

Definition at line 41 of file graph.hpp.

int Graph::size ( void ) const

inline

Return size of maximal matching (excluding assigned views)

Definition at line 45 of file graph.hpp.

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.

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: