Struct spaces::discrete::Ordinal

pub struct Ordinal(_);

Type representing a finite, ordinal set of values.

Methods

impl Ordinal

pub fn new(size: usize) -> Ordinal

Trait Implementations

impl Space for Ordinal

type Value = usize

The data representation of the space.

fn dim(&self) -> Dim

Return the dimensionality of the space.

fn card(&self) -> Card

Return the number of elements in the set comprising the space.

impl BoundedSpace for Ordinal

fn inf(&self) -> Option<usize>

Returns the value of the dimension's infimum, if it exists.

fn sup(&self) -> Option<usize>

Returns the value of the dimension's supremum, if it exists.

fn contains(&self, val: usize) -> bool

Returns true iff val lies within the dimension's bounds (closed).

fn is_left_bounded(&self) -> bool

Returns true iff self has a finite infimum.

fn is_right_bounded(&self) -> bool

Returns true iff self has a finite supremum.

fn is_compact(&self) -> bool

Returns true iff self has finite bounds in both directions.

impl FiniteSpace for Ordinal

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

Returns the finite range of values contained by this space.

impl Surjection<usize, usize> for Ordinal

fn map_onto(&self, val: usize) -> usize

Map value from domain onto codomain.

impl Union<Ordinal> for Ordinal

fn union(self, other: &Ordinal) -> Ordinal

Return the smallest space enclosing self and other of type Self.

fn union_many(self, other_spaces: &[S]) -> Self where
    Self: Sized, 

Return the smallest space enclosing self and all other_spaces of type Self.

impl Intersection<Ordinal> for Ordinal

fn intersect(self, other: &Ordinal) -> Ordinal

Return the smallest space enclosing self and other of type Self.

fn intersect_many(self, other_spaces: &[S]) -> Self where
    Self: Sized, 

Return the smallest space enclosing self and all other_spaces of type Self.

impl Clone for Ordinal

fn clone(&self) -> Ordinal

Returns a copy of the value.

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

Performs copy-assignment from source.

impl PartialEq<Ordinal> for Ordinal

fn eq(&self, other: &Ordinal) -> bool

This method tests for self and other values to be equal, and is used by ==.

#[must_use] fn ne(&self, other: &Rhs) -> bool

This method tests for !=.

impl From<usize> for Ordinal

fn from(t: usize) -> Ordinal

Performs the conversion.

impl Copy for Ordinal

impl Debug for Ordinal

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

Formats the value using the given formatter.

impl Display for Ordinal

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

Formats the value using the given formatter.