Generated on Tue Feb 11 2025 17:33:26 for Gecode by doxygen 1.12.0
Gecode::TraceTraits< Int::IntView > Class 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

Trace traits for integer views.

Definition at line 38 of file traits.hpp.

Member Typedef Documentation

◆ TraceView

Definition at line 40 of file traits.hpp.

◆ TraceDelta

Definition at line 41 of file traits.hpp.

◆ SlackValue

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

Definition at line 42 of file traits.hpp.


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