Tracing constraint propagation
[Programming models]

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...
Modules
	Tracing for float variables
	Tracing for integer and Boolean variables
	Tracing for set variables
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.

Enumeration Type Documentation

Which events to trace.

Enumerator:

TE_INIT	Trace init events.
TE_PRUNE	Trace prune events.
TE_FIX	Trace fixpoint events.
TE_FAIL	Trace fail events.
TE_DONE	Trace done events.
TE_PROPAGATE	Trace propagator executions.
TE_COMMIT	Trace commit operations by branchers.
TE_POST	Trace propagator posting.

Definition at line 40 of file recorder.hpp.

Create tracer.

Create tracer.