Trait cp_library_rs::algebraic_structure::semilattice::Semilattice

pub trait Semilattice {
    type Val: Clone;

    // Required methods
    fn id() -> Self::Val;
    fn op(x: &Self::Val, y: &Self::Val) -> Self::Val;
}

半束

• 単位元をもち，可環かつ冪等な2項演算

Required Associated Types

type Val: Clone

元の型

Required Methods

fn id() -> Self::Val

単位元

fn op(x: &Self::Val, y: &Self::Val) -> Self::Val

可換かつ冪等な二項演算

Implementors

impl<T: Zero + Rem<T>> Semilattice for GCD<T>

type Val = usize

impl<T: Ord + Bounded + Clone> Semilattice for Max<T>

type Val = T

impl<T: Ord + Bounded + Clone> Semilattice for Min<T>

type Val = T