Generated on Thu Apr 11 13:59:47 2019 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: