Topics | |
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.