Struct discrete::Dimension

pub struct Dimension<T>(_);

Dimension is natural number, position is the same as index.

Trait Implementations

impl<T> Construct for Dimension<T>

fn new() -> Dimension<T>

Constructs a new Self.

impl Count<usize> for Dimension<Data>

fn count(&self, dim: usize) -> usize

Counts the size of space given the dimensions.

impl<T, U> Count<(usize, U)> for Dimension<Subspace<T>> where T: Construct + Count<U>

fn count(&self, (a, b): (usize, U)) -> usize

Counts the size of space given the dimensions.

impl<T, U> Count<U> for Dimension<Of<T>> where T: Construct + Count<U>

fn count(&self, dim: U) -> usize

Counts the size of space given the dimensions.

impl ToIndex<usize, usize> for Dimension<Data>

fn to_index(&self, _dim: usize, pos: usize) -> usize

Converts position to index.

impl<T, U: Copy, V> ToIndex<(usize, U), (usize, V)> for Dimension<Subspace<T>> where T: Construct + Count<U> + ToIndex<U, V>

fn to_index(&self, (_a, b): (usize, U), (pa, pb): (usize, V)) -> usize

Converts position to index.

impl<T, U, V> ToIndex<U, V> for Dimension<Of<T>> where T: Construct + ToIndex<U, V>

fn to_index(&self, dim: U, pos: V) -> usize

Converts position to index.

impl ToPos<usize, usize> for Dimension<Data>

fn to_pos(&self, _dim: usize, index: usize, pos: &mut usize)

Converts index to position.

impl<T, U: Copy, V> ToPos<(usize, U), (usize, V)> for Dimension<Subspace<T>> where T: Construct + Count<U> + ToPos<U, V>

fn to_pos(&self, (_a, b): (usize, U), index: usize, (head, tail): &mut (usize, V))

Converts index to position.

impl<T, U, V> ToPos<U, V> for Dimension<Of<T>> where T: Construct + ToPos<U, V>

fn to_pos(&self, dim: U, index: usize, pos: &mut V)

Converts index to position.