Tracer that process view trace information.
static TraceFilter all
Default filter: without any filter.
Passing integer variables.
Passing Boolean variables.
Post propagator for SetVar x
void trace(Home home, const FloatVarArgs &x, TraceFilter tf, int te, FloatTracer &t)
Create a tracer for float variables.
Gecode toplevel namespace
Home class for posting propagators