Struct StateClassEdge 

pub struct StateClassEdge {
    pub from: usize,
    pub to: usize,
    pub transition_name: String,
    pub branch_index: usize,
}

Edge in the state class graph representing a transition firing.

Fields

from: usize

to: usize

transition_name: String

branch_index: usize

Trait Implementations

impl Clone for StateClassEdge

fn clone(&self) -> StateClassEdge

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for StateClassEdge

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

Formats the value using the given formatter.