Generated on Sat Jun 2 2018 07:17:44 for Gecode by doxygen 1.8.13
trace.cpp File Reference
#include <gecode/int.hh>

Go to the source code of this file.

Namespaces

 Gecode
 Gecode toplevel namespace
 

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. More...
 
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. More...