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 }
	Which events to trace. More...
Functions
void	Gecode::trace (Home home, TraceFilter tf, int te=(TE_PROPAGATE|TE_COMMIT), Tracer &t=StdTracer::def)
	Create tracer.
void	Gecode::trace (Home home, int te=(TE_PROPAGATE|TE_COMMIT), Tracer &t=StdTracer::def)
	Create tracer.

---

Enumeration Type Documentation

enum Gecode::TraceEvent

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.

Definition at line 44 of file trace-recorder.hpp.

---

Function Documentation

void Gecode::trace	(	Home	home,
		TraceFilter	tf,
		int	te,
		Tracer &	t
	)

Create tracer.

void Gecode::trace	(	Home	home,
		int	te,
		Tracer &	t
	)			[inline]

Create tracer.