Enum algae_rs::mapping::PropertyType

pub enum PropertyType<T> {
    Commutative,
    Abelian,
    Associative,
    Cancellative,
    WithIdentity(T),
}

Variants

Commutative

Abelian

Associative

Cancellative

WithIdentity(T)

Implementations

impl<T: Copy + PartialEq> PropertyType<T>

pub fn holds_over(&self, op: &dyn Fn(T, T) -> T, domain_sample: &Vec<T>) -> bool

Trait Implementations

impl<T: PartialEq> PartialEq<PropertyType<T>> for PropertyType<T>

fn eq(&self, other: &PropertyType<T>) -> bool

This method tests for self and other values to be equal, and is used by ==.

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

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

impl<T> StructuralPartialEq for PropertyType<T>