Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Mark `ActorJoin` dependent with `target_`
authorMaxwell Pirtle <maxwellpirtle@gmail.com>
Fri, 5 May 2023 06:53:47 +0000 (08:53 +0200)
committerMaxwell Pirtle <maxwellpirtle@gmail.com>
Fri, 12 May 2023 13:58:22 +0000 (15:58 +0200)
commitda97c5bf0aa171c1eb90e3bd2cc1d8da0fbbfbf5
tree5f81d835a92481ad47950d189c44f2eb1bcfbd63
parent2cb99ac8e045f7708e18a6dd8e82cf9b46718cc6
Mark `ActorJoin` dependent with `target_`

The `ActorJoin` transition was previously
labeled as independent with all other
transitions, including those of the actor
upon which the join acted. However, this
assumption was faulty: the join action is
instead dependent with ANY transition executed
by the actor joined upon, as the action
BECOMES enabled only as soon as the last action
run by the actor is executed.
src/mc/transition/TransitionActorJoin.cpp