- Gecode
- TracerBase

Class to provide synchronization. More...
#include <tracer.hpp>
Static Protected Attributes | |
| static Support::Mutex | m |
| Mutex to provide synchronization. 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... | |
Class to provide synchronization.
Definition at line 37 of file tracer.hpp.
|
staticprotected |
Mutex to provide synchronization.
Definition at line 41 of file tracer.hpp.