Go to the source code of this file.
Classes | |
class | Gecode::TraceRecorder< View > |
Propagator for recording trace information. More... | |
class | Gecode::TraceRecorder< View >::Slack |
Collection of slack values. More... | |
class | Gecode::TraceRecorder< View >::Idx |
Advisor with index information. More... | |
Namespaces | |
Gecode | |
Gecode toplevel namespace | |
Enumerations | |
enum | Gecode::TraceEvent { Gecode::TE_INIT = 1 << 0, Gecode::TE_PRUNE = 1 << 1, Gecode::TE_FIX = 1 << 2, Gecode::TE_DONE = 1 << 3 } |
Which events to trace. More... | |