Struct StateMachine 

pub struct StateMachine {
    pub id: String,
    pub initial: String,
    pub states: HashMap<String, State>,
    pub transitions: Vec<Transition>,
    pub forbidden: Vec<ForbiddenTransition>,
    pub performance: Option<PerformanceBudget>,
}

State machine definition following SCXML semantics.

Fields

id: String

Unique identifier for the machine

initial: String

Initial state ID (must exist in states)

states: HashMap<String, State>

State definitions keyed by ID

transitions: Vec<Transition>

Transition definitions

forbidden: Vec<ForbiddenTransition>

Forbidden transitions (must never occur)

performance: Option<PerformanceBudget>

Global performance constraints

Trait Implementations

impl Clone for StateMachine

fn clone(&self) -> StateMachine

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for StateMachine

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for StateMachine

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for StateMachine

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.