Struct Quotient 

pub struct Quotient<T> {
    pub object: T,
    pub num_classes: usize,
    pub quotient: Option<T>,
}

A categorical quotient by an equivalence relation.

Fields

object: T

Original object

num_classes: usize

Number of equivalence classes

quotient: Option<T>

The quotient object (if it exists)

Implementations

impl<T> Quotient<T>

pub const fn new(object: T, num_classes: usize, quotient: Option<T>) -> Self

Create a new quotient.

pub const fn exists(&self) -> bool

Check if the quotient exists.

Trait Implementations

impl<T: Clone> Clone for Quotient<T>

fn clone(&self) -> Quotient<T>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<T: Debug> Debug for Quotient<T>

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

Formats the value using the given formatter.