Generated on Tue Jan 28 2020 00:00:00 for Gecode by doxygen 1.8.17

Tracer. More...

#include <tracer.hpp>

Public Member Functions

 Tracer (void)
 Constructor. More...
 
virtual void propagate (const Space &home, const PropagateTraceInfo &pti)=0
 Propagate function. More...
 
virtual void commit (const Space &home, const CommitTraceInfo &cti)=0
 Commit function. More...
 
virtual ~Tracer (void)
 Destructor. 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

Tracer.

Definition at line 153 of file tracer.hpp.

Constructor & Destructor Documentation

◆ Tracer()

Gecode::Tracer::Tracer ( void  )
inline

Constructor.

Definition at line 289 of file tracer.hpp.

◆ ~Tracer()

Gecode::Tracer::~Tracer ( void  )
inlinevirtual

Destructor.

Definition at line 308 of file tracer.hpp.

Member Function Documentation

◆ propagate()

virtual void Gecode::Tracer::propagate ( const Space home,
const PropagateTraceInfo pti 
)
pure virtual

Propagate function.

The propagate function is called when a propagator has been executed.

Implemented in Gecode::StdTracer.

◆ commit()

virtual void Gecode::Tracer::commit ( const Space home,
const CommitTraceInfo cti 
)
pure virtual

Commit function.

The commit function is called when a brancher has executed a commit operation.

Implemented in Gecode::StdTracer.


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