98 virtual void init(
const Space& home,
119 virtual void fail(
const Space& home,
128 virtual void fix(
const Space& home,
136 virtual void done(
const Space& home,
175 virtual void propagate(
const Space& home,
183 virtual void commit(
const Space& home,
207 virtual void propagate(
const Space& home,
215 virtual void commit(
const Space& home,
246 prune(home,t,vti,i,d);
289 Tracer::_propagate(
const Space& home,
296 Tracer::_commit(
const Space& home,
Tracer that process view trace information.
Class to provide synchronization.
void acquire(void)
Acquire the mutex and possibly block.
virtual ~ViewTracer(void)
Destructor.
static StdTracer def
Default tracer (printing to std::cerr)
ExecStatus prune(Space &home, ViewArray< VX > &x, ConstIntView)
ViewTracer(void)
Constructor.
static Support::Mutex m
Mutex to provide synchronization.
A mutex for mutual exclausion among several threads.
void release(void)
Release the mutex.
virtual ~Tracer(void)
Destructor.
Gecode::IntArgs i({1, 2, 3, 4})
Commit trace information.
#define GECODE_KERNEL_EXPORT
Propagate trace information.
Propagator for recording view trace information.
Gecode toplevel namespace
std::ostream & os
Output stream to use.
Base class for heap allocated objects.