204 StdTracer(std::ostream& os0 = std::cerr);
211 virtual void propagate(
const Space& home,
219 virtual void commit(
const Space& home,
245 ViewTracer<View>::_prune(
const Space& home,
246 const ViewTraceRecorder<View>&
t,
247 const ViewTraceInfo& vti,
248 int i,
typename TraceTraits<View>::TraceDelta&
d) {
255 ViewTracer<View>::_fail(
const Space& home,
256 const ViewTraceRecorder<View>&
t) {
263 ViewTracer<View>::_fix(
const Space& home,
264 const ViewTraceRecorder<View>&
t) {
271 ViewTracer<View>::_done(
const Space& home,
272 const ViewTraceRecorder<View>&
t) {
293 Tracer::_propagate(
const Space& home,
300 Tracer::_commit(
const Space& home,
301 const CommitTraceInfo& cti) {
Tracer that process view trace information.
virtual void prune(const Space &home, const ViewTraceRecorder< View > &t, const ViewTraceInfo &vti, int i, typename TraceTraits< View >::TraceDelta &d)=0
Prune function.
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(4, 1, 2, 3, 4)
Commit trace information.
virtual void fail(const Space &home, const ViewTraceRecorder< View > &t)=0
Fail function.
virtual void fix(const Space &home, const ViewTraceRecorder< View > &t)=0
Fixpoint function.
#define GECODE_KERNEL_EXPORT
Propagate trace information.
Propagator for recording view trace information.
virtual void propagate(const Space &home, const PropagateTraceInfo &pti)=0
Propagate function.
virtual void init(const Space &home, const ViewTraceRecorder< View > &t)=0
Init function.
Gecode toplevel namespace
std::ostream & os
Output stream to use.
virtual void done(const Space &home, const ViewTraceRecorder< View > &t)=0
Done function.
Base class for heap allocated objects.
virtual void commit(const Space &home, const CommitTraceInfo &cti)=0
Commit function.