223 virtual void propagate(
const Space& home,
231 virtual void commit(
const Space& home,
239 virtual void post(
const Space& home,
264 ViewTracer<View>::_prune(
const Space& home,
265 const ViewTraceRecorder<View>&
t,
266 const ViewTraceInfo& vti,
267 int i,
typename TraceTraits<View>::TraceDelta& d) {
273 ViewTracer<View>::_fail(
const Space& home,
274 const ViewTraceRecorder<View>&
t) {
280 ViewTracer<View>::_fix(
const Space& home,
281 const ViewTraceRecorder<View>&
t) {
287 ViewTracer<View>::_done(
const Space& home,
288 const ViewTraceRecorder<View>&
t) {
308 Tracer::_propagate(
const Space& home,
314 Tracer::_commit(
const Space& home,
315 const CommitTraceInfo& cti) {
320 Tracer::_post(
const Space& home,
321 const PostTraceInfo& pti) {
Commit trace information.
Base class for heap allocated objects.
Class to set group information when a post function is executed.
Propagate trace information.
std::ostream & os
Output stream to use.
static StdTracer def
Default tracer (printing to std::cerr)
A lock as a scoped frontend for a mutex.
A mutex for mutual exclausion among several threads.
Class to provide synchronization.
static Support::Mutex m
Mutex to provide synchronization.
virtual void commit(const Space &home, const CommitTraceInfo &cti)=0
Commit function.
virtual void propagate(const Space &home, const PropagateTraceInfo &pti)=0
Propagate function.
virtual ~Tracer(void)
Destructor.
virtual void post(const Space &home, const PostTraceInfo &pti)=0
Post function.
Propagator for recording view trace information.
Tracer that process view trace information.
virtual void done(const Space &home, const ViewTraceRecorder< View > &t)=0
Done function.
virtual void prune(const Space &home, const ViewTraceRecorder< View > &t, const ViewTraceInfo &vti, int i, typename TraceTraits< View >::TraceDelta &d)=0
Prune function.
ViewTracer(void)
Constructor.
virtual void init(const Space &home, const ViewTraceRecorder< View > &t)=0
Init function.
virtual void fail(const Space &home, const ViewTraceRecorder< View > &t)=0
Fail function.
virtual ~ViewTracer(void)
Destructor.
virtual void fix(const Space &home, const ViewTraceRecorder< View > &t)=0
Fixpoint function.
#define GECODE_KERNEL_EXPORT
ModEvent prune(Space &home, View x, int v)
Exclude value \v from variable view \x.
Gecode toplevel namespace