add mutex files
[model-checker.git] / mutex.h
1 #ifndef MUTEX_H
2 #define MUTEX_H
3 #include "threads.h"
4
5 namespace std {
6         class mutex {
7         public:
8                 mutex();
9                 ~mutex();
10                 void lock();
11                 bool try_lock();
12                 void unlock();
13         private:
14                 thread_id_t owner;
15                 bool islocked;
16         };
17 }
18 #endif