Struct LazySegTreeAddMaxSpec 

pub struct LazySegTreeAddMaxSpec<T>(/* private fields */);

Specification for lazy segment trees that perform range add updates with maximum queries.

This spec works with data type T where:

• T supports addition and multiplication by usize
• T has a zero constant and supports ordering
• Updates are applied uniformly to all elements in a range

Trait Implementations

impl<T> LazySegTreeSpec for LazySegTreeAddMaxSpec<T>

where T: Clone + Add<Output = T> + ConstLowerBound + Ord,

const ID: Self::T = <T as ConstLowerBound>::MIN

Identity element for T.

type T = T

type U = T

fn op_on_data(d1: &Self::T, d2: &Self::T) -> Self::T

Combine two child values into a parent value.

fn op_on_update(u1: &Self::U, u2: &Self::U) -> Self::U

Compose two updates. If update a is applied before b, then the composed update should be op_on_update(a, b) (document the intended order in non-commutative cases).

fn op_update_on_data(u: &Self::U, d: &Self::T, _size: usize) -> Self::T

Apply an update u to a node’s stored aggregate d which represents size leaves. For example, for range-add + range-sum: op_update_on_data(u, d, size) = d + u * size.

fn op_on_update_option( existing_tag: &Option<Self::U>, new_tag: &Self::U, ) -> Option<Self::U>

Helper to combine an existing optional tag with a new tag.