Generated on Thu Jan 16 2025 00:00:00 for Gecode by doxygen 1.14.0
Gecode::Search::WrapTraceRecorder Class Reference

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

#include <trace-recorder.hpp>

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

◆ engine()

void Gecode::Search::WrapTraceRecorder::engine ( SearchTracer * tracer,
SearchTracer::EngineType t,
unsigned int n )
inlinestatic

Register engine.

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


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