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

Detailed Description

Typedef Documentation

◆ FloatTracer

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

Tracer for float variables.

Definition at line 1893 of file float.hh.

◆ FloatTraceRecorder

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

TraceRecorder for float variables.

Definition at line 1898 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 1868 of file float.hh.

◆ n

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