Trait Subsume

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

Required Methods

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

Insert all the states and transitions of the finite automaton.

Implementors

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

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

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

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

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

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

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

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

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