Struct MachineStateInfo 

pub struct MachineStateInfo {
    pub name: String,
    pub params: Vec<(String, TypeExpr)>,
    pub terminal: bool,
    pub guard: Option<Expr>,
    pub transition_to: Option<String>,
    pub transition_args: Vec<Expr>,
}

Fields

name: String

params: Vec<(String, TypeExpr)>

terminal: bool

guard: Option<Expr>

transition_to: Option<String>

transition_args: Vec<Expr>

Trait Implementations

impl Clone for MachineStateInfo

fn clone(&self) -> MachineStateInfo

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for MachineStateInfo

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

Formats the value using the given formatter.