
Classes | |
| class | Gecode::FloatTraceDelta |
| Trace delta information for float variables. More... | |
| class | Gecode::StdFloatTracer |
| Standard float variable tracer. More... | |
Typedefs | |
| typedef ViewTracer< Float::FloatView > | Gecode::FloatTracer |
| Tracer for float variables. | |
| typedef ViewTraceRecorder< Float::FloatView > | Gecode::FloatTraceRecorder |
| Trace recorder for float variables. | |
Functions | |
| GECODE_FLOAT_EXPORT void | Gecode::trace (Home home, const FloatVarArgs &x, TraceFilter tf, int te=(TE_INIT|TE_PRUNE|TE_FIX|TE_FAIL|TE_DONE), FloatTracer &t=StdFloatTracer::def) |
| Create a tracer for float variables. | |
| void | Gecode::trace (Home home, const FloatVarArgs &x, int te=(TE_INIT|TE_PRUNE|TE_FIX|TE_FAIL|TE_DONE), FloatTracer &t=StdFloatTracer::def) |
| Create a tracer for float variables. | |
| void Gecode::trace | ( | Home | home, |
| const FloatVarArgs & | x, | ||
| TraceFilter | tf, | ||
| int | te = (TE_INIT | TE_PRUNE | TE_FIX | TE_FAIL | TE_DONE), | ||
| FloatTracer & | t = StdFloatTracer::def ) |
|
inline |