mutex: define empty destructor
[model-checker.git] / include / condition_variable
1 #ifndef __CXX_CONDITION_VARIABLE__
2 #define __CXX_CONDITION_VARIABLE__
3
4 namespace std {
5         class mutex;
6
7         struct condition_variable_state {
8                 int reserved;
9         };
10
11         class condition_variable {
12         public:
13                 condition_variable();
14                 ~condition_variable();
15                 void notify_one();
16                 void notify_all();
17                 void wait(mutex& lock);
18                 
19         private:
20                 struct condition_variable_state state;
21         };
22 }
23
24 #endif /* __CXX_CONDITION_VARIABLE__ */