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.