Struct cp_library_rs::algebraic_structure::indexed_monoid::Indexed

pub struct Indexed<M: Monoid>(_);

インデックスを同時に取得できるようにするラッパー

Trait Implementations

impl<T: Ord + Bounded + Clone> Monoid for Indexed<Max<T>>

type Val = (T, usize)

データの型 （$S$）

fn id() -> Self::Val

単位元 （$\varnothing \to S$）

fn op(left: &Self::Val, right: &Self::Val) -> Self::Val

演算 （$S \times S \to S$）

impl<T: Ord + Bounded + Clone> Monoid for Indexed<Min<T>>

type Val = (T, usize)

データの型 （$S$）

fn id() -> Self::Val

単位元 （$\varnothing \to S$）

fn op(left: &Self::Val, right: &Self::Val) -> Self::Val

演算 （$S \times S \to S$）