Generated on Thu Mar 16 2017 03:24:29 for Gecode by doxygen 1.8.13

Standard set variable tracer. More...

#include <set.hh>

Public Member Functions

Initialize with output stream a os0 StdSetTracer (std::ostream &os0=std::cerr)
 
Print init virtual information void init (const Space &home, const SetTraceRecorder &t)
 
Print prune virtual information void prune (const Space &home, const SetTraceRecorder &t, const ExecInfo &ei, int i, SetTraceDelta &d)
 
Print fixpoint virtual information void fix (const Space &home, const SetTraceRecorder &t)
 
Print that trace recorder is virtual done void done (const Space &home, const SetTraceRecorder &t)
 
Default tracer (printing to std::cerr) static StdSetTracer def
 
- Public Member Functions inherited from Gecode::Tracer< View >
 Tracer (void)
 Constructor. More...
 
virtual void init (const Space &home, const TraceRecorder< View > &t)=0
 Init function. More...
 
virtual void prune (const Space &home, const TraceRecorder< View > &t, const ExecInfo &ei, int i, typename TraceTraits< View >::TraceDelta &d)=0
 Prune function. More...
 
virtual void fix (const Space &home, const TraceRecorder< View > &t)=0
 Fixpoint function. More...
 
virtual void done (const Space &home, const TraceRecorder< View > &t)=0
 Done function. More...
 
virtual ~Tracer (void)
 Destructor. More...
 

Protected Attributes

Output stream to use std::ostream & os
 

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 1717 of file set.hh.

Constructor & Destructor Documentation

◆ StdSetTracer()

Gecode::StdSetTracer::StdSetTracer ( std::ostream &  os0 = std::cerr)

Definition at line 43 of file tracer.cpp.

Member Function Documentation

◆ init()

void Gecode::StdSetTracer::init ( const Space home,
const SetTraceRecorder t 
)
virtual

Definition at line 47 of file tracer.cpp.

◆ prune()

void Gecode::StdSetTracer::prune ( const Space home,
const SetTraceRecorder t,
const ExecInfo ei,
int  i,
SetTraceDelta d 
)
virtual

Definition at line 56 of file tracer.cpp.

◆ fix()

void Gecode::StdSetTracer::fix ( const Space home,
const SetTraceRecorder t 
)
virtual

Definition at line 89 of file tracer.cpp.

◆ done()

void Gecode::StdSetTracer::done ( const Space home,
const SetTraceRecorder t 
)
virtual

Definition at line 107 of file tracer.cpp.

◆ tracer()

Default Gecode::StdSetTracer::tracer ( printing to std::cerr  )

Member Data Documentation

◆ os

Output stream to use std::ostream& Gecode::StdSetTracer::os
protected

Definition at line 1720 of file set.hh.


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