Struct cp_library_rs::algebraic_structure::extmonoid::examples::UpdateSum

pub struct UpdateSum;

UpdateSum

• 区間更新
• 区間和取得

Trait Implementations

impl Debug for UpdateSum

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

Formats the value using the given formatter.

impl ExtMonoid for UpdateSum

type X = isize

要素のデータ型

type F = Option<isize>

作用素のデータ型

fn id_x() -> Self::X

要素Xの単位元を返す

fn id_f() -> Self::F

作用素Fの単位元を返す

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

要素同士の演算

fn mapping(_x: &Self::X, y: &Self::F) -> Self::X

要素に対する作用

fn composition(_x: &Self::F, y: &Self::F) -> Self::F

作用素同士の演算

fn aggregate(x: &Self::F, p: usize) -> Self::F

作用素の集約