Gecode::Int::Distinct::Graph< View > Class Template Reference
View-value graph for propagation. More...
#include <distinct.hh>
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
template<class View>
class Gecode::Int::Distinct::Graph< View >
View-value graph for propagation.
Definition at line 186 of file distinct.hh.
Constructor & Destructor Documentation
template<class View >
Graph::Graph | ( | void | ) | [inline] |
Construct graph as not yet initialized.
Reimplemented from Gecode::Int::ViewValGraph::Graph< View >.
Member Function Documentation
template<class View >
ExecStatus Graph::init | ( | Space & | home, | |
ViewArray< View > & | x | |||
) | [inline] |
template<class View >
bool Graph::mark | ( | Space & | home | ) | [inline] |
template<class View >
ExecStatus Graph::prune | ( | Space & | home, | |
bool & | assigned | |||
) | [inline] |
template<class View >
bool Graph::sync | ( | Space & | home | ) | [inline] |
The documentation for this class was generated from the following files:
- gecode/int/distinct.hh (Revision: 12423)
- gecode/int/distinct/graph.hpp (Revision: 12395)