addMonoid (加法モノイド)
(src/utility/monoid/addMonoid.hpp)

• View this file on GitHub
• Last update: 2023-03-10 16:33:31+09:00
• Include: #include "src/utility/monoid/addMonoid.hpp"

概要

加法のモノイドを表現した構造体です。

• RSQの時にでもどうぞ

機能

zawa::addMonoid<T>

T: int long long など0が単位元で加法が定義できるもの

using valueType = T

データ構造で使うために必要なやつ

メンバ

static constexpr valueType identity

加法単位元、0

static value_type operation(const value_type& a, const value_type& b)

加法、a + bを返す

Verified with

• test/dualSegmentTree-AOJRAQ.test.cpp
• test/lazySegmentTree-AOJ-RAQRSQ.test.cpp
• test/lazySegmentTree-AOJ-RAQRmQ.test.cpp
• test/lazySquareDecomp-AOJ-RAQRSQ.test.cpp
• test/lazySquareDecomp-AOJ-RAQRmQ.test.cpp
• test/segmentTree-AOJ-RSQ.test.cpp
• test/squareDecomp-AOJ-RSQ.test.cpp
• test/squareDecomp-LC-RSQ.test.cpp

Code

#pragma once

namespace zawa {

template <class T>
struct addMonoid {
	using valueType = T;
	static constexpr valueType identity{};
	static valueType operation(const valueType& a, const valueType& b) {
		return a + b;
	}
};

} // namespace zawa

#line 2 "src/utility/monoid/addMonoid.hpp"

namespace zawa {

template <class T>
struct addMonoid {
	using valueType = T;
	static constexpr valueType identity{};
	static valueType operation(const valueType& a, const valueType& b) {
		return a + b;
	}
};

} // namespace zawa

Back to top page