Generated on Thu Jul 25 2019 00:00:00 for Gecode by doxygen 1.8.15
tracer.hpp File Reference

(Revision: 15597)

Go to the source code of this file.

Classes

class  Gecode::TracerBase
 Class to provide synchronization. More...
 
class  Gecode::ViewTraceRecorder< View >
 Propagator for recording view trace information. More...
 
class  Gecode::ViewTracer< View >
 Tracer that process view trace information. More...
 
class  Gecode::Tracer
 Tracer. More...
 
class  Gecode::StdTracer
 Default tracer. More...
 

Namespaces

 Gecode
 Gecode toplevel namespace