Generated on Sun Feb 17 15:24:49 2019 for Gecode by doxygen 1.6.3

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 1772 of file set.hh.

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

Trace recorder for set variables.

Definition at line 1777 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.