Trace delta information for float variables.
More...
#include <float.hh>
List of all members.
Detailed Description
Trace delta information for float variables.
Definition at line 2011 of file float.hh.
Constructor & Destructor Documentation
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
The documentation for this class was generated from the following files: