From 87502be8d58fb054e092e3122b471f0bcf57c5ae Mon Sep 17 00:00:00 2001 From: Martin Quinson Date: Thu, 2 Nov 2023 01:22:37 +0100 Subject: [PATCH] Actions executed by the same actor are always dependent --- src/mc/transition/TransitionActor.cpp | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/src/mc/transition/TransitionActor.cpp b/src/mc/transition/TransitionActor.cpp index c0d04d1162..70608f14da 100644 --- a/src/mc/transition/TransitionActor.cpp +++ b/src/mc/transition/TransitionActor.cpp @@ -27,6 +27,10 @@ std::string ActorJoinTransition::to_string(bool verbose) const } bool ActorJoinTransition::depends(const Transition* other) const { + // Actions executed by the same actor are always dependent + if (other->aid_ == aid_) + return true; + // Joining is dependent with any transition whose // actor is that of the `other` action. , Join i if (other->aid_ == target_) { @@ -54,6 +58,10 @@ std::string ActorSleepTransition::to_string(bool verbose) const } bool ActorSleepTransition::depends(const Transition* other) const { + // Actions executed by the same actor are always dependent + if (other->aid_ == aid_) + return true; + // Sleeping is indep with any other transitions: always enabled, not impacted by any transition return false; } -- 2.20.1