
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... | |
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... | |