#ifndef SIMGRID_S4U_COND_VARIABLE_HPP
#define SIMGRID_S4U_COND_VARIABLE_HPP
-#include <simgrid/s4u/mutex.hpp>
+#include <mutex>
+#include <utility> // std::swap
+#include <simgrid/simix.h>
+#include <simgrid/s4u/mutex.hpp>
namespace simgrid {
namespace s4u {
/**
* Wait functions
*/
- void wait(Mutex *mutex);
- void wait_for(Mutex *mutex, double time);
+ void wait(std::unique_lock<Mutex>& lock);
+ void wait_for(std::unique_lock<Mutex>& lock, double time);
/**
* Notify functions