actedmonoid/actedMonoid_setMin.cpp

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

Code

template<class U, U unused>
struct actedMonoid_setMin {
  using M = U;
  static M Mid() { return numeric_limits<T>::max(); }
  static M Mop(const M &a, const M &b) { return min(a, b); }
  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 : b; }
};

#line 1 "actedmonoid/actedMonoid_setMin.cpp"
template<class U, U unused>
struct actedMonoid_setMin {
  using M = U;
  static M Mid() { return numeric_limits<T>::max(); }
  static M Mop(const M &a, const M &b) { return min(a, b); }
  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 : b; }
};

Back to top page