#include <simgrid/simix.h>
#include <simgrid/chrono.hpp>
-#include <simgrid/s4u/mutex.hpp>
+#include <simgrid/s4u/Mutex.hpp>
namespace simgrid {
namespace s4u {
-class Mutex;
-
-/** A condition variable
+/** @brief A condition variable
+ * @ingroup s4u_api
*
- * This is based on std::condition_variable and should respect the same
+ * This is a drop-in replacement of `std::condition_variable` and should respect the same
* semantic. But we currently use (only) double for both durations and
* timestamp timeouts.
*/
// Wait functions without time:
+ void wait(MutexPtr lock);
void wait(std::unique_lock<Mutex>& lock);
template<class P>
void wait(std::unique_lock<Mutex>& lock, P pred)