Struct TransitionGraph 

pub struct TransitionGraph {
    pub span: Span,
    pub field: Ident,
    pub edges: Vec<TransitionEdge>,
    pub terminal: Vec<Ident>,
}

A transition graph block: transitions field_name { edges..., terminal: states }.

Fields

span: Span

field: Ident

edges: Vec<TransitionEdge>

terminal: Vec<Ident>

Trait Implementations

impl Clone for TransitionGraph

fn clone(&self) -> TransitionGraph

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TransitionGraph

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

Formats the value using the given formatter.

impl Serialize for TransitionGraph

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

where __S: Serializer,

Serialize this value into the given Serde serializer.