actedmonoid/actedMonoid_setSum.cpp

• View this file on GitHub
• Last update: 2024-02-09 21:58:48+08:00

Code

template<class U, U unused>
struct actedMonoid_setSum {
  using M = pair<U, int>;
  static M Mid() { return make_pair(U(0), 0); }
  static M Mop(const M &a, const M &b) { return make_pair(a.first + b.first, a.second + b.second); }
  using T = U;
  static T Tid() { return unused; }
  static T Top(const T &a, const T &b) { return b == unused ? a : b; }
  static M act(const M &a, const T &b) { return b == unused ? a : make_pair(a.second * b, a.second); }
};

#line 1 "actedmonoid/actedMonoid_setSum.cpp"
template<class U, U unused>
struct actedMonoid_setSum {
  using M = pair<U, int>;
  static M Mid() { return make_pair(U(0), 0); }
  static M Mop(const M &a, const M &b) { return make_pair(a.first + b.first, a.second + b.second); }
  using T = U;
  static T Tid() { return unused; }
  static T Top(const T &a, const T &b) { return b == unused ? a : b; }
  static M act(const M &a, const T &b) { return b == unused ? a : make_pair(a.second * b, a.second); }
};

Back to top page