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

Produce a GraphViz dot representation

impl PartialEq for Transition

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

This method tests for self and other values to be equal, and is used by ==.

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

This method tests for !=.

impl Hash for Transition

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

Feeds this value into the state given, updating the hasher as necessary.

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

Feeds a slice of this type into the state provided.

impl Eq for Transition

impl Debug for Transition

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

Formats the value using the given formatter.

impl Clone for Transition

fn clone(&self) -> Transition

Returns a copy of the value.

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

Performs copy-assignment from source.