Trait alga::general::MeetSemilattice

pub trait MeetSemilattice: Sized {
    fn meet(&self, other: &Self) -> Self;
}

A set where every two elements have an infimum (i.e. greatest lower bound).

Required Methods

fn meet(&self, other: &Self) -> Self

Returns the meet (aka. infimum) of two values.

Implementations on Foreign Types

impl MeetSemilattice for u8

fn meet(&self, other: &Self) -> Self

impl MeetSemilattice for u16

fn meet(&self, other: &Self) -> Self

impl MeetSemilattice for u32

fn meet(&self, other: &Self) -> Self

impl MeetSemilattice for u64

fn meet(&self, other: &Self) -> Self

impl MeetSemilattice for usize

fn meet(&self, other: &Self) -> Self

impl MeetSemilattice for i8

fn meet(&self, other: &Self) -> Self

impl MeetSemilattice for i16

fn meet(&self, other: &Self) -> Self

impl MeetSemilattice for i32

fn meet(&self, other: &Self) -> Self

impl MeetSemilattice for i64

fn meet(&self, other: &Self) -> Self

impl MeetSemilattice for isize

fn meet(&self, other: &Self) -> Self

impl MeetSemilattice for f32

fn meet(&self, other: &Self) -> Self

impl MeetSemilattice for f64

fn meet(&self, other: &Self) -> Self

Implementors

impl<O: Operator> MeetSemilattice for Id<O>

fn meet(&self, _: &Self) -> Self