Classes
class	Gecode::SetTraceDelta
	Trace delta information for set variables. More...

class	Gecode::StdSetTracer
	Standard set variable tracer. More...

Typedefs
typedef Tracer< Set::SetView >	Gecode::SetTracer
	Tracer for set variables. More...

typedef TraceRecorder< Set::SetView >	Gecode::SetTraceRecorder
	TraceRecorder for set variables. More...

Functions
name Constructor Initialize with old trace view a new view a and delta a d	Gecode::SetTraceDelta::SetTraceDelta (Set::SetTraceView o, Set::SetView n, const Delta &d)

void	Gecode::trace (Home home, const SetVarArgs &x, TraceFilter tf, int te=(TE_INIT\|TE_PRUNE\|TE_FIX\|TE_DONE), SetTracer &t=StdSetTracer::def)
	Create a tracer for set variables. More...

void	Gecode::trace (Home home, const SetVarArgs &x, int te=(TE_INIT\|TE_PRUNE\|TE_FIX\|TE_DONE), SetTracer &t=StdSetTracer::def)
	Create a tracer for set variables. More...

Variables
name Constructor Initialize with old trace view a	Gecode::SetTraceDelta::o

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

Detailed Description

Typedef Documentation

◆ SetTracer

typedef Tracer<Set::SetView> Gecode::SetTracer

Tracer for set variables.

Definition at line 1706 of file set.hh.

◆ SetTraceRecorder

typedef TraceRecorder<Set::SetView> Gecode::SetTraceRecorder

TraceRecorder for set variables.

Definition at line 1711 of file set.hh.

Function Documentation

◆ SetTraceDelta()

Gecode::SetTraceDelta::SetTraceDelta	(	Set::SetTraceView	o,
		Set::SetView	n,
		const Delta &	d
	)

inline

Definition at line 52 of file delta.hpp.

◆ trace() [1/2]

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

Create a tracer for set variables.

Definition at line 43 of file trace.cpp.

◆ trace() [2/2]

void Gecode::trace	(	Home	home,
		const SetVarArgs &	x,
		int	te,
		SetTracer &	t
	)

inline

Create a tracer for set variables.

Definition at line 41 of file trace.hpp.

Variable Documentation

◆ o

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

Definition at line 1682 of file set.hh.

◆ n

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