|
| Graph (void) |
| Construct graph as not yet initialized.
|
|
ExecStatus | init (Space &home, ViewArray< View > &x) |
| Initialize graph.
|
|
bool | mark (void) |
| 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 (void) |
| Synchronize graph with new view domains.
|
|
| Graph (void) |
| Construct graph as not yet initialized.
|
|
| operator bool (void) const |
| Test whether graph has been initialized.
|
|
void | purge (void) |
| Purge graph if necessary (reset information to avoid overflow)
|
|
template<class View>
class Gecode::Int::Distinct::Graph< View >
View-value graph for propagation.
Definition at line 218 of file distinct.hh.