Struct BasicFSM 

pub struct BasicFSM<S, E> { /* private fields */ }

A concrete FSM implementation with transition history and callbacks.

Implementations

impl<S: Clone + PartialEq + Debug, E: Clone + Debug> BasicFSM<S, E>

pub fn new( initial: S, transition_fn: impl Fn(&S, &E) -> Option<S> + 'static, ) -> Self

pub fn with_max_history(self, max: usize) -> Self

pub fn history(&self) -> &[(S, E, S)]

pub fn checkpoint(&self) -> S

Checkpoint: snapshot of current state (can be used for rollback)

pub fn restore(&mut self, state: S)

Restore to a previous checkpoint

Trait Implementations

impl<S: Clone + PartialEq + Debug, E: Clone + Debug> StateMachine for BasicFSM<S, E>

type State = S

type Event = E

fn state(&self) -> &S

Current state

fn transition(&mut self, event: &E) -> &S

Process an event, potentially transitioning to a new state. Returns the new state (or current if no transition).

fn can_transition(&self, event: &E) -> bool

Check if a transition is valid without executing it