- // Copy+move (with the copy-and-swap idiom):
- Mutex(Mutex const& mutex) : mutex_(SIMIX_mutex_ref(mutex.mutex_)) {}
- friend void swap(Mutex& first, Mutex& second)
- {
- using std::swap;
- swap(first.mutex_, second.mutex_);
- }
- Mutex& operator=(Mutex mutex)