Generated on Thu Mar 16 2017 03:24:26 for Gecode by doxygen 1.8.13
Tracing constraint propagation

Modules

 Tracing for float variables
 
 Tracing for integer and Boolean variables
 
 Tracing for set variables
 

Classes

class  Gecode::TFE
 Trace filter expressions. More...
 
class  Gecode::TraceFilter
 Trace filters. More...
 
class  Gecode::TraceRecorder< View >
 Propagator for recording trace information. More...
 
class  Gecode::Tracer< View >
 Tracer that process trace information. More...
 

Enumerations

enum  Gecode::TraceEvent { Gecode::TE_INIT = 1 << 0, Gecode::TE_PRUNE = 1 << 1, Gecode::TE_FIX = 1 << 2, Gecode::TE_DONE = 1 << 3 }
 Which events to trace. More...
 

Detailed Description

Enumeration Type Documentation

◆ TraceEvent

Which events to trace.

Enumerator
TE_INIT 

Trace init events.

TE_PRUNE 

Trace prune events.

TE_FIX 

Trace fixpoint events.

TE_DONE 

Trace done events.

Definition at line 44 of file trace-recorder.hpp.