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", so this trait is not object safe.

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, F::Additive: Invertible, F::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