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

trace-recorder.hpp File Reference

Go to the source code of this file.


class  Gecode::Search::WrapTraceRecorder
 Recorder for engine events (for access control). More...
class  Gecode::Search::TraceRecorder
 Simple recorder for a search tracer. More...
class  Gecode::Search::TraceRecorder::ID
 Class for storing identifiers. More...
class  Gecode::Search::EdgeTraceRecorder
 Recorder for a search tracer with edge information. More...
class  Gecode::Search::NoTraceRecorder
 Empty trace recorder. More...
class  Gecode::Search::NoTraceRecorder::ID
 Class for storing node identifiers. More...


namespace  Gecode

Gecode toplevel namespace

namespace  Gecode::Search

Search engines