Struct extemp::Transition

pub struct Transition {
    // some fields omitted
}

A single allowable transition in a temporal automaton.

A transition goes from one state to another, and can imply actions to be taken when it occurs (e.g., clean up all automata).

Methods

impl Transition

fn new(cause: Event, result: Action) -> Transition

fn epsilon() -> Transition

Trait Implementations

impl ToDot for Transition

fn dot(&self) -> String

Derived Implementations

impl PartialEq for Transition

fn eq(&self, __arg_0: &Transition) -> bool

fn ne(&self, __arg_0: &Transition) -> bool

impl Hash for Transition

fn hash<__H: Hasher>(&self, __arg_0: &mut __H)

fn hash_slice<H>(data: &[Self], state: &mut H) where H: Hasher

impl Eq for Transition

impl Debug for Transition

fn fmt(&self, __arg_0: &mut Formatter) -> Result

impl Clone for Transition

fn clone(&self) -> Transition

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