Namespace LfrlAnvil.Computable.Automata
Classes
- StateMachineBuilder<TState, TInput, TResult>
Represents a deterministic finite state machine builder.
- StateMachineInstance<TState, TInput, TResult>
Represents an instance of a deterministic finite state machine.
- StateMachineNode<TState, TInput, TResult>
Represents a single node of IStateMachine<TState, TInput, TResult>.
- StateMachineTransition<TState, TInput, TResult>
Represents a transition to the specified IStateMachineNode<TState, TInput, TResult>.
- StateMachine<TState, TInput, TResult>
Represents a deterministic finite state machine.
- StateTransitionHandler
Creates instances of IStateTransitionHandler<TState, TInput, TResult> type.
Structs
- StateMachineOptimizationParams<TState>
Represents parameters of state machine optimization.
- StateTransitionHandlerArgs<TState, TInput, TResult>
Represents arguments of IStateTransitionHandler<TState, TInput, TResult> invocation.
Interfaces
- IStateMachineInstance<TState, TInput, TResult>
Represents an instance of a deterministic finite state machine.
- IStateMachineNode<TState, TInput, TResult>
Represents a single node of IStateMachine<TState, TInput, TResult>.
- IStateMachineTransition<TState, TInput, TResult>
Represents a transition to the specified IStateMachineNode<TState, TInput, TResult>.
- IStateMachine<TState, TInput, TResult>
Represents a deterministic finite state machine.
- IStateTransitionHandler<TState, TInput, TResult>
Represents a handler that is invoked when IStateMachine<TState, TInput, TResult> transitions to a different state.
Enums
- StateMachineNodeType
Represents the type of state machine's node.
- StateMachineOptimization
Represents available levels of state machine optimizations.