Sum monoid
(Mylib/AlgebraicStructure/Monoid/sum.cpp)

• View this file on GitHub
• Last update: 2021-04-23 23:44:44+09:00
• Link: View error logs on GitHub Actions

Operations

Requirements

Notes

Problems

References

Verified with

• test/aoj/2667/main.test.cpp
• test/aoj/2842/main.segment_tree.test.cpp
• test/aoj/3035/main.test.cpp
• test/aoj/DSL_2_B/main.test.cpp
• test/aoj/DSL_2_E/main.dynamic.test.cpp
• test/aoj/DSL_2_E/main.test.cpp
• test/aoj/DSL_2_G/main.test.cpp
• test/aoj/DSL_2_H/main.test.cpp
• test/aoj/DSL_2_I/main.test.cpp
• test/yosupo-judge/dynamic_tree_vertex_add_path_sum/main.link_cut_tree.test.cpp
• test/yosupo-judge/point_add_rectangle_sum/main.test.cpp
• test/yosupo-judge/range_affine_range_sum/main.test.cpp
• test/yosupo-judge/rectangle_sum/main.persistent_segment_tree.test.cpp
• test/yosupo-judge/rectangle_sum/main.segment_tree.test.cpp
• test/yosupo-judge/vertex_add_path_sum/main.test.cpp
• test/yosupo-judge/vertex_add_subtree_sum/main.euler_tour.test.cpp
• test/yosupo-judge/vertex_add_subtree_sum/main.hld.test.cpp
• test/yukicoder/1099/main.test.cpp
• test/yukicoder/631/main.test.cpp
• test/yukicoder/789/main.test.cpp
• test/yukicoder/899/main.test.cpp

Code

#pragma once

namespace haar_lib {
  template <typename T>
  struct sum_monoid {
    using value_type = T;
    value_type operator()() const { return 0; }
    value_type operator()(value_type a, value_type b) const { return a + b; }
  };
}  // namespace haar_lib

#line 2 "Mylib/AlgebraicStructure/Monoid/sum.cpp"

namespace haar_lib {
  template <typename T>
  struct sum_monoid {
    using value_type = T;
    value_type operator()() const { return 0; }
    value_type operator()(value_type a, value_type b) const { return a + b; }
  };
}  // namespace haar_lib

Back to top page