Struct fst::automaton::Intersection

pub struct Intersection<A, B>(_, _);

An automaton that matches when both of its component automata match.

Trait Implementations

impl<A: Automaton, B: Automaton> Automaton for Intersection<A, B>

type State = IntersectionState<A, B>

The type of the state used in the automaton.

fn start(&self) -> IntersectionState<A, B>

Returns a single start state for this automaton.

fn is_match(&self, state: &IntersectionState<A, B>) -> bool

Returns true if and only if state is a match state.

fn can_match(&self, state: &IntersectionState<A, B>) -> bool

Returns true if and only if state can lead to a match in zero or more steps.

fn will_always_match(&self, state: &IntersectionState<A, B>) -> bool

Returns true if and only if state matches and must match no matter what steps are taken.

fn accept(
    &self,
    state: &IntersectionState<A, B>,
    byte: u8
) -> IntersectionState<A, B>

Return the next state given state and an input.

fn accept_eof(&self, _: &Self::State) -> Option<Self::State>

If applicable, return the next state when the end of a key is seen.

fn starts_with(self) -> StartsWith<Self> where
    Self: Sized, 

Returns an automaton that matches the strings that start with something this automaton matches.

fn union<Rhs: Automaton>(self, rhs: Rhs) -> Union<Self, Rhs> where
    Self: Sized, 

Returns an automaton that matches the strings matched by either this or the other automaton.

fn intersection<Rhs: Automaton>(self, rhs: Rhs) -> Intersection<Self, Rhs> where
    Self: Sized, 

Returns an automaton that matches the strings matched by both this and the other automaton.

fn complement(self) -> Complement<Self> where
    Self: Sized, 

Returns an automaton that matches the strings not matched by this automaton.

impl<A: Clone, B: Clone> Clone for Intersection<A, B>

fn clone(&self) -> Intersection<A, B>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<A: Debug, B: Debug> Debug for Intersection<A, B>

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

Formats the value using the given formatter.