Generated on Sun Feb 17 15:25:32 2019 for Gecode by doxygen 1.6.3

Gecode::Search::WrapTraceRecorder Class Reference

Recorder for engine events (for access control). More...

#include <trace-recorder.hpp>

List of all members.

Static Public Member Functions

static void engine (SearchTracer *tracer, SearchTracer::EngineType t, unsigned int n)
 Register engine.

Detailed Description

Recorder for engine events (for access control).

Definition at line 37 of file trace-recorder.hpp.


Member Function Documentation

void Gecode::Search::WrapTraceRecorder::engine ( SearchTracer tracer,
SearchTracer::EngineType  t,
unsigned int  n 
) [inline, static]

Register engine.

Definition at line 152 of file trace-recorder.hpp.


The documentation for this class was generated from the following file: