abstract fun enteredState(stateMachine: StateMachine<S, T>, previousState: S, transition: T, currentState: S): Unit
After a state transition has been verified to be legal and also applied to a machine.
stateMachine - the machine notifying the state change
previousState - the previous state of the machine before the transition was applied