Generated on Tue Jan 19 2021 06:15:49 for Gecode by doxygen 1.8.13
Gecode::TraceTraits< Float::FloatView > Class Template Reference

Trace traits for float views. More...

#include <traits.hpp>

Public Types

typedef Float::FloatTraceView TraceView
 
typedef FloatTraceDelta TraceDelta
 
typedef FloatNum SlackValue
 

Detailed Description

template<>
class Gecode::TraceTraits< Float::FloatView >

Trace traits for float views.

Definition at line 38 of file traits.hpp.

Member Typedef Documentation

◆ TraceView

◆ TraceDelta

◆ SlackValue

Definition at line 42 of file traits.hpp.


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