
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::ViewTraceRecorder< View > |
| Propagator for recording view trace information. More... | |
| class | Gecode::TraceRecorder |
| Propagator for recording trace information. More... | |
| class | Gecode::ViewTracer< View > |
| Tracer that process view trace information. More... | |
| class | Gecode::Tracer |
| Tracer. More... | |
| class | Gecode::StdTracer |
| Default tracer. More... | |
Enumerations | |
| enum | Gecode::TraceEvent { Gecode::TE_INIT = 1 << 0 , Gecode::TE_PRUNE = 1 << 1 , Gecode::TE_FIX = 1 << 2 , Gecode::TE_FAIL = 1 << 3 , Gecode::TE_DONE = 1 << 4 , Gecode::TE_PROPAGATE = 1 << 5 , Gecode::TE_COMMIT = 1 << 6 , Gecode::TE_POST = 1 << 7 } |
| Which events to trace. More... | |
Functions | |
| void | Gecode::trace (Home home, TraceFilter tf, int te=(TE_PROPAGATE|TE_COMMIT|TE_POST), Tracer &t=StdTracer::def) |
| Create tracer. | |
| void | Gecode::trace (Home home, int te=(TE_PROPAGATE|TE_COMMIT|TE_POST), Tracer &t=StdTracer::def) |
| Create tracer. | |
| enum Gecode::TraceEvent |
Which events to trace.
Definition at line 40 of file recorder.hpp.
| void Gecode::trace | ( | Home | home, |
| TraceFilter | tf, | ||
| int | te = (TE_PROPAGATE | TE_COMMIT | TE_POST), |
||
| Tracer & | t = StdTracer::def |
||
| ) |
Create tracer.
Definition at line 39 of file general.cpp.
|
inline |
Create tracer.
Definition at line 37 of file general.hpp.