Generated on Sat Jul 29 2017 12:41:24 for Gecode by doxygen 1.8.13

Classes

class  Gecode::SetTraceDelta
 Trace delta information for set variables. More...
 
class  Gecode::StdSetTracer
 Standard set variable tracer. More...
 

Typedefs

typedef ViewTracer< Set::SetViewGecode::SetTracer
 Tracer for set variables. More...
 
typedef ViewTraceRecorder< Set::SetViewGecode::SetTraceRecorder
 Trace recorder for set variables. More...
 

Functions

void Gecode::trace (Home home, const SetVarArgs &x, TraceFilter tf, int te=(TE_INIT|TE_PRUNE|TE_FIX|TE_FAIL|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_FAIL|TE_DONE), SetTracer &t=StdSetTracer::def)
 Create a tracer for set variables. More...
 

Detailed Description

Typedef Documentation

◆ SetTracer

Tracer for set variables.

Definition at line 1809 of file set.hh.

◆ SetTraceRecorder

Trace recorder for set variables.

Definition at line 1814 of file set.hh.

Function Documentation

◆ 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.