95 virtual void init(
const Space& home,
117 virtual void fix(
const Space& home,
125 virtual void done(
const Space& home,
149 prune(home,t,ei,i,d);
virtual ~Tracer(void)
Destructor.
Class to provide synchronization.
void acquire(void)
Acquire the mutex and possibly block.
ExecStatus prune(Space &home, ViewArray< VX > &x, ConstIntView)
static Support::Mutex m
Mutex to provide synchronization.
A mutex for mutual exclausion among several threads.
void release(void)
Release the mutex.
Gecode::IntArgs i(4, 1, 2, 3, 4)
Propagator for recording trace information.
#define GECODE_KERNEL_EXPORT
Tracer that process trace information.
Gecode toplevel namespace
Base class for heap allocated objects.