Generated on Thu Jan 16 2025 00:00:00 for Gecode by doxygen 1.14.0

Classes

class  Gecode::FloatTraceDelta
 Trace delta information for float variables. More...
class  Gecode::StdFloatTracer
 Standard float variable tracer. More...

Typedefs

typedef ViewTracer< Float::FloatViewGecode::FloatTracer
 Tracer for float variables.
typedef ViewTraceRecorder< Float::FloatViewGecode::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.

Detailed Description

Typedef Documentation

◆ FloatTracer

Tracer for float variables.

Definition at line 2089 of file float.hh.

◆ FloatTraceRecorder

Trace recorder for float variables.

Definition at line 2094 of file float.hh.

Function Documentation

◆ trace() [1/2]

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.

Definition at line 39 of file trace.cpp.

◆ trace() [2/2]

void Gecode::trace ( Home home,
const FloatVarArgs & x,
int te = (TE_INIT | TE_PRUNE | TE_FIX | TE_FAIL | TE_DONE),
FloatTracer & t = StdFloatTracer::def )
inline

Create a tracer for float variables.

Definition at line 37 of file trace.hpp.