- Gecode
- Float
- FloatTraceView

#include <trace-view.hpp>
Public Member Functions | |
| FloatTraceView (void) | |
| Default constructor (initializes with no view) More... | |
| FloatTraceView (Space &home, FloatView y) | |
| Duplicate view y. More... | |
| void | prune (Space &home, FloatView y, const Delta &d) |
| Update duplicated view from view y and delta d. More... | |
| void | update (Space &home, FloatTraceView x) |
| Update during cloning. More... | |
Static Public Member Functions | |
| static FloatNum | slack (FloatView x) |
| Return slack of x. More... | |
Float trace view.
Definition at line 37 of file trace-view.hpp.
|
inline |
Default constructor (initializes with no view)
Definition at line 52 of file trace-view.hpp.
Duplicate view y.
Definition at line 54 of file trace-view.hpp.
Update duplicated view from view y and delta d.
Definition at line 56 of file trace-view.hpp.
|
inline |
Update during cloning.
Definition at line 58 of file trace-view.hpp.
Return slack of x.
Definition at line 60 of file trace-view.hpp.