Module automaton_state

Basic part of automaton representing a node which is connected to either other nodes or itself.

Traits

AutomatonState

Representation of a node in automaton graph. States act as stop points for an automaton where next states are determined or for halting the execution when no more state changes can be done.

Functions

convert_to_dyn_reference

Converts type signature from using concrete implementation type to dyn AutomatonState.

new_shared_automaton_state

Creates shared reference for given state. Returned type signature is: Rc<RefCell<dyn AutomatonState>>

new_shared_concrete_state

Creates shared reference for given state. Returned type signature is: Rc<RefCell<S>> where S is a concrete implementation of AutomatonState.

Type Aliases

SharedAutomatonState