- Gecode
- Int
- BoolTraceView

Duplicate of a Boolean view. More...
#include <bool-trace-view.hpp>
Public Member Functions | |
| BoolTraceView (void) | |
| Default constructor (initializes with no view) More... | |
| BoolTraceView (Space &home, BoolView y) | |
| Duplicate view y. More... | |
| void | prune (Space &home, BoolView y, const Delta &d) |
| Update duplicated view from view y and modification delta d. More... | |
| void | update (Space &home, BoolTraceView x) |
| Update duplicate view during copying. More... | |
Static Public Member Functions | |
| static unsigned int | slack (BoolView x) |
| Return slack of x. More... | |
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.