+class XBT_PUBLIC ConditionVariableImpl {
+public:
+ ConditionVariableImpl();
+ ~ConditionVariableImpl();
+
+ actor::SynchroList sleeping_; /* list of sleeping processes */
+ MutexImpl* mutex_ = nullptr;
+ s4u::ConditionVariable cond_;
+
+ void broadcast();
+ void signal();
+ void wait(MutexImpl* mutex, double timeout, actor::ActorImpl* issuer, smx_simcall_t simcall);
+
+private: