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. |
View-value graph for propagation.
Definition at line 186 of file distinct.hh.
Graph::Graph | ( | void | ) | [inline] |
Construct graph as not yet initialized.
Reimplemented from Gecode::Int::ViewValGraph::Graph< View >.
ExecStatus Graph::init | ( | Space & | home, |
ViewArray< View > & | x | ||
) | [inline] |
bool Graph::mark | ( | Space & | home | ) | [inline] |
ExecStatus Graph::prune | ( | Space & | home, |
bool & | assigned | ||
) | [inline] |
bool Graph::sync | ( | Space & | home | ) | [inline] |