Trait finite_automata::Subsume

pub trait Subsume<F> {
    fn subsume(&mut self, fa: &F);
}

Required methods

fn subsume(&mut self, fa: &F)

Insert all the states and transitions of the finite automaton.

Loading content...

Implementors

impl<S: Clone + Ord, T: Clone + Ord> Subsume<Dfa<S, T>> for Dfa<S, T>

fn subsume(&mut self, dfa: &Dfa<S, T>)

Insert all the states and transitions of the deterministic finite automaton.

impl<S: Clone + Ord, T: Clone + Ord> Subsume<Dfa<S, T>> for Enfa<S, T>

fn subsume(&mut self, dfa: &Dfa<S, T>)

Insert all the states and transitions of the deterministic finite automaton.

impl<S: Clone + Ord, T: Clone + Ord> Subsume<Dfa<S, T>> for Nfa<S, T>

fn subsume(&mut self, dfa: &Dfa<S, T>)

Insert all the states and transitions of the deterministic finite automaton.

impl<S: Clone + Ord, T: Clone + Ord> Subsume<Enfa<S, T>> for Dfa<Set<S>, T>

fn subsume(&mut self, enfa: &Enfa<S, T>)

Insert all the states and transitions of the nondeterministic finite automaton with epsilon moves.

impl<S: Clone + Ord, T: Clone + Ord> Subsume<Enfa<S, T>> for Enfa<S, T>

fn subsume(&mut self, enfa: &Enfa<S, T>)

Insert all the states and transitions of the nondeterministic finite automaton with epsilon moves.

impl<S: Clone + Ord, T: Clone + Ord> Subsume<Enfa<S, T>> for Nfa<Set<S>, T>

fn subsume(&mut self, enfa: &Enfa<S, T>)

Insert all the states and transitions of the nondeterministic finite automaton with epsilon moves.

impl<S: Clone + Ord, T: Clone + Ord> Subsume<Nfa<S, T>> for Dfa<Set<S>, T>

fn subsume(&mut self, nfa: &Nfa<S, T>)

Insert all the states and transitions of the nondeterministic finite automaton.

impl<S: Clone + Ord, T: Clone + Ord> Subsume<Nfa<S, T>> for Enfa<S, T>

fn subsume(&mut self, nfa: &Nfa<S, T>)

Insert all the states and transitions of the nondeterministic finite automaton.

impl<S: Clone + Ord, T: Clone + Ord> Subsume<Nfa<S, T>> for Nfa<S, T>

fn subsume(&mut self, nfa: &Nfa<S, T>)

Insert all the states and transitions of the nondeterministic finite automaton.

Loading content...