View-value graph for propagation. More...
#include <distinct.hh>
Public Member Functions | |
Graph (void) | |
Construct graph as not yet initialized. More... | |
ExecStatus | init (Space &home, ViewArray< View > &x) |
Initialize graph. More... | |
bool | mark (Space &home) |
Mark edges in graph, return true if pruning is at all possible. More... | |
ExecStatus | prune (Space &home, bool &assigned) |
Prune unmarked edges, assigned is true if a view got assigned. More... | |
bool | sync (Space &home) |
Synchronize graph with new view domains. More... | |
![]() | |
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... | |
Additional Inherited Members | |
![]() | |
typedef Support::StaticStack< ViewNode< View > *, Region > | ViewNodeStack |
Stack used during matching. More... | |
![]() | |
void | init (Space &home, ViewNode< View > *x) |
Initialize the edges for the view node x. More... | |
bool | match (ViewNodeStack &m, ViewNode< View > *x) |
Find a matching for node x. More... | |
void | scc (Space &home) |
Compute the strongly connected components. More... | |
![]() | |
ViewNode< View > ** | view |
Array of view nodes. More... | |
ValNode< View > * | 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... | |
View-value graph for propagation.
Definition at line 186 of file distinct.hh.
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |