pub type SkelColumn = VecColumn<usize>;Expand description
An unindexed column backed by an integer-valued vector.
Aliased Type§
struct SkelColumn(/* private fields */);Implementations§
Source§impl SkelColumn
impl SkelColumn
Sourcepub fn is_function(&self, m: usize, n: usize) -> bool
pub fn is_function(&self, m: usize, n: usize) -> bool
Is the mapping a function between the finite sets [m] and [n]?
Sourcepub fn is_partial_injection(&self) -> bool
pub fn is_partial_injection(&self) -> bool
Is the mapping a partial injection, i.e., injective where it is defined?
Sourcepub fn is_injection(&self, m: usize, n: usize) -> bool
pub fn is_injection(&self, m: usize, n: usize) -> bool
Is the mapping an injection between the finite sets [m] and [n]?
Sourcepub fn is_permutation(&self, n: usize) -> bool
pub fn is_permutation(&self, n: usize) -> bool
Is the mapping a permutation of the finite set [n]?