Classes | |
class | Gecode::IntTraceDelta |
Trace delta information for integer variables. More... | |
class | Gecode::BoolTraceDelta |
Trace delta information for Boolean variables. More... | |
class | Gecode::StdIntTracer |
Standard integer variable tracer. More... | |
class | Gecode::StdBoolTracer |
Standard Boolean variable tracer. More... | |
Typedefs | |
typedef Tracer< Int::IntView > | Gecode::IntTracer |
Tracer for integer variables. More... | |
typedef TraceRecorder< Int::IntView > | Gecode::IntTraceRecorder |
TraceRecorder for integer variables. More... | |
typedef Tracer< Int::BoolView > | Gecode::BoolTracer |
Tracer for Boolean variables. More... | |
typedef TraceRecorder< Int::BoolView > | Gecode::BoolTraceRecorder |
TraceRecorder for Boolean variables. More... | |
Functions | |
void | Gecode::trace (Home home, const IntVarArgs &x, TraceFilter tf, int te=(TE_INIT|TE_PRUNE|TE_FIX|TE_DONE), IntTracer &t=StdIntTracer::def) |
Create a tracer for integer variables. More... | |
void | Gecode::trace (Home home, const IntVarArgs &x, int te=(TE_INIT|TE_PRUNE|TE_FIX|TE_DONE), IntTracer &t=StdIntTracer::def) |
Create a tracer for integer variables. More... | |
void | Gecode::trace (Home home, const BoolVarArgs &x, TraceFilter tf, int te=(TE_INIT|TE_PRUNE|TE_FIX|TE_DONE), BoolTracer &t=StdBoolTracer::def) |
Create a tracer for Boolean Variables. More... | |
void | Gecode::trace (Home home, const BoolVarArgs &x, int te=(TE_INIT|TE_PRUNE|TE_FIX|TE_DONE), BoolTracer &t=StdBoolTracer::def) |
Create a tracer for Boolean Variables. More... | |
typedef Tracer<Int::IntView> Gecode::IntTracer |
TraceRecorder for integer variables.
typedef Tracer<Int::BoolView> Gecode::BoolTracer |
TraceRecorder for Boolean variables.
void Gecode::trace | ( | Home | home, |
const IntVarArgs & | x, | ||
TraceFilter | tf, | ||
int | te, | ||
IntTracer & | t | ||
) |
|
inline |
void Gecode::trace | ( | Home | home, |
const BoolVarArgs & | x, | ||
TraceFilter | tf, | ||
int | te, | ||
BoolTracer & | t | ||
) |
|
inline |