Classes | |
class | Gecode::SetTraceDelta |
Trace delta information for set variables. More... | |
class | Gecode::StdSetTracer |
Standard set variable tracer. More... | |
Typedefs | |
typedef Tracer< Set::SetView > | Gecode::SetTracer |
Tracer for set variables. More... | |
typedef TraceRecorder< Set::SetView > | Gecode::SetTraceRecorder |
TraceRecorder for set variables. More... | |
Functions | |
name Constructor Initialize with old trace view a new view a and delta a d | Gecode::SetTraceDelta::SetTraceDelta (Set::SetTraceView o, Set::SetView n, const Delta &d) |
void | Gecode::trace (Home home, const SetVarArgs &x, TraceFilter tf, int te=(TE_INIT|TE_PRUNE|TE_FIX|TE_DONE), SetTracer &t=StdSetTracer::def) |
Create a tracer for set variables. More... | |
void | Gecode::trace (Home home, const SetVarArgs &x, int te=(TE_INIT|TE_PRUNE|TE_FIX|TE_DONE), SetTracer &t=StdSetTracer::def) |
Create a tracer for set variables. More... | |
Variables | |
name Constructor Initialize with old trace view a | Gecode::SetTraceDelta::o |
name Constructor Initialize with old trace view a new view a | Gecode::SetTraceDelta::n |
typedef Tracer<Set::SetView> Gecode::SetTracer |
TraceRecorder for set variables.
|
inline |
void Gecode::trace | ( | Home | home, |
const SetVarArgs & | x, | ||
TraceFilter | tf, | ||
int | te, | ||
SetTracer & | t | ||
) |
|
inline |