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

View-value graph for propagation. More...

#include <distinct.hh>

List of all members.

Public Member Functions

 Graph (void)
 Construct graph as not yet initialized.
ExecStatus init (Space &home, ViewArray< View > &x)
 Initialize graph.
bool mark (Space &home)
 Mark edges in graph, return true if pruning is at all possible.
ExecStatus prune (Space &home, bool &assigned)
 Prune unmarked edges, assigned is true if a view got assigned.
bool sync (Space &home)
 Synchronize graph with new view domains.

Detailed Description

View-value graph for propagation.


Constructor & Destructor Documentation

Graph::Graph ( void  ) [inline]

Construct graph as not yet initialized.

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

Definition at line 44 of file graph.hpp.


Member Function Documentation

ExecStatus Graph::init ( Space home,
ViewArray< View > &  x 
) [inline]

Initialize graph.

Definition at line 48 of file graph.hpp.

bool Graph::mark ( Space home) [inline]

Mark edges in graph, return true if pruning is at all possible.

Definition at line 178 of file graph.hpp.

ExecStatus Graph::prune ( Space home,
bool &  assigned 
) [inline]

Prune unmarked edges, assigned is true if a view got assigned.

Definition at line 242 of file graph.hpp.

bool Graph::sync ( Space home) [inline]

Synchronize graph with new view domains.

Definition at line 116 of file graph.hpp.


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