Trait spaces::Space

pub trait Space {
    type Value: Clone;
    fn dim(&self) -> Dim;
    fn card(&self) -> Card;
}

Trait for defining geometric spaces.

Associated Types

type Value: Clone

The data representation of the space.

Loading content...

Required methods

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.

Loading content...

Implementations on Foreign Types

impl<D: Space> Space for Box<D>

type Value = D::Value

fn dim(&self) -> Dim

fn card(&self) -> Card

impl<'a, D: Space> Space for &'a D

type Value = D::Value

fn dim(&self) -> Dim

fn card(&self) -> Card

Loading content...

Implementors

impl Space for Binary

type Value = bool

fn dim(&self) -> Dim

fn card(&self) -> Card

impl Space for Integers

type Value = i64

fn dim(&self) -> Dim

fn card(&self) -> Card

impl Space for Naturals

type Value = u64

fn dim(&self) -> Dim

fn card(&self) -> Card

impl Space for NonNegativeIntegers

type Value = u64

fn dim(&self) -> Dim

fn card(&self) -> Card

impl Space for NonZeroIntegers

type Value = i64

fn dim(&self) -> Dim

fn card(&self) -> Card

impl Space for Ordinal

type Value = usize

fn dim(&self) -> Dim

fn card(&self) -> Card

impl Space for NonNegativeReals

type Value = f64

fn dim(&self) -> Dim

fn card(&self) -> Card

impl Space for PositiveReals

type Value = f64

fn dim(&self) -> Dim

fn card(&self) -> Card

impl Space for Reals

type Value = f64

fn dim(&self) -> Dim

fn card(&self) -> Card

impl Space for Empty

type Value = ()

fn dim(&self) -> Dim

fn card(&self) -> Card

impl Space for Equipartition

type Value = usize

fn dim(&self) -> Dim

fn card(&self) -> Card

impl Space for Interval<f64>

type Value = f64

fn dim(&self) -> Dim

fn card(&self) -> Card

impl Space for Interval<i64>

type Value = i64

fn dim(&self) -> Dim

fn card(&self) -> Card

impl<D1: Space, D2: Space> Space for PairSpace<D1, D2>

type Value = (D1::Value, D2::Value)

fn dim(&self) -> Dim

fn card(&self) -> Card

impl<D: Space> Space for ProductSpace<D>

type Value = Vec<D::Value>

fn dim(&self) -> Dim

fn card(&self) -> Card

impl<D: Space> Space for TwoSpace<D>

type Value = [D::Value; 2]

fn dim(&self) -> Dim

fn card(&self) -> Card

Loading content...