Struct extemp::Automaton
[−]
[src]
pub struct Automaton { /* fields omitted */ }A static description of a temporal automaton.
Methods
impl Automaton[src]
fn new<A, B>(name: A, description: B, variables: Vec<String>) -> Automaton where
A: Into<String>,
B: Into<String>,
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
&mut self,
source: StateID,
dest: StateID,
t: Transition
) -> &mut Automaton
Trait Implementations
impl IntoDFA for Automaton[src]
fn dfa(self) -> Result<Automaton>
Apply the Rabin-Scott powerset construction with ε-transitions to convert an NFA into a DFA.