Struct RevLexicographicalTransducer

pub struct RevLexicographicalTransducer<T> { /* private fields */ }

DFA to accept Less/Greater than (or equal to) in reversed lexicographical order

Implementations

impl<T> RevLexicographicalTransducer<T>

pub fn less_than() -> Self

pub fn less_than_or_equal() -> Self

pub fn greater_than() -> Self

pub fn greater_than_or_equal() -> Self

Trait Implementations

impl<T: Clone> Clone for RevLexicographicalTransducer<T>

fn clone(&self) -> RevLexicographicalTransducer<T>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<T: Debug> Debug for RevLexicographicalTransducer<T>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<T> Transducer for RevLexicographicalTransducer<T>

where T: Ord,

type State = bool

accept

type Input = (T, T)

type Output = ()

fn start(&self) -> Self::State

fn relation( &self, state: &Self::State, input: &Self::Input, ) -> Option<(Self::State, Self::Output)>

fn accept(&self, state: &Self::State) -> bool

fn stepout(&mut self)

fn dp<M>(self, init: M::T) -> InitTransducerDp<M, Self>

where Self: Sized, M: Monoid,

fn intersection<U>(self, other: U) -> IntersectionTransducer<(Self, U)>

where Self: Sized, U: Transducer<Input = Self::Input>,

fn product<U>(self, other: U) -> ProductTransducer<(Self, U)>

where Self: Sized, U: Transducer,

fn chain<U>(self, other: U) -> ChainTransducer<(Self, U)>

where Self: Sized, U: Transducer<Input = Self::Output>,

fn with_input( self, ) -> IntersectionTransducer<(Self, IdentityTransducer<Self::Input>)>

where Self: Sized,

fn map<U, F>( self, f: F, ) -> ChainTransducer<(Self, MapTransducer<Self::Output, U, F>)>

where Self: Sized, F: Fn(&Self::Output) -> U,

fn filter_map<U, F>( self, f: F, ) -> ChainTransducer<(Self, FilterMapTransducer<Self::Output, U, F>)>

where Self: Sized, F: Fn(&Self::Output) -> Option<U>,