Gecode::FloatTraceDelta Class Reference
[Tracing for float variables]
Trace delta information for float variables. More...
#include <float.hh>
List of all members.
Protected Attributes | |
| Float::FloatView | n |
| New view. | |
| const Delta & | d |
| Delta information. | |
Constructor | |
|
| |
| FloatTraceDelta (Float::FloatTraceView o, Float::FloatView n, const Delta &d) | |
| Initialize with old trace view o, new view n, and delta d. | |
Access | |
|
| |
| FloatNum | min (void) const |
| Return minimum. | |
| FloatNum | max (void) const |
| Return maximum. | |
Detailed Description
Trace delta information for float variables.
Definition at line 2049 of file float.hh.
Constructor & Destructor Documentation
| Gecode::FloatTraceDelta::FloatTraceDelta | ( | Float::FloatTraceView | o, | |
| Float::FloatView | n, | |||
| const Delta & | d | |||
| ) | [inline] |
Initialize with old trace view o, new view n, and delta d.
Definition at line 37 of file delta.hpp.
Member Function Documentation
| FloatNum Gecode::FloatTraceDelta::min | ( | void | ) | const [inline] |
Return minimum.
Definition at line 44 of file delta.hpp.
| FloatNum Gecode::FloatTraceDelta::max | ( | void | ) | const [inline] |
Return maximum.
Definition at line 49 of file delta.hpp.
Member Data Documentation
Float::FloatView Gecode::FloatTraceDelta::n [protected] |
const Delta& Gecode::FloatTraceDelta::d [protected] |
The documentation for this class was generated from the following files:
- gecode/float.hh
- gecode/float/trace/delta.hpp
