Trait spaces::Space

pub trait Space {
    type Value: Clone;

    const DIM: usize;

    fn card(&self) -> Card;
    fn contains(&self, val: &Self::Value) -> bool;
}

Trait for defining geometric spaces.

Associated Types

type Value: Clone

The data representation of elements of the space.

Associated Constants

const DIM: usize

The dimensionality of the space.

Required methods

fn card(&self) -> Card

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

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

Returns true iff val is contained within the space.

Implementations on Foreign Types

impl Space for Range<usize>

const DIM: usize

type Value = usize

fn card(&self) -> Card

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

impl<D: Space, const N: usize> Space for [D; N]

const DIM: usize

type Value = [D::Value; N]

fn card(&self) -> Card

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

impl<D1: Space, D2: Space> Space for (D1, D2)

const DIM: usize

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

fn card(&self) -> Card

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

impl<D1: Space, D2: Space, D3: Space> Space for (D1, D2, D3)

const DIM: usize

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

fn card(&self) -> Card

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

impl<D1: Space, D2: Space, D3: Space, D4: Space> Space for (D1, D2, D3, D4)

const DIM: usize

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

fn card(&self) -> Card

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

impl<D1: Space, D2: Space, D3: Space, D4: Space, D5: Space> Space for (D1, D2, D3, D4, D5)

const DIM: usize

type Value = (D1::Value, D2::Value, D3::Value, D4::Value, D5::Value)

fn card(&self) -> Card

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

impl<D1: Space, D2: Space, D3: Space, D4: Space, D5: Space, D6: Space> Space for (D1, D2, D3, D4, D5, D6)

const DIM: usize

type Value = (D1::Value, D2::Value, D3::Value, D4::Value, D5::Value, D6::Value)

fn card(&self) -> Card

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

impl<D1: Space, D2: Space, D3: Space, D4: Space, D5: Space, D6: Space, D7: Space> Space for (D1, D2, D3, D4, D5, D6, D7)

const DIM: usize

type Value = (D1::Value, D2::Value, D3::Value, D4::Value, D5::Value, D6::Value, D7::Value)

fn card(&self) -> Card

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

impl<D1: Space, D2: Space, D3: Space, D4: Space, D5: Space, D6: Space, D7: Space, D8: Space> Space for (D1, D2, D3, D4, D5, D6, D7, D8)

const DIM: usize

type Value = (D1::Value, D2::Value, D3::Value, D4::Value, D5::Value, D6::Value, D7::Value, D8::Value)

fn card(&self) -> Card

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

impl<D1: Space, D2: Space, D3: Space, D4: Space, D5: Space, D6: Space, D7: Space, D8: Space, D9: Space> Space for (D1, D2, D3, D4, D5, D6, D7, D8, D9)

const DIM: usize

type Value = (D1::Value, D2::Value, D3::Value, D4::Value, D5::Value, D6::Value, D7::Value, D8::Value, D9::Value)

fn card(&self) -> Card

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

impl<D1: Space, D2: Space, D3: Space, D4: Space, D5: Space, D6: Space, D7: Space, D8: Space, D9: Space, D10: Space> Space for (D1, D2, D3, D4, D5, D6, D7, D8, D9, D10)

const DIM: usize

type Value = (D1::Value, D2::Value, D3::Value, D4::Value, D5::Value, D6::Value, D7::Value, D8::Value, D9::Value, D10::Value)

fn card(&self) -> Card

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

impl<D1: Space, D2: Space, D3: Space, D4: Space, D5: Space, D6: Space, D7: Space, D8: Space, D9: Space, D10: Space, D11: Space> Space for (D1, D2, D3, D4, D5, D6, D7, D8, D9, D10, D11)

const DIM: usize

type Value = (D1::Value, D2::Value, D3::Value, D4::Value, D5::Value, D6::Value, D7::Value, D8::Value, D9::Value, D10::Value, D11::Value)

fn card(&self) -> Card

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

impl<D1: Space, D2: Space, D3: Space, D4: Space, D5: Space, D6: Space, D7: Space, D8: Space, D9: Space, D10: Space, D11: Space, D12: Space> Space for (D1, D2, D3, D4, D5, D6, D7, D8, D9, D10, D11, D12)

const DIM: usize

type Value = (D1::Value, D2::Value, D3::Value, D4::Value, D5::Value, D6::Value, D7::Value, D8::Value, D9::Value, D10::Value, D11::Value, D12::Value)

fn card(&self) -> Card

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

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

const DIM: usize

type Value = D::Value

fn card(&self) -> Card

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

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

const DIM: usize

type Value = D::Value

fn card(&self) -> Card

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

Implementors

impl Space for Binary

const DIM: usize

type Value = bool

impl Space for Integers

const DIM: usize

type Value = i64

impl Space for Naturals

const DIM: usize

type Value = u64

impl Space for NonNegativeIntegers

const DIM: usize

type Value = i64

impl Space for NonZeroIntegers

const DIM: usize

type Value = i64

impl Space for NonNegativeReals

const DIM: usize

type Value = f64

impl Space for PositiveReals

const DIM: usize

type Value = f64

impl Space for Reals

const DIM: usize

type Value = f64

impl Space for Interval<f64>

const DIM: usize

type Value = f64

impl Space for Interval<i64>

const DIM: usize

type Value = i64

impl<const N: usize> Space for Equipartition<N>

const DIM: usize

type Value = usize