Generated on Thu Mar 16 2017 03:24:28 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 1859 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 1862 of file float.hh.

◆ d

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

Definition at line 1864 of file float.hh.


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