Tracing for set variables
[Tracing constraint propagation]

Classes
class	Gecode::SetTraceDelta
	Trace delta information for set variables. More...
class	Gecode::StdSetTracer
	Standard set variable tracer. More...
Typedefs
typedef ViewTracer< Set::SetView >	Gecode::SetTracer
	Tracer for set variables.
typedef ViewTraceRecorder < Set::SetView >	Gecode::SetTraceRecorder
	Trace recorder for set variables.
Functions
void	Gecode::trace (Home home, const SetVarArgs &x, TraceFilter tf, int te=(TE_INIT|TE_PRUNE|TE_FIX|TE_FAIL|TE_DONE), SetTracer &t=StdSetTracer::def)
	Create a tracer for set variables.
void	Gecode::trace (Home home, const SetVarArgs &x, int te=(TE_INIT|TE_PRUNE|TE_FIX|TE_FAIL|TE_DONE), SetTracer &t=StdSetTracer::def)
	Create a tracer for set variables.

---

Typedef Documentation

typedef ViewTracer<Set::SetView> Gecode::SetTracer

Tracer for set variables.

Definition at line 1812 of file set.hh.

typedef ViewTraceRecorder<Set::SetView> Gecode::SetTraceRecorder

Trace recorder for set variables.

Definition at line 1817 of file set.hh.

---

Function Documentation

void Gecode::trace	(	Home	home,
		const SetVarArgs &	x,
		TraceFilter	tf,
		int	te,
		SetTracer &	t
	)

Create a tracer for set variables.

void Gecode::trace	(	Home	home,
		const SetVarArgs &	x,
		int	te,
		SetTracer &	t
	)			[inline]

Create a tracer for set variables.