Update
クラス · モノイドの要件
template <class T>
struct Update;
概要
上書きモノイド（後勝ち）
「未設定」を表す番兵を単位元とする。値域にこの値を含めないこと。
テンプレートパラメータ
| 名前 | 説明 |
|---|---|
T |
要素の型 |
計算量
- 各演算 $O(1)$
静的メンバ関数
| 名前 | 説明 | 計算量 |
|---|---|---|
id |
未設定を表す番兵を返す | $O(1)$ |
op |
新しい上書き値を優先して合成する | $O(1)$ |
f |
未設定でなければlhsでrhsを上書きする | $O(1)$ |
メンバ型
| 名前 | 説明 | 計算量 |
|---|---|---|
value_type |
値型 | 型エイリアスで実行時計算量はない |