Generated on Thu Mar 16 2017 03:24:27 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 Tracer< Set::SetViewGecode::SetTracer
 Tracer for set variables. More...
 
typedef TraceRecorder< Set::SetViewGecode::SetTraceRecorder
 TraceRecorder for set variables. More...
 

Functions

name Constructor Initialize with old trace view a new view a and delta aGecode::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

Tracer for set variables.

Definition at line 1706 of file set.hh.

◆ 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

Definition at line 1682 of file set.hh.