This documentation is automatically generated by online-judge-tools/verification-helper
View the Project on GitHub maspypy/library
#include "alg/acted_monoid/max_min.hpp"
#include "alg/monoid/max.hpp" #include "alg/monoid/min.hpp" template <typename E> struct ActedMonoid_Max_Min { using Monoid_X = Monoid_Max<E>; using Monoid_A = Monoid_Min<E>; using X = typename Monoid_X::value_type; using A = typename Monoid_A::value_type; static constexpr X act(const X &x, const A &a, const ll &size) { return min(x, a); } };
#line 2 "alg/monoid/max.hpp" template <typename E> struct Monoid_Max { using X = E; using value_type = X; static constexpr X op(const X &x, const X &y) noexcept { return max(x, y); } static constexpr X unit() { return -infty<E>; } static constexpr bool commute = true; }; #line 2 "alg/monoid/min.hpp" template <typename E> struct Monoid_Min { using X = E; using value_type = X; static constexpr X op(const X &x, const X &y) noexcept { return min(x, y); } static constexpr X unit() { return infty<E>; } static constexpr bool commute = true; }; #line 3 "alg/acted_monoid/max_min.hpp" template <typename E> struct ActedMonoid_Max_Min { using Monoid_X = Monoid_Max<E>; using Monoid_A = Monoid_Min<E>; using X = typename Monoid_X::value_type; using A = typename Monoid_A::value_type; static constexpr X act(const X &x, const A &a, const ll &size) { return min(x, a); } };