Generated on Sat Jun 2 2018 07:17:44 for Gecode by doxygen 1.8.13

Standard set variable tracer. More...

#include <set.hh>

Public Member Functions

 StdSetTracer (std::ostream &os0=std::cerr)
 Initialize with output stream os0. More...
 
virtual void init (const Space &home, const SetTraceRecorder &t)
 Print init information. More...
 
virtual void prune (const Space &home, const SetTraceRecorder &t, const ViewTraceInfo &vti, int i, SetTraceDelta &d)
 Print prune information. More...
 
virtual void fix (const Space &home, const SetTraceRecorder &t)
 Print fixpoint information. More...
 
virtual void fail (const Space &home, const SetTraceRecorder &t)
 Print failure information. More...
 
virtual void done (const Space &home, const SetTraceRecorder &t)
 Print that trace recorder is done. More...
 
- Public Member Functions inherited from Gecode::ViewTracer< View >
 ViewTracer (void)
 Constructor. More...
 
virtual void init (const Space &home, const ViewTraceRecorder< View > &t)=0
 Init function. More...
 
virtual void prune (const Space &home, const ViewTraceRecorder< View > &t, const ViewTraceInfo &vti, int i, typename TraceTraits< View >::TraceDelta &d)=0
 Prune function. More...
 
virtual void fail (const Space &home, const ViewTraceRecorder< View > &t)=0
 Fail function. More...
 
virtual void fix (const Space &home, const ViewTraceRecorder< View > &t)=0
 Fixpoint function. More...
 
virtual void done (const Space &home, const ViewTraceRecorder< View > &t)=0
 Done function. More...
 
virtual ~ViewTracer (void)
 Destructor. More...
 

Static Public Attributes

static StdSetTracer def
 Default tracer (printing to std::cerr) More...
 

Protected Attributes

std::ostream & os
 Output stream to use. More...
 

Additional Inherited Members

- Static Public Member Functions inherited from Gecode::HeapAllocated
static void * operator new (size_t s)
 Memory management. More...
 
static void operator delete (void *p)
 Free memory allocated from heap. More...
 
- Static Protected Attributes inherited from Gecode::TracerBase
static Support::Mutex m
 Mutex to provide synchronization. More...
 

Detailed Description

Standard set variable tracer.

Definition at line 1781 of file set.hh.


The documentation for this class was generated from the following files: