alg/monoid/assign.hpp

View this file on GitHub
Last update: 2023-10-14 20:28:40+09:00
Include: #include "alg/monoid/assign.hpp"
Link: View error logs on GitHub Actions

Required by

alg/acted_monoid/max_assign.hpp
alg/acted_monoid/min_assign.hpp
alg/acted_monoid/powersums_assign.hpp
alg/acted_monoid/sum_assign.hpp
alg/acted_monoid/summax_assign.hpp
alg/acted_monoid/summin_assign.hpp

Verified with

test/1_mytest/dynamic_lazy_segtree.test.cpp
test/1_mytest/dynamic_lazy_segtree_persistent.test.cpp
test/1_mytest/max_assign.test.cpp
test/1_mytest/range_assign.test.cpp
test/1_mytest/rbst_am.test.cpp
test/1_mytest/rbst_am_persistent.test.cpp
test/1_mytest/rbst_monoid.test.cpp
test/1_mytest/rbst_monoid_persistent.test.cpp
test/1_mytest/splay_monoid.test.cpp
test/1_mytest/summax_assign.test.cpp
test/1_mytest/summin_assign.test.cpp
test/3_yukicoder/1548.test.cpp
test/3_yukicoder/2292.test.cpp
test/4_aoj/DSL_2_D.test.cpp
test/4_aoj/DSL_2_F.test.cpp
test/4_aoj/DSL_2_I.test.cpp
test/5_atcoder/abc256ex.test.cpp
test/5_atcoder/abc256ex2.test.cpp

Code

#pragma once

template <typename X, int none_val>
struct Monoid_Assign {
  using value_type = X;
  static X op(X x, X y) { return (y == X(none_val) ? x : y); }
  static constexpr X unit() { return X(none_val); }
  static constexpr bool commute = false;
};

#line 2 "alg/monoid/assign.hpp"

template <typename X, int none_val>
struct Monoid_Assign {
  using value_type = X;
  static X op(X x, X y) { return (y == X(none_val) ? x : y); }
  static constexpr X unit() { return X(none_val); }
  static constexpr bool commute = false;
};