Generated on Wed Jan 24 2018 21:22:26 for Gecode by doxygen 1.8.13

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)
 

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 Deltad
 
name Access Return minimum FloatNum min (void) const
 
Return maximum FloatNum max (void) const
 

Detailed Description

Trace delta information for float variables.

Definition at line 1951 of file float.hh.

Member Function Documentation

◆ min()

FloatNum Gecode::FloatTraceDelta::min ( void  ) const
inline

Definition at line 48 of file delta.hpp.

◆ max()

FloatNum Gecode::FloatTraceDelta::max ( void  ) const
inline

Definition at line 53 of file delta.hpp.

Member Data Documentation

◆ n

New view Float::FloatView Gecode::FloatTraceDelta::n
protected

Definition at line 1954 of file float.hh.

◆ d

Delta information const Delta& Gecode::FloatTraceDelta::d
protected

Definition at line 1956 of file float.hh.


The documentation for this class was generated from the following files: