forgot to add two files...

[model-checker.git] / conditionvariable.h

diff --git a/conditionvariable.h b/conditionvariable.h
new file mode 100644 (file)
index 0000000..d1db7ff
--- /dev/null
+++ b/conditionvariable.h
@@ -0,0 +1,23 @@
+#ifndef CONDITIONVARIABLE_H
+#define CONDITIONVARIABLE_H
+
+namespace std {
+       class mutex;
+
+       struct condition_variable_state {
+               int reserved;
+       };
+
+       class condition_variable {
+       public:
+               condition_variable();
+               ~condition_variable();
+               void notify_one();
+               void notify_all();
+               void wait(mutex& lock);
+               
+       private:
+               struct condition_variable_state state;
+       };
+}
+#endif