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 | |
GECODE_SET_EXPORT 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 ViewTracer<Set::SetView> Gecode::SetTracer |
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 ) |