Struct SkelIndexedColumn

pub struct SkelIndexedColumn(/* private fields */);

An indexed column backed by an integer-valued vector.

The column has the natural numbers (usize) as both its domain and codomain, making it suitable for use with skeletal finite sets.

Implementations

impl SkelIndexedColumn

pub fn new(values: &[usize]) -> Self

Creates a new vector-backed column from an existing vector.

Trait Implementations

impl Clone for SkelIndexedColumn

fn clone(&self) -> SkelIndexedColumn

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Column for SkelIndexedColumn

fn iter(&self) -> impl Iterator<Item = (usize, &usize)>

Iterates over the column’s pairs of elements.

fn values(&self) -> impl Iterator<Item = &Self::Cod>

Iterates over the column’s values.

fn preimage(&self, y: &usize) -> impl Iterator<Item = usize>

Computes the preimage of the mapping at a value in the codomain.

fn is_empty(&self) -> bool

Is the mapping not defined anywhere?

impl Debug for SkelIndexedColumn

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for SkelIndexedColumn

fn default() -> SkelIndexedColumn

Returns the “default value” for a type.

impl FromIterator<(usize, usize)> for SkelIndexedColumn

fn from_iter<Iter: IntoIterator<Item = (usize, usize)>>(iter: Iter) -> Self

Creates a value from an iterator.

impl IntoIterator for SkelIndexedColumn

type Item = (usize, usize)

The type of the elements being iterated over.

type IntoIter = VecColumnIter<usize>

Which kind of iterator are we turning this into?

fn into_iter(self) -> Self::IntoIter

Creates an iterator from a value.

impl Mapping for SkelIndexedColumn

type Dom = usize

Type of elements in domain of mapping.

type Cod = usize

Type of elements in codomain of mapping.

fn apply(&self, x: usize) -> Option<usize>

Applies the mapping at a point possibly in the domain.

fn apply_to_ref(&self, x: &usize) -> Option<usize>

Applies the mapping at a reference to a point possibly in the domain.

fn is_set(&self, x: &usize) -> bool

Is the mapping defined at a point?

impl MutColumn for SkelIndexedColumn

fn postcompose<F>(self, f: &F) -> Self

where F: Mapping<Dom = Self::Cod, Cod = Self::Cod>,

Post-composes the column with another mapping.

impl MutMapping for SkelIndexedColumn

fn get(&self, x: &usize) -> Option<&usize>

Gets the value of the mapping at a point possibly in the domain.

fn set(&mut self, x: usize, y: usize) -> Option<usize>

Sets the mapping at a point.

fn unset(&mut self, x: &usize) -> Option<usize>

Un-sets the mapping at a point, making it undefined at that point.

fn update( &mut self, x: Self::Dom, maybe_y: Option<Self::Cod>, ) -> Option<Self::Cod>

Updates the mapping at a point, setting or unsetting it.

impl PartialEq for SkelIndexedColumn

fn eq(&self, other: &SkelIndexedColumn) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for SkelIndexedColumn

impl StructuralPartialEq for SkelIndexedColumn