Generated on Tue Apr 18 10:22:49 2017 for Gecode by doxygen 1.6.3

Tracing for integer and Boolean variables
[Tracing constraint propagation]

Classes

class  Gecode::IntTraceDelta
 Trace delta information for integer variables. More...
class  Gecode::BoolTraceDelta
 Trace delta information for Boolean variables. More...
class  Gecode::StdIntTracer
 Standard integer variable tracer. More...
class  Gecode::StdBoolTracer
 Standard Boolean variable tracer. More...

Typedefs

typedef ViewTracer< Int::IntView > Gecode::IntTracer
 Tracer for integer variables.
typedef ViewTraceRecorder
< Int::IntView > 
Gecode::IntTraceRecorder
 Trace recorder for integer variables.
typedef ViewTracer< Int::BoolView > Gecode::BoolTracer
 Tracer for Boolean variables.
typedef ViewTraceRecorder
< Int::BoolView > 
Gecode::BoolTraceRecorder
 Trace recorder for Boolean variables.

Functions

void Gecode::trace (Home home, const IntVarArgs &x, TraceFilter tf, int te=(TE_INIT|TE_PRUNE|TE_FIX|TE_FAIL|TE_DONE), IntTracer &t=StdIntTracer::def)
 Create a tracer for integer variables.
void Gecode::trace (Home home, const IntVarArgs &x, int te=(TE_INIT|TE_PRUNE|TE_FIX|TE_FAIL|TE_DONE), IntTracer &t=StdIntTracer::def)
 Create a tracer for integer variables.
void Gecode::trace (Home home, const BoolVarArgs &x, TraceFilter tf, int te=(TE_INIT|TE_PRUNE|TE_FIX|TE_FAIL|TE_DONE), BoolTracer &t=StdBoolTracer::def)
 Create a tracer for Boolean Variables.
void Gecode::trace (Home home, const BoolVarArgs &x, int te=(TE_INIT|TE_PRUNE|TE_FIX|TE_FAIL|TE_DONE), BoolTracer &t=StdBoolTracer::def)
 Create a tracer for Boolean Variables.

Typedef Documentation

typedef ViewTracer<Int::IntView> Gecode::IntTracer

Tracer for integer variables.

Definition at line 5120 of file int.hh.

typedef ViewTraceRecorder<Int::IntView> Gecode::IntTraceRecorder

Trace recorder for integer variables.

Definition at line 5125 of file int.hh.

typedef ViewTracer<Int::BoolView> Gecode::BoolTracer

Tracer for Boolean variables.

Definition at line 5158 of file int.hh.

typedef ViewTraceRecorder<Int::BoolView> Gecode::BoolTraceRecorder

Trace recorder for Boolean variables.

Definition at line 5163 of file int.hh.


Function Documentation

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

Create a tracer for integer variables.

void Gecode::trace ( Home  home,
const IntVarArgs &  x,
int  te,
IntTracer &  t 
) [inline]

Create a tracer for integer variables.

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

Create a tracer for Boolean Variables.

void Gecode::trace ( Home  home,
const BoolVarArgs &  x,
int  te,
BoolTracer &  t 
) [inline]

Create a tracer for Boolean Variables.