
Go to the source code of this file.
Classes | |
| 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... | |
Namespaces | |
| Gecode::Search | |
| Search engines | |