Range add / Range min
(Mylib/AlgebraicStructure/MonoidAction/add_min.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/DSL_2_H/main.test.cpp

Code

#pragma once

namespace haar_lib {
  template <typename MonoidUpdate, typename MonoidGet>
  struct add_min {
    using monoid_get        = MonoidGet;
    using monoid_update     = MonoidUpdate;
    using value_type_get    = typename MonoidGet::value_type;
    using value_type_update = typename MonoidUpdate::value_type;

    value_type_get operator()(value_type_get a, value_type_update b, int) const {
      if (a) return {*a + b};
      return {};
    }
  };
}  // namespace haar_lib

#line 2 "Mylib/AlgebraicStructure/MonoidAction/add_min.cpp"

namespace haar_lib {
  template <typename MonoidUpdate, typename MonoidGet>
  struct add_min {
    using monoid_get        = MonoidGet;
    using monoid_update     = MonoidUpdate;
    using value_type_get    = typename MonoidGet::value_type;
    using value_type_update = typename MonoidUpdate::value_type;

    value_type_get operator()(value_type_get a, value_type_update b, int) const {
      if (a) return {*a + b};
      return {};
    }
  };
}  // namespace haar_lib

Back to top page