
Classes | |
| class | Gecode::SetTraceDelta |
| Trace delta information for set variables. More... | |
| class | Gecode::StdSetTracer |
| Standard set variable tracer. More... | |
Typedefs | |
| typedef ViewTracer< Set::SetView > | Gecode::SetTracer |
| Tracer for set variables. More... | |
| typedef ViewTraceRecorder< Set::SetView > | Gecode::SetTraceRecorder |
| Trace recorder for set variables. More... | |
Functions | |
| void | Gecode::trace (Home home, const SetVarArgs &x, TraceFilter tf, int te=(TE_INIT|TE_PRUNE|TE_FIX|TE_FAIL|TE_DONE), SetTracer &t=StdSetTracer::def) |
| Create a tracer for set variables. More... | |
| void | Gecode::trace (Home home, const SetVarArgs &x, int te=(TE_INIT|TE_PRUNE|TE_FIX|TE_FAIL|TE_DONE), SetTracer &t=StdSetTracer::def) |
| Create a tracer for set variables. More... | |
| typedef ViewTracer<Set::SetView> Gecode::SetTracer |
| void Gecode::trace | ( | Home | home, |
| const SetVarArgs & | x, | ||
| TraceFilter | tf, | ||
| int | te, | ||
| SetTracer & | t | ||
| ) |
|
inline |