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 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.