Gecode::TracerBase Class Reference
Class to provide synchronization. More...
#include <tracer.hpp>
Static Protected Attributes | |
static Support::Mutex | m |
Mutex to provide synchronization. |
Detailed Description
Class to provide synchronization.
Definition at line 37 of file tracer.hpp.
Member Data Documentation
Support::Mutex Gecode::TracerBase::m [static, protected] |
Mutex to provide synchronization.
Definition at line 41 of file tracer.hpp.
The documentation for this class was generated from the following files:
- gecode/kernel/trace/tracer.hpp
- gecode/kernel/trace/tracer.cpp