Generated on Tue Apr 18 10:22:48 2017 for Gecode by doxygen 1.6.3

Tracing for float variables
[Tracing constraint propagation]

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

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.

Typedef Documentation

typedef ViewTracer<Float::FloatView> Gecode::FloatTracer

Tracer for float variables.

Definition at line 1985 of file float.hh.

typedef ViewTraceRecorder<Float::FloatView> Gecode::FloatTraceRecorder

Trace recorder for float variables.

Definition at line 1990 of file float.hh.


Function Documentation

void Gecode::trace ( Home  home,
const FloatVarArgs &  x,
TraceFilter  tf,
int  te,
FloatTracer &  t 
)

Create a tracer for float variables.

void Gecode::trace ( Home  home,
const FloatVarArgs &  x,
int  te,
FloatTracer &  t 
) [inline]

Create a tracer for float variables.