Etat "atteint"
Propriétaire
:
Automate à états de la classe Objectif
Description
Transitions en entrées
:
évalué vers atteint
Transitions en sorties
:
atteint vers Final