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 copy 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 pairs stored by the column.

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

Iterates over values stored by the column.

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 Default for SkelIndexedColumn

fn default() -> Self

Returns the “default value” for a type.

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 is_set(&self, x: &usize) -> bool

Is the mapping defined at a point?

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