Go to the source code of this file.
Classes | |
class | Gecode::ViewTraceRecorder< View > |
Propagator for recording view trace information. More... | |
class | Gecode::ViewTraceRecorder< View >::Slack |
Collection of slack values. More... | |
class | Gecode::ViewTraceRecorder< View >::Idx |
Advisor with index information. More... | |
class | Gecode::TraceRecorder |
Propagator for recording trace information. More... | |
Namespaces | |
namespace | 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_FAIL = 1 << 3 , Gecode::TE_DONE = 1 << 4 , Gecode::TE_PROPAGATE = 1 << 5 , Gecode::TE_COMMIT = 1 << 6 , Gecode::TE_POST = 1 << 7 } |
Which events to trace. More... | |