Generated on Thu Apr 11 13:59:33 2019 for Gecode by doxygen 1.6.3

Tracing constraint propagation
[Programming models]

Classes

class  Gecode::TFE
 Trace filter expressions. More...
class  Gecode::TraceFilter
 Trace filters. More...
class  Gecode::ViewTraceRecorder< View >
 Propagator for recording view trace information. More...
class  Gecode::TraceRecorder
 Propagator for recording trace information. More...
class  Gecode::ViewTracer< View >
 Tracer that process view trace information. More...
class  Gecode::Tracer
 Tracer. More...
class  Gecode::StdTracer
 Default tracer. More...

Modules

 Tracing for float variables
 Tracing for integer and Boolean variables
 Tracing for set variables

Enumerations

enum  Gecode::TraceEvent {
  Gecode::TE_INIT = 1 << 0, Gecode::TE_PRUNE = 1 << 1, Gecode::TE_FIX = 1 << 2, Gecode::TE_FAIL = 1 << 3,
  Gecode::TE_DONE = 1 << 4, Gecode::TE_PROPAGATE = 1 << 5, Gecode::TE_COMMIT = 1 << 6, Gecode::TE_POST = 1 << 7
}
 

Which events to trace.

More...

Functions

void Gecode::trace (Home home, TraceFilter tf, int te=(TE_PROPAGATE|TE_COMMIT|TE_POST), Tracer &t=StdTracer::def)
 Create tracer.
void Gecode::trace (Home home, int te=(TE_PROPAGATE|TE_COMMIT|TE_POST), Tracer &t=StdTracer::def)
 Create tracer.

Enumeration Type Documentation

Which events to trace.

Enumerator:
TE_INIT 

Trace init events.

TE_PRUNE 

Trace prune events.

TE_FIX 

Trace fixpoint events.

TE_FAIL 

Trace fail events.

TE_DONE 

Trace done events.

TE_PROPAGATE 

Trace propagator executions.

TE_COMMIT 

Trace commit operations by branchers.

TE_POST 

Trace propagator posting.

Definition at line 40 of file recorder.hpp.


Function Documentation

void Gecode::trace ( Home  home,
TraceFilter  tf,
int  te,
Tracer &  t 
)

Create tracer.

void Gecode::trace ( Home  home,
int  te,
Tracer &  t 
) [inline]

Create tracer.