Generated on Thu Apr 5 2018 19:44:19 for Gecode by doxygen 1.8.13
Gecode::TraceTraits< Int::IntView > Class Template Reference

Trace traits for integer views. More...

#include <traits.hpp>

Public Types

typedef Int::IntTraceView TraceView
 
typedef IntTraceDelta TraceDelta
 
typedef unsigned long long int SlackValue
 

Detailed Description

template<>
class Gecode::TraceTraits< Int::IntView >

Trace traits for integer views.

Definition at line 42 of file traits.hpp.

Member Typedef Documentation

◆ TraceView

Definition at line 44 of file traits.hpp.

◆ TraceDelta

Definition at line 45 of file traits.hpp.

◆ SlackValue

typedef unsigned long long int Gecode::TraceTraits< Int::IntView >::SlackValue

Definition at line 46 of file traits.hpp.


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