Generated on Thu Mar 16 2017 03:24:26 for Gecode by doxygen 1.8.13
tracer.hpp File Reference

(Revision: 15094)

Go to the source code of this file.

Classes

class  Gecode::TracerBase
 Class to provide synchronization. More...
 
class  Gecode::TraceRecorder< View >
 Propagator for recording trace information. More...
 
class  Gecode::Tracer< View >
 Tracer that process trace information. More...
 

Namespaces

 Gecode
 Gecode toplevel namespace