pub struct Complement<A>(/* private fields */);
Expand description
An automaton that matches exactly when the automaton it wraps does not.
Trait Implementations§
Source§impl<A: Automaton> Automaton for Complement<A>
impl<A: Automaton> Automaton for Complement<A>
Source§type State = ComplementState<A>
type State = ComplementState<A>
The type of the state used in the automaton.
Source§fn start(&self) -> ComplementState<A>
fn start(&self) -> ComplementState<A>
Returns a single start state for this automaton. Read more
Source§fn is_match(&self, state: &ComplementState<A>) -> bool
fn is_match(&self, state: &ComplementState<A>) -> bool
Returns true if and only if
state
is a match state.Source§fn can_match(&self, state: &ComplementState<A>) -> bool
fn can_match(&self, state: &ComplementState<A>) -> bool
Returns true if and only if
state
can lead to a match in zero or more
steps. Read moreSource§fn will_always_match(&self, state: &ComplementState<A>) -> bool
fn will_always_match(&self, state: &ComplementState<A>) -> bool
Returns true if and only if
state
matches and must match no matter
what steps are taken. Read moreSource§fn accept(&self, state: &ComplementState<A>, byte: u8) -> ComplementState<A>
fn accept(&self, state: &ComplementState<A>, byte: u8) -> ComplementState<A>
Return the next state given
state
and an input.Source§fn starts_with(self) -> StartsWith<Self>where
Self: Sized,
fn starts_with(self) -> StartsWith<Self>where
Self: Sized,
Returns an automaton that matches the strings that start with something
this automaton matches.
Source§fn union<Rhs: Automaton>(self, rhs: Rhs) -> Union<Self, Rhs>where
Self: Sized,
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.
Source§fn intersection<Rhs: Automaton>(self, rhs: Rhs) -> Intersection<Self, Rhs>where
Self: Sized,
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.
Source§fn complement(self) -> Complement<Self>where
Self: Sized,
fn complement(self) -> Complement<Self>where
Self: Sized,
Returns an automaton that matches the strings not matched by this
automaton.
Source§impl<A: Clone> Clone for Complement<A>
impl<A: Clone> Clone for Complement<A>
Source§fn clone(&self) -> Complement<A>
fn clone(&self) -> Complement<A>
Returns a copy of the value. Read more
1.0.0 · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moreAuto Trait Implementations§
impl<A> Freeze for Complement<A>where
A: Freeze,
impl<A> RefUnwindSafe for Complement<A>where
A: RefUnwindSafe,
impl<A> Send for Complement<A>where
A: Send,
impl<A> Sync for Complement<A>where
A: Sync,
impl<A> Unpin for Complement<A>where
A: Unpin,
impl<A> UnwindSafe for Complement<A>where
A: UnwindSafe,
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more