
View-value graph for propagation of upper bound. More...
#include <nvalues.hh>
Public Member Functions | |
| Graph (void) | |
| Construct graph as not yet initialized. More... | |
| int | size (void) const |
| Return size of maximal matching (excluding assigned views) More... | |
| void | init (Space &home, const ValSet &vs, const ViewArray< IntView > &x) |
| Initialize graph including values in vs. More... | |
| void | sync (Space &home) |
| Synchronize graph with new view domains. More... | |
| bool | mark (Space &home) |
| ExecStatus | prune (Space &home) |
| Prune all values corresponding to unused edges. More... | |
Public Member Functions inherited from Gecode::Int::ViewValGraph::Graph< IntView > | |
| Graph (void) | |
| Construct graph as not yet initialized. More... | |
| bool | initialized (void) const |
| Test whether graph has been initialized. More... | |
| void | purge (void) |
| Purge graph if necessary (reset information to avoid overflow) More... | |
Protected Attributes | |
| int | n_matched |
| Number of matched edges. More... | |
Protected Attributes inherited from Gecode::Int::ViewValGraph::Graph< IntView > | |
| ViewNode< IntView > ** | view |
| Array of view nodes. More... | |
| ValNode< IntView > * | val |
| Array of value nodes. More... | |
| int | n_view |
| Number of view nodes. More... | |
| int | n_val |
| Number of value nodes. More... | |
| unsigned int | count |
| Marking counter. More... | |
Additional Inherited Members | |
Protected Types inherited from Gecode::Int::ViewValGraph::Graph< IntView > | |
| typedef Support::StaticStack< ViewNode< IntView > *, Region > | ViewNodeStack |
| Stack used during matching. More... | |
Protected Member Functions inherited from Gecode::Int::ViewValGraph::Graph< IntView > | |
| void | init (Space &home, ViewNode< IntView > *x) |
| Initialize the edges for the view node x. More... | |
| bool | match (ViewNodeStack &m, ViewNode< IntView > *x) |
| Find a matching for node x. More... | |
| void | scc (Space &home) |
| Compute the strongly connected components. More... | |
View-value graph for propagation of upper bound.
Definition at line 100 of file nvalues.hh.
|
inline |
|
inline |
|
inline |
|
inline |
|
protected |
Number of matched edges.
Definition at line 103 of file nvalues.hh.