- 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 |