Gecode::TracerBase Class Reference

Class to provide synchronization. More...

#include <tracer.hpp>

List of all members.

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