NoNextState

constructor(previousState: State, transition: Transition, noNextStateReason: NoNextStateReason, computation: Computation)(source)