And

クラス · モノイドの要件

template <class T>
struct And;

概要

ビット積モノイド

単位元は全ビットが 1 の値（符号付き型でも正しく動作する）。

テンプレートパラメータ

名前	説明
`T`	要素の型

計算量

各演算 $O(1)$

静的メンバ関数

名前	説明	計算量
`id`	全bitが1の単位元を返す	$O(1)$
`op`	bit積を返す	$O(1)$
`f`	bit積を作用する	$O(1)$

メンバ型

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

関連項目

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