Enum spaces::Dim

pub enum Dim {
    Finite(usize),
    Infinite,
}

Measure of the dimensionality of the elements of a set.

use spaces::{
    Space, Dim, PairSpace,
    discrete::Ordinal,
};

let d1 = Ordinal::new(5);
let d2 = Ordinal::new(10);
let space = PairSpace::new(d1, d2);

assert_eq!(space.dim(), Dim::Finite(2));

Internally, this above code does the following:

use spaces::Dim;

let s1 = Dim::one();
let s2 = Dim::one();

assert_eq!(s1 + s2, Dim::Finite(2));

Variants

Finite(usize)Infinite

Methods

impl Dim

pub fn one() -> Dim

Trait Implementations

impl Into<usize> for Dim

fn into(self) -> usize

Performs the conversion.

impl Clone for Dim

fn clone(&self) -> Dim

Returns a copy of the value.

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

Performs copy-assignment from source.

impl PartialEq<Dim> for Dim

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

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

fn ne(&self, other: &Dim) -> bool

This method tests for !=.

impl Eq for Dim

impl Copy for Dim

impl Debug for Dim

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

Formats the value using the given formatter.

impl Add<Dim> for Dim

type Output = Dim

The resulting type after applying the + operator.

fn add(self, rhs: Dim) -> Dim

Performs the + operation.