Classes |
| class | Gecode::IntTraceDelta |
| | Trace delta information for integer variables. More...
|
| class | Gecode::BoolTraceDelta |
| | Trace delta information for Boolean variables. More...
|
| class | Gecode::StdIntTracer |
| | Standard integer variable tracer. More...
|
| class | Gecode::StdBoolTracer |
| | Standard Boolean variable tracer. More...
|
Typedefs |
| typedef ViewTracer< Int::IntView > | Gecode::IntTracer |
| | Tracer for integer variables.
|
typedef ViewTraceRecorder
< Int::IntView > | Gecode::IntTraceRecorder |
| | Trace recorder for integer variables.
|
| typedef ViewTracer< Int::BoolView > | Gecode::BoolTracer |
| | Tracer for Boolean variables.
|
typedef ViewTraceRecorder
< Int::BoolView > | Gecode::BoolTraceRecorder |
| | Trace recorder for Boolean variables.
|
Functions |
| void | Gecode::trace (Home home, const IntVarArgs &x, TraceFilter tf, int te=(TE_INIT|TE_PRUNE|TE_FIX|TE_FAIL|TE_DONE), IntTracer &t=StdIntTracer::def) |
| | Create a tracer for integer variables.
|
| void | Gecode::trace (Home home, const IntVarArgs &x, int te=(TE_INIT|TE_PRUNE|TE_FIX|TE_FAIL|TE_DONE), IntTracer &t=StdIntTracer::def) |
| | Create a tracer for integer variables.
|
| void | Gecode::trace (Home home, const BoolVarArgs &x, TraceFilter tf, int te=(TE_INIT|TE_PRUNE|TE_FIX|TE_FAIL|TE_DONE), BoolTracer &t=StdBoolTracer::def) |
| | Create a tracer for Boolean Variables.
|
| void | Gecode::trace (Home home, const BoolVarArgs &x, int te=(TE_INIT|TE_PRUNE|TE_FIX|TE_FAIL|TE_DONE), BoolTracer &t=StdBoolTracer::def) |
| | Create a tracer for Boolean Variables.
|
