
Duplicate of a set view. More...
#include <trace-view.hpp>
Public Member Functions | |
| SetTraceView (void) | |
| Default constructor (initializes with no view) | |
| SetTraceView (Space &home, SetView x) | |
| Duplicate view x. | |
| RangeList * | glb (void) const |
| Return range list for greatest lower bound. | |
| RangeList * | lub (void) const |
| Return range list for leat upper bound. | |
| void | prune (Space &home, SetView y, const Delta &d) |
| Update duplicated view from view y and delta d. | |
| void | update (Space &home, SetTraceView x) |
| Update during cloning. | |
Static Public Member Functions | |
| static unsigned long long int | slack (SetView x) |
| Return slack for x. | |
Protected Attributes | |
| RangeList * | _glb |
| Copy of the greatest lower bound. | |
| RangeList * | _lub |
| Copy of the least upper bound. | |
Duplicate of a set view.
Definition at line 37 of file trace-view.hpp.
|
inline |
Default constructor (initializes with no view)
Definition at line 61 of file trace-view.hpp.
Duplicate view x.
Definition at line 63 of file trace-view.hpp.
|
inline |
Return range list for greatest lower bound.
Definition at line 70 of file trace-view.hpp.
|
inline |
Return range list for leat upper bound.
Definition at line 74 of file trace-view.hpp.
Update duplicated view from view y and delta d.
Definition at line 78 of file trace-view.hpp.
|
inline |
Update during cloning.
Definition at line 85 of file trace-view.hpp.
|
inlinestatic |
Return slack for x.
Definition at line 93 of file trace-view.hpp.
|
protected |
Copy of the greatest lower bound.
Definition at line 40 of file trace-view.hpp.
|
protected |
Copy of the least upper bound.
Definition at line 42 of file trace-view.hpp.