Classes | |
class | Gecode::FloatTraceDelta |
Trace delta information for float variables. More... | |
class | Gecode::StdFloatTracer |
Standard float variable tracer. More... | |
Typedefs | |
typedef Tracer< Float::FloatView > | Gecode::FloatTracer |
Tracer for float variables. More... | |
typedef TraceRecorder< Float::FloatView > | Gecode::FloatTraceRecorder |
TraceRecorder for float variables. More... | |
Functions | |
name Constructor Initialize with old trace view a new view a and delta a d | Gecode::FloatTraceDelta::FloatTraceDelta (Float::FloatTraceView o, Float::FloatView n, const Delta &d) |
void | Gecode::trace (Home home, const FloatVarArgs &x, TraceFilter tf, int te=(TE_INIT|TE_PRUNE|TE_FIX|TE_DONE), FloatTracer &t=StdFloatTracer::def) |
Create a tracer for float variables. More... | |
void | Gecode::trace (Home home, const FloatVarArgs &x, int te=(TE_INIT|TE_PRUNE|TE_FIX|TE_DONE), FloatTracer &t=StdFloatTracer::def) |
Create a tracer for float variables. More... | |
Variables | |
name Constructor Initialize with old trace view a | Gecode::FloatTraceDelta::o |
name Constructor Initialize with old trace view a new view a | Gecode::FloatTraceDelta::n |
typedef Tracer<Float::FloatView> Gecode::FloatTracer |
TraceRecorder for float variables.
|
inline |
void Gecode::trace | ( | Home | home, |
const FloatVarArgs & | x, | ||
TraceFilter | tf, | ||
int | te, | ||
FloatTracer & | t | ||
) |
|
inline |