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