Trait spaces::FiniteSpace

pub trait FiniteSpace: BoundedSpace where
    Self::Value: PartialOrd, {
    fn range(&self) -> Range<Self::Value>;
}

Trait for defining spaces containing a finite set of values.

Required methods

fn range(&self) -> Range<Self::Value>

Returns the finite range of values contained by this space.

Loading content...

Implementors

impl FiniteSpace for Binary

fn range(&self) -> Range<Self::Value>

impl FiniteSpace for Ordinal

fn range(&self) -> Range<Self::Value>

impl FiniteSpace for Partition

fn range(&self) -> Range<Self::Value>

Loading content...