Struct UnboundedCard

pub struct UnboundedCard<D: Dim> { /* private fields */ }

Unbounded cardinality.

Practically this means that the cardinality of any child dimension of the vector is equal to usize::MAX.

Whenever the vector is unbounded, it is capable of producing the corresponding element for any possible index.

The following vectors are naturally unbounded on construction:

• functional vectors which can be created by fun,
• sparse vectors that can be created by sparse or sparse_from,
• constant vectors that can be created by constant.

The methods all and enumerate_all panic for vectors with unbounded cardinality, as it would lead to an infinite loop (practically).

In order to iterate over flattened scalar elements of an unbounded vector, one can use the all_in iterator instead, where the indices to iterate over are provided as an input.

Alternatively, the unbounded domain of the vector can be transformed into a bounded one by using:

• bounded method if the vector is of dimension D1,
• with_rectangular_bounds or with_variable_bounds methods otherwise.

Trait Implementations

impl<D: Dim> Card<D> for UnboundedCard<D>

fn is_rectangular(&self) -> bool

Returns true if the cardinality is bounded and rectangular; i.e,

fn cardinality_of(&self, _: impl Into<<D as Dim>::CardIdx>) -> usize

Returns the cardinality of the child of the vector at the given idx.

fn child_card(&self, _: <D as Dim>::ChildIdx) -> impl Card<<D as Dim>::PrevDim>

Returns the cardinality of the child of this vector at the given left_most_idx.

fn child_fun<T, F>( &self, i: <D as Dim>::ChildIdx, fun: F, ) -> impl Fn(<<D as Dim>::PrevDim as Dim>::Idx) -> T

where F: Fn(<D as Dim>::Idx) -> T,

Creates a function, say new_fun, which applies the first of the indices to left_most_index such that:

fn vec_all<'a, T, N>(&'a self, _: &'a N) -> impl Iterator<Item = T>

where N: NVec<D, T> + 'a,

Returns an iterator over all elements of the vec provided that this is its cardinality.

fn vec_enumerate_all<'a, T, N>( &'a self, _: &'a N, ) -> impl Iterator<Item = (<D as Dim>::Idx, T)>

where N: NVec<D, T> + 'a,

Returns an iterator over all elements of the vec together with their corresponding indices provided that this is its cardinality.

impl<D: Clone + Dim> Clone for UnboundedCard<D>

fn clone(&self) -> UnboundedCard<D>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<D: Dim> Default for UnboundedCard<D>

fn default() -> Self

Returns the “default value” for a type.

impl<D: Copy + Dim> Copy for UnboundedCard<D>