Struct Perm 

pub struct Perm {
    pub fwd: Vec<u32>,
    pub inv: Vec<u32>,
}

A permutation of 0..n with its inverse (invariant (P1), the contract’s (S3)).

fwd[k] is the old index placed at new position k; inv[i] is the new position of the old index i. The fields are public, as in the contract; a value built by hand should be checked with Perm::check_invariants.

Fields

fwd: Vec<u32>

fwd[k]: the old index at new position k.

inv: Vec<u32>

inv[i]: the new position of the old index i.

Implementations

impl Perm

pub fn identity(n: usize) -> Self

The identity permutation of 0..n.

Panics

If n exceeds u32::MAX.

pub fn from_fwd(fwd: Vec<u32>) -> Result<Self, SparseError>

The permutation whose forward array is fwd, with its inverse; an error unless fwd is a bijection of 0..fwd.len().

pub fn len(&self) -> usize

The length n.

pub fn is_empty(&self) -> bool

true iff n = 0.

pub fn inverse(&self) -> Self

The inverse permutation (fwd and inv exchanged).

pub fn is_identity(&self) -> bool

true iff this is the identity.

pub fn check_invariants(&self) -> Result<(), SparseError>

Checks invariant (P1).

Trait Implementations

impl Clone for Perm

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Perm

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

Formats the value using the given formatter.

impl Eq for Perm

impl PartialEq for Perm

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Perm