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 ViewTracer< Int::IntView > | Gecode::IntTracer |
Tracer for integer variables. | |
typedef ViewTraceRecorder< Int::IntView > | Gecode::IntTraceRecorder |
Trace recorder for integer variables. | |
typedef ViewTracer< Int::BoolView > | Gecode::BoolTracer |
Tracer for Boolean variables. | |
typedef ViewTraceRecorder< Int::BoolView > | Gecode::BoolTraceRecorder |
Trace recorder for Boolean variables. |
Functions | |
void | Gecode::trace (Home home, const IntVarArgs &x, TraceFilter tf, int te=(TE_INIT|TE_PRUNE|TE_FIX|TE_FAIL|TE_DONE), IntTracer &t=StdIntTracer::def) |
Create a tracer for integer variables. | |
void | Gecode::trace (Home home, const IntVarArgs &x, int te=(TE_INIT|TE_PRUNE|TE_FIX|TE_FAIL|TE_DONE), IntTracer &t=StdIntTracer::def) |
Create a tracer for integer variables. | |
void | Gecode::trace (Home home, const BoolVarArgs &x, TraceFilter tf, int te=(TE_INIT|TE_PRUNE|TE_FIX|TE_FAIL|TE_DONE), BoolTracer &t=StdBoolTracer::def) |
Create a tracer for Boolean Variables. | |
void | Gecode::trace (Home home, const BoolVarArgs &x, int te=(TE_INIT|TE_PRUNE|TE_FIX|TE_FAIL|TE_DONE), BoolTracer &t=StdBoolTracer::def) |
Create a tracer for Boolean Variables. |
typedef ViewTracer<Int::IntView> Gecode::IntTracer |
typedef ViewTracer<Int::BoolView> Gecode::BoolTracer |
void Gecode::trace | ( | Home | home, |
const IntVarArgs & | x, | ||
TraceFilter | tf, | ||
int | te = (TE_INIT | TE_PRUNE | TE_FIX | TE_FAIL | TE_DONE), | ||
IntTracer & | t = StdIntTracer::def ) |
|
inline |
void Gecode::trace | ( | Home | home, |
const BoolVarArgs & | x, | ||
TraceFilter | tf, | ||
int | te = (TE_INIT | TE_PRUNE | TE_FIX | TE_FAIL | TE_DONE), | ||
BoolTracer & | t = StdBoolTracer::def ) |
|
inline |