- Gecode
- FloatTraceDelta

Trace delta information for float variables. More...
#include <float.hh>
Public Member Functions | |
| name Constructor Initialize with old trace view a new view a and delta a d | FloatTraceDelta (Float::FloatTraceView o, Float::FloatView n, const Delta &d) |
| name Access Return minimum FloatNum | min (void) const |
| Return maximum FloatNum | max (void) const |
Public Attributes | |
| name Constructor Initialize with old trace view a | o |
| name Constructor Initialize with old trace view a new view a | n |
Protected Attributes | |
| New view Float::FloatView | n |
| Delta information const Delta & | d |
|
inline |
|
inline |
|
inline |
|
protected |
| name Constructor Initialize with old trace view a Gecode::FloatTraceDelta::o |