Generated on Thu Jul 25 2019 00:00:00 for Gecode by doxygen 1.8.15

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. More...
 
typedef ViewTraceRecorder< Float::FloatViewGecode::FloatTraceRecorder
 Trace recorder 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_FAIL|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_FAIL|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
 

Detailed Description

Typedef Documentation

◆ FloatTracer

Tracer for float variables.

Definition at line 1985 of file float.hh.

◆ FloatTraceRecorder

Trace recorder for float variables.

Definition at line 1990 of file float.hh.

Function Documentation

◆ FloatTraceDelta()

Gecode::FloatTraceDelta::FloatTraceDelta ( Float::FloatTraceView  o,
Float::FloatView  n,
const Delta d 
)
inline

Definition at line 41 of file delta.hpp.

◆ trace() [1/2]

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

Create a tracer for float variables.

Definition at line 43 of file trace.cpp.

◆ trace() [2/2]

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

Create a tracer for float variables.

Definition at line 41 of file trace.hpp.

Variable Documentation

◆ o

name Constructor Initialize with old trace view a Gecode::FloatTraceDelta::o

Definition at line 1960 of file float.hh.

◆ n

name Constructor Initialize with old trace view a new view a Gecode::FloatTraceDelta::n

Definition at line 1960 of file float.hh.