Struct extemp::Automaton

pub struct Automaton {
    // some fields omitted
}

A static description of a temporal automaton.

Methods

impl Automaton

fn new<A, B>(name: A, description: B, variables: Vec<String>) -> Automaton where A: Into<String>, B: Into<String>

fn name(&self) -> &str

fn description(&self) -> &str

fn state(&self, id: StateID) -> &State

fn add_state(&mut self, mask: Mask, accepting: bool) -> StateID

fn add_transition(&mut self, source: StateID, dest: StateID, t: Transition) -> &mut Automaton

Trait Implementations

impl IntoDFA for Automaton

fn dfa(self) -> Result<Automaton>

Apply the Rabin-Scott powerset construction with ε-transitions to convert an NFA into a DFA.

impl ToDot for Automaton

fn dot(&self) -> String

Produce a GraphViz dot representation