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