Duplicate of a Boolean view. More...
#include <bool-trace-view.hpp>
Public Member Functions | |
BoolTraceView (void) | |
Default constructor (initializes with no view) | |
BoolTraceView (Space &home, BoolView y) | |
Duplicate view y. | |
void | prune (Space &home, BoolView y, const Delta &d) |
Update duplicated view from view y and modification delta d. | |
void | update (Space &home, BoolTraceView x) |
Update duplicate view during copying. |
Static Public Member Functions | |
static unsigned int | slack (BoolView x) |
Return slack of x. |
Duplicate of a Boolean view.
Definition at line 37 of file bool-trace-view.hpp.
|
inline |
Default constructor (initializes with no view)
Definition at line 53 of file bool-trace-view.hpp.
Duplicate view y.
Definition at line 55 of file bool-trace-view.hpp.
Update duplicated view from view y and modification delta d.
Definition at line 57 of file bool-trace-view.hpp.
|
inline |
Update duplicate view during copying.
Definition at line 59 of file bool-trace-view.hpp.
|
inlinestatic |
Return slack of x.
Definition at line 61 of file bool-trace-view.hpp.