Generated on Wed Jul 21 2021 00:00:00 for Gecode by doxygen 1.9.1

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

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
 

Detailed Description

Trace delta information for float variables.

Definition at line 2049 of file float.hh.

Constructor & Destructor Documentation

◆ FloatTraceDelta()

Gecode::FloatTraceDelta::FloatTraceDelta ( Float::FloatTraceView  o,
Float::FloatView  n,
const Delta d 
)
inline

Definition at line 37 of file delta.hpp.

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 [1/2]

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

Definition at line 2052 of file float.hh.

◆ d

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

Definition at line 2054 of file float.hh.

◆ o

name Constructor Initialize with old trace view a Gecode::FloatTraceDelta::o

Definition at line 2058 of file float.hh.

◆ n [2/2]

name Constructor Initialize with old trace view a new view a Gecode::FloatTraceDelta::n

Definition at line 2058 of file float.hh.


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