Struct peepmatic_automata::Automaton [−][src]
A finite-state transducer automata.
These are constructed via Builder
.
An Automaton
is immutable: new entries cannot be inserted and existing
entries cannot be removed.
To query an Automaton
, there are two APIs:
-
get
– a high-level method to get the associated output value of a full input sequence. -
query
– a low-level method to incrementally query the automata. It does not require that you have the full input sequence on hand all at once, only the next character. It also allows you to process the output as it it built up, rather than only at giving you the final, complete output value.
Implementations
impl<TAlphabet, TState, TOutput> Automaton<TAlphabet, TState, TOutput> where
TAlphabet: Clone + Eq + Hash + Ord,
TState: Clone + Eq + Hash,
TOutput: Output,
[src]
TAlphabet: Clone + Eq + Hash + Ord,
TState: Clone + Eq + Hash,
TOutput: Output,
pub fn get<'a>(
&self,
input: impl IntoIterator<Item = &'a TAlphabet>
) -> Option<TOutput> where
TAlphabet: 'a,
[src]
&self,
input: impl IntoIterator<Item = &'a TAlphabet>
) -> Option<TOutput> where
TAlphabet: 'a,
Get the output value associated with the given input sequence.
Returns None
if the input sequence is not a member of this
Automaton
’s keys. Otherwise, returns Some(output)
.
pub fn query(&self) -> Query<'_, TAlphabet, TState, TOutput>
[src]
Create a low-level query.
This allows you to incrementally query this Automaton
, without
providing the full input sequence ahead of time, and also incrementally
build up the output.
See Query
for details.
Trait Implementations
impl<TAlphabet: Clone, TState: Clone, TOutput: Clone> Clone for Automaton<TAlphabet, TState, TOutput> where
TAlphabet: Clone + Eq + Hash + Ord,
TState: Clone + Eq + Hash,
TOutput: Output,
[src]
TAlphabet: Clone + Eq + Hash + Ord,
TState: Clone + Eq + Hash,
TOutput: Output,
fn clone(&self) -> Automaton<TAlphabet, TState, TOutput>
[src]
pub fn clone_from(&mut self, source: &Self)
1.0.0[src]
impl<TAlphabet: Debug, TState: Debug, TOutput: Debug> Debug for Automaton<TAlphabet, TState, TOutput> where
TAlphabet: Clone + Eq + Hash + Ord,
TState: Clone + Eq + Hash,
TOutput: Output,
[src]
TAlphabet: Clone + Eq + Hash + Ord,
TState: Clone + Eq + Hash,
TOutput: Output,
Auto Trait Implementations
impl<TAlphabet, TState, TOutput> RefUnwindSafe for Automaton<TAlphabet, TState, TOutput> where
TAlphabet: RefUnwindSafe,
TOutput: RefUnwindSafe,
TState: RefUnwindSafe,
TAlphabet: RefUnwindSafe,
TOutput: RefUnwindSafe,
TState: RefUnwindSafe,
impl<TAlphabet, TState, TOutput> Send for Automaton<TAlphabet, TState, TOutput> where
TAlphabet: Send,
TOutput: Send,
TState: Send,
TAlphabet: Send,
TOutput: Send,
TState: Send,
impl<TAlphabet, TState, TOutput> Sync for Automaton<TAlphabet, TState, TOutput> where
TAlphabet: Sync,
TOutput: Sync,
TState: Sync,
TAlphabet: Sync,
TOutput: Sync,
TState: Sync,
impl<TAlphabet, TState, TOutput> Unpin for Automaton<TAlphabet, TState, TOutput> where
TState: Unpin,
TState: Unpin,
impl<TAlphabet, TState, TOutput> UnwindSafe for Automaton<TAlphabet, TState, TOutput> where
TAlphabet: RefUnwindSafe,
TOutput: RefUnwindSafe,
TState: UnwindSafe,
TAlphabet: RefUnwindSafe,
TOutput: RefUnwindSafe,
TState: UnwindSafe,
Blanket Implementations
impl<T> Any for T where
T: 'static + ?Sized,
[src]
T: 'static + ?Sized,
impl<T> Borrow<T> for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
T: ?Sized,
pub fn borrow_mut(&mut self) -> &mut T
[src]
impl<T> From<T> for T
[src]
impl<T, U> Into<U> for T where
U: From<T>,
[src]
U: From<T>,
impl<T> ToOwned for T where
T: Clone,
[src]
T: Clone,
type Owned = T
The resulting type after obtaining ownership.
pub fn to_owned(&self) -> T
[src]
pub fn clone_into(&self, target: &mut T)
[src]
impl<T, U> TryFrom<U> for T where
U: Into<T>,
[src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
pub fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>
[src]
impl<T, U> TryInto<U> for T where
U: TryFrom<T>,
[src]
U: TryFrom<T>,