This documentation is automatically generated by online-judge-tools/verification-helper
View the Project on GitHub ningenMe/compro-library
/* * @title MonoidRangeFoldMinRangeOperateArithmeticUpdate - fold:区間min, operate:区間等差数列更新] * @docs md/operator/monoid-lazy/MonoidRangeMinRangeArithmeticUpdate.md */template<class T, class U> struct MonoidRangeFoldMinRangeOperateArithmeticUpdate { using TypeNode = T; using TypeLazy = U; inline static constexpr TypeNode unit_node = 1234567; inline static constexpr TypeLazy unit_lazy = {-2000,-2000}; inline static constexpr TypeNode func_fold(TypeNode l,TypeNode r){return min(l,r);} inline static constexpr TypeLazy func_lazy(TypeLazy old_lazy,TypeLazy new_lazy){return new_lazy;} inline static constexpr TypeNode func_operate(TypeNode node,TypeLazy lazy,int l,int r){ return (lazy.first==-2000?node:lazy.first + (l-lazy.second));} inline static constexpr bool func_check(TypeNode nodeVal,TypeNode var){return var <= nodeVal;} };
#line 1 "lib/99-operator/monoid-lazy/MonoidRangeFoldMinRangeOperateArithmeticUpdate.cpp" /* * @title MonoidRangeFoldMinRangeOperateArithmeticUpdate - fold:区間min, operate:区間等差数列更新] * @docs md/operator/monoid-lazy/MonoidRangeMinRangeArithmeticUpdate.md */template<class T, class U> struct MonoidRangeFoldMinRangeOperateArithmeticUpdate { using TypeNode = T; using TypeLazy = U; inline static constexpr TypeNode unit_node = 1234567; inline static constexpr TypeLazy unit_lazy = {-2000,-2000}; inline static constexpr TypeNode func_fold(TypeNode l,TypeNode r){return min(l,r);} inline static constexpr TypeLazy func_lazy(TypeLazy old_lazy,TypeLazy new_lazy){return new_lazy;} inline static constexpr TypeNode func_operate(TypeNode node,TypeLazy lazy,int l,int r){ return (lazy.first==-2000?node:lazy.first + (l-lazy.second));} inline static constexpr bool func_check(TypeNode nodeVal,TypeNode var){return var <= nodeVal;} };