Trait Space

pub trait Space {
    type Value: Clone;

    const DIM: usize;

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

Trait for defining geometric spaces.

Required Associated Constants

const DIM: usize

The dimensionality of the space.

Required Associated Types

type Value: Clone

The data representation of elements 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.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types

impl Space for Range<usize>

const DIM: usize = 1usize

type Value = usize

fn card(&self) -> Card

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

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

const DIM: usize = D::DIM

type Value = <D as Space>::Value

fn card(&self) -> Card

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

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

const DIM: usize = 2usize

type Value = (<D1 as Space>::Value, <D2 as Space>::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 = 3usize

type Value = (<D1 as Space>::Value, <D2 as Space>::Value, <D3 as Space>::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 = 4usize

type Value = (<D1 as Space>::Value, <D2 as Space>::Value, <D3 as Space>::Value, <D4 as Space>::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 = 5usize

type Value = (<D1 as Space>::Value, <D2 as Space>::Value, <D3 as Space>::Value, <D4 as Space>::Value, <D5 as Space>::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 = 6usize

type Value = (<D1 as Space>::Value, <D2 as Space>::Value, <D3 as Space>::Value, <D4 as Space>::Value, <D5 as Space>::Value, <D6 as Space>::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 = 7usize

type Value = (<D1 as Space>::Value, <D2 as Space>::Value, <D3 as Space>::Value, <D4 as Space>::Value, <D5 as Space>::Value, <D6 as Space>::Value, <D7 as Space>::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 = 8usize

type Value = (<D1 as Space>::Value, <D2 as Space>::Value, <D3 as Space>::Value, <D4 as Space>::Value, <D5 as Space>::Value, <D6 as Space>::Value, <D7 as Space>::Value, <D8 as Space>::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 = 9usize

type Value = (<D1 as Space>::Value, <D2 as Space>::Value, <D3 as Space>::Value, <D4 as Space>::Value, <D5 as Space>::Value, <D6 as Space>::Value, <D7 as Space>::Value, <D8 as Space>::Value, <D9 as Space>::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 = 10usize

type Value = (<D1 as Space>::Value, <D2 as Space>::Value, <D3 as Space>::Value, <D4 as Space>::Value, <D5 as Space>::Value, <D6 as Space>::Value, <D7 as Space>::Value, <D8 as Space>::Value, <D9 as Space>::Value, <D10 as Space>::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 = 11usize

type Value = (<D1 as Space>::Value, <D2 as Space>::Value, <D3 as Space>::Value, <D4 as Space>::Value, <D5 as Space>::Value, <D6 as Space>::Value, <D7 as Space>::Value, <D8 as Space>::Value, <D9 as Space>::Value, <D10 as Space>::Value, <D11 as Space>::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 = 12usize

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

fn card(&self) -> Card

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

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

const DIM: usize = D::DIM

type Value = <D as Space>::Value

fn card(&self) -> Card

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

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

const DIM: usize = N

type Value = [<D as Space>::Value; N]

fn card(&self) -> Card

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

Implementors

impl Space for Binary

const DIM: usize = 1usize

type Value = bool

impl Space for Integers

const DIM: usize = 1usize

type Value = i64

impl Space for Naturals

const DIM: usize = 1usize

type Value = u64

impl Space for NonNegativeIntegers

const DIM: usize = 1usize

type Value = i64

impl Space for NonZeroIntegers

const DIM: usize = 1usize

type Value = i64

impl Space for NonNegativeReals

const DIM: usize = 1usize

type Value = f64

impl Space for PositiveReals

const DIM: usize = 1usize

type Value = f64

impl Space for Reals

const DIM: usize = 1usize

type Value = f64

impl Space for Interval<f64>

const DIM: usize = 1usize

type Value = f64

impl Space for Interval<i64>

const DIM: usize = 1usize

type Value = i64

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

const DIM: usize = 1usize

type Value = usize