Struct fst::automaton::Intersection
[−]
[src]
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>
[src]
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. Read more
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. Read more
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. Read more
fn accept(&self,
state: &IntersectionState<A, B>,
byte: u8)
-> IntersectionState<A, B>
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. Read more
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. Read more
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. Read more
fn complement(self) -> Complement<Self> where Self: Sized
Returns an automaton that matches the strings not matched by this automaton. Read more