Generated on Fri Oct 19 11:25:52 2018 for Gecode by doxygen 1.6.3

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

Mutex to provide synchronization.

Definition at line 41 of file tracer.hpp.


The documentation for this class was generated from the following files: