MaxZero

クラス · モノイドの要件

template <class T>
struct MaxZero;

概要

最大値モノイド（単位元 0 固定）

「何も選ばない」ことを単位元 0 として扱いたい場合に使う（Max<T> は単位元が型の最小値）。

テンプレートパラメータ

名前	説明
`T`	要素の型

計算量

各演算 $O(1)$

静的メンバ関数

名前	説明	計算量
`id`	単位元0を返す	$O(1)$
`op`	大きい方を返す	$O(1)$
`f`	rhsをlhs以上へ制限する	$O(1)$

メンバ型

名前	説明	計算量
`value_type`	値型	型エイリアスで実行時計算量はない

関連項目

monoid — モノイドの要件
acts_on — 作用素モノイド M を値型 U に作用させられるか
Add — 和モノイド
Mul — 積モノイド
And — ビット積モノイド
Or — ビット和モノイド
Xor — ビット排他的論理和モノイド
Min — 最小値モノイド
Max — 最大値モノイド
Gcd — 最大公約数モノイド
Lcm — 最小公倍数モノイド
Update — 上書きモノイド（後勝ち）
Affine — アフィン変換モノイド
Rev — モノイドの演算順序を反転するアダプタ