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.
|
bool | initialized (void) const |
| Test whether graph has been initialized.
|
void | purge (void) |
| Purge graph if necessary (reset information to avoid overflow)
|
Detailed Description
View-value graph for propagation of upper bound.
Definition at line 100 of file nvalues.hh.
Constructor & Destructor Documentation
Member Function Documentation
int Graph::size |
( |
void |
| ) |
const |
|
inline |
Return size of maximal matching (excluding assigned views)
Definition at line 45 of file graph.hpp.
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 |
Prune all values corresponding to unused edges.
Definition at line 258 of file graph.hpp.
Member Data Documentation
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: