- Gecode
- Int
- IntTraceView

Duplicate of an integer view. More...
#include <int-trace-view.hpp>
Public Member Functions | |
| IntTraceView (void) | |
| Default constructor (initializes with no view) More... | |
| IntTraceView (Space &home, IntView y) | |
| Duplicate view y. More... | |
| RangeList * | ranges (void) const |
| Give access to ranges. More... | |
| void | prune (Space &home, IntView y, const Delta &d) |
| Update duplicated view from view y and modification delta d. More... | |
| void | update (Space &home, IntTraceView x) |
| Update during cloning. More... | |
Static Public Member Functions | |
| static unsigned long long int | slack (IntView x) |
| Return slack measure. More... | |
Protected Attributes | |
| RangeList * | dom |
| Ranges capturing the variable domain. More... | |
Duplicate of an integer view.
Definition at line 37 of file int-trace-view.hpp.
|
inline |
Default constructor (initializes with no view)
Definition at line 57 of file int-trace-view.hpp.
Duplicate view y.
Definition at line 60 of file int-trace-view.hpp.
|
inline |
Give access to ranges.
Definition at line 66 of file int-trace-view.hpp.
Update duplicated view from view y and modification delta d.
Definition at line 71 of file int-trace-view.hpp.
|
inline |
Update during cloning.
Definition at line 109 of file int-trace-view.hpp.
|
inlinestatic |
Return slack measure.
Definition at line 115 of file int-trace-view.hpp.
|
protected |
Ranges capturing the variable domain.
Definition at line 40 of file int-trace-view.hpp.