herrendorf
Results
3
issues of
herrendorf
A transition with reaction `always, oncycle, myEvent, myEvent [someGuardExpression] / someActions` contains redundant information and might also be expressed as `always, myEvent [someGuardExpression] / someActions` Note: Multiple `after` triggers (e.g....
analogue of #2047 for incoming transitions: If all incoming transitions of a state or a synchronization have identical effects (including guards), the effect could be defined in the state using...
If all outgoing transitions of a state or a choice have identical effects (including guards), the effect could be defined in the state using `onexit` or choice's incoming transitions. Might...