acts_on

コンセプト · モノイドの要件

template <class M, class U>
concept acts_on = monoid<M> && requires(const typename M::value_type &m, const U &x) {
    { M::f(m, x) } -> std::convertible_to<U>;
};

概要

作用素モノイド M を値型 U に作用させられるか

モノイドに加えて作用 f(作用素, 値) を持つこと。遅延セグ木では op が作用素の合成、 f が値への作用を表す。f は関数テンプレートでも非テンプレートでもよい。

テンプレートパラメータ

計算量

• コンパイル時制約で実行時計算量はない

関連項目

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