Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge branch 'master' of https://framagit.org/simgrid/simgrid
[simgrid.git] / src / mc / transition / TransitionSynchro.hpp
index a290ba4..8742e65 100644 (file)
@@ -31,6 +31,7 @@ public:
   bool depends(const Transition* other) const override;
 
   uintptr_t get_mutex() const { return this->mutex_; }
+  aid_t get_owner() const { return this->owner_; }
 };
 
 class SemaphoreTransition : public Transition {