Generated on Sat Jun 2 2018 07:17:44 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 2011 of file float.hh.

Member Function Documentation

◆ min()

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

Definition at line 44 of file delta.hpp.

◆ max()

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

Definition at line 49 of file delta.hpp.

Member Data Documentation

◆ n

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

Definition at line 2014 of file float.hh.

◆ d

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

Definition at line 2016 of file float.hh.


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