kone.automata/dev.lounres.kone.automata/SynchronousAutomaton

SynchronousAutomaton

interface SynchronousAutomaton<State, Transition, NoNextStateReason>(source)

Properties

abstract val state: State

Functions

abstract fun acceptNewState(previousState: State, transition: Transition, nextState: State)

checkTransition

abstract fun checkTransition(previousState: State, transition: Transition): CheckResult<State, NoNextStateReason>

@IgnorableReturnValue

fun <State, Transition, NoNextStateReason> SynchronousAutomaton<State, Transition, NoNextStateReason>.move(transition: Transition): MovementResult<State, Transition, NoNextStateReason>

@IgnorableReturnValue

inline fun <State, Transition, NoNextStateReason> SynchronousAutomaton<State, Transition, NoNextStateReason>.move(transition: (State) -> Transition): MovementResult<State, Transition, NoNextStateReason>

@IgnorableReturnValue

inline fun <State, Transition, NoNextStateReason, Computation> SynchronousAutomaton<State, Transition, NoNextStateReason>.moveAndCompute(transition: (State) -> TransitionAndComputation<Transition, Computation>): MovementAndComputationResult<State, Transition, NoNextStateReason, Computation>

moveMaybeAndCompute