Gecode::TraceTraits< View > Class Template Reference
Traits for tracing. More...
class Gecode::TraceTraits< View >
Traits for tracing.
The traits used for tracing are as follows:
typedef Type TraceViewwhere
Typeis the type of an appropriate duplicate view of View.
typedef Type TraceDelta/code> where
Typeis the type of an appropriate trace delta for View.
typedef Type TraceSlack/code> where
Typeis the type of an appropriate measure of slack for View.
The documentation for this class was generated from the following file: