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... | |
enum Gecode::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.