Generated on Tue Apr 18 10:23:19 2017 for Gecode by doxygen 1.6.3
Gecode::TraceTraits

Gecode::TraceTraits< View > Class Template Reference

Traits for tracing. More...

#include <trace-traits.hpp>

Detailed Description

template<class View>
class Gecode::TraceTraits< View >

Traits for tracing.

The traits used for tracing are as follows:

  • typedef Type TraceView where Type is the type of an appropriate duplicate view of View.
  • typedef Type TraceDelta/code> where Type is the type of an appropriate trace delta for View.
  • typedef Type TraceSlack/code> where Type is the type of an appropriate measure of slack for View.

Definition at line 53 of file trace-traits.hpp.

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