ステートマシンにおいて、状態Aから状態Bへの遷移に「trigger / effect」とある場合、effectが実行されるタイミングはいつか。

遷移のEffectはExitアクションの後かつEntryアクションの前に実行される。