Trait BlackBoxAutomaton 

pub trait BlackBoxAutomaton {
    type Output;

    // Required methods
    fn sigma(&self) -> usize;
    fn behavior<I>(&self, input: I) -> Self::Output
       where I: IntoIterator<Item = usize>;
}

Required Associated Types

type Output

Required Methods

fn sigma(&self) -> usize

fn behavior<I>(&self, input: I) -> Self::Output

where I: IntoIterator<Item = usize>,

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementations on Foreign Types

impl<A> BlackBoxAutomaton for &A

where A: BlackBoxAutomaton,

type Output = <A as BlackBoxAutomaton>::Output

fn sigma(&self) -> usize

fn behavior<I>(&self, input: I) -> Self::Output

where I: IntoIterator<Item = usize>,

Implementors

impl BlackBoxAutomaton for DeterministicFiniteAutomaton

type Output = bool

impl<F> BlackBoxAutomaton for WeightedFiniteAutomaton<F>

where F: Field<Additive: Invertible, Multiplicative: Invertible>,

type Output = <F as SemiRing>::T

impl<T, F> BlackBoxAutomaton for BlackBoxAutomatonImpl<T, F>

where F: Fn(Vec<usize>) -> T, T: Clone,

type Output = T