Src/Algebra/Semigroup/SemigroupConcept.hpp

• View this file on GitHub
• Last update: 2025-04-16 16:40:34+09:00
• Include: #include "Src/Algebra/Semigroup/SemigroupConcept.hpp"

Required by

• Src/Algebra/Group/GroupConcept.hpp
• Src/Algebra/Monoid/MonoidConcept.hpp
• Dual Fenwick Tree (Src/DataStructure/FenwickTree/DualFenwickTree.hpp)
• Fenwick Tree (Src/DataStructure/FenwickTree/FenwickTree.hpp)
• Fenwick Tree 2D (Offline Query) (Src/DataStructure/FenwickTree/OfflineFenwickTree2D.hpp)
• 昇順 $K$ 個の和を取れるpriority_queue (Src/DataStructure/Other/PriorityProductSet.hpp)
• Foldable Deque (Src/DataStructure/SWAG/FoldableDeque.hpp)
• Foldable Queue (Src/DataStructure/SWAG/FoldableQueue.hpp)
• Src/DataStructure/SWAG/SWAGable.hpp
• Assignment Segment Tree (Src/DataStructure/SegmentTree/AssignmentSegmentTree.hpp)
• Dual Segment Tree (可換モノイド) (Src/DataStructure/SegmentTree/CommutativeDualSegmentTree.hpp)
• Dual Segment Tree (非可換対応) (Src/DataStructure/SegmentTree/DualSegmentTree.hpp)
• Lazy Segment Tree (Src/DataStructure/SegmentTree/LazySegmentTree.hpp)
• Src/DataStructure/SegmentTree/OfflineSegmentTree2D.hpp
• Segment Tree (Src/DataStructure/SegmentTree/SegmentTree.hpp)
• Src/DataStructure/SegmentTree/SegmentTreeBeats.hpp
• Src/DataStructure/SegmentTree/SegmentTreeConcept.hpp
• 単位元で無い要素が疎なセグメント木 (Src/DataStructure/SegmentTree/SparseSegmentTree.hpp)
• Disjoint Sparse Table (Src/DataStructure/SparseTable/DisjointSparseTable.hpp)
• Dual Sparse Table (Src/DataStructure/SparseTable/DualSparseTable.hpp)
• Src/Sequence/EnumerateStaticLengthProduct.hpp
• Src/Utility/AreaOfUnionOfRectangles.hpp

Verified with

• Test/AOJ/0478.test.cpp
• Test/AOJ/2559.test.cpp
• AOJ3548 String Puzzle (Test/AOJ/3548.test.cpp)
• Test/AOJ/DSL_2_A.test.cpp
• Test/AOJ/DSL_2_B.test.cpp
• Test/AOJ/DSL_2_D.test.cpp
• Test/AOJ/DSL_2_E.test.cpp
• Test/AOJ/DSL_2_F.test.cpp
• Test/AOJ/DSL_2_I.test.cpp
• Test/AtCoder/abc237_g.test.cpp
• Test/AtCoder/abc256_h.test.cpp
• Test/AtCoder/abc276_f.test.cpp
• Test/AtCoder/abc287_g.test.cpp
• Test/AtCoder/abc292_h.test.cpp
• ABC322-F Vacation Query (Test/AtCoder/abc322_f.test.cpp)
• Test/AtCoder/abc331_f.test.cpp
• ABC332-F Random Update Query (a <- ap + qの処理) (Test/AtCoder/abc332_f.test.cpp)
• Test/AtCoder/abc340_e.test.cpp
• Test/AtCoder/abc346_g.test.cpp
• Test/AtCoder/abc371_f.test.cpp
• Test/AtCoder/abc384_g.test.cpp
• Test/AtCoder/abc389_f.test.cpp
• Test/AtCoder/abc403_g.test.cpp
• Test/AtCoder/abl_e.test.cpp
• Test/AtCoder/agc005_b.test.cpp
• Test/AtCoder/arc088_e.test.cpp
• Test/AtCoder/arc196_a.test.cpp
• Test/AtCoder/practice2_l.test.cpp
• Test/AtCoder/tdpc_target.test.cpp
• Test/CF/CF895-E.test.cpp
• Test/CF/EC171-F.test.cpp
• Test/CF/EC2-E.test.cpp
• Test/LC/area_of_union_of_rectangles.test.cpp
• Test/LC/deque_operate_all_composite.test.cpp
• Test/LC/point_add_range_sum.test.cpp
• Test/LC/point_add_rectangle_sum/OfflineFenwickTree2D.test.cpp
• Test/LC/point_add_rectangle_sum/OfflineSegmentTree2D.test.cpp
• Test/LC/point_set_range_composite.test.cpp
• Test/LC/point_set_range_composite_large_array.test.cpp
• Test/LC/queue_operate_all_composite.test.cpp
• Test/LC/range_affine_point_get.test.cpp
• Test/LC/range_affine_range_sum.test.cpp
• Test/LC/range_set_range_composite.test.cpp
• Test/LC/staticrmq/DisjointSparseTable.test.cpp
• Test/LC/vertex_add_path_sum.test.cpp
• Test/LC/vertex_add_subtree_sum.test.cpp
• Test/Manual/aoj3226.test.cpp
• Test/My/DataStructure/SegmentTree/SparseSegmentTreeGetTest.test.cpp
• Test/yukicoder/649.test.cpp

Code

#pragma once

#include <concepts>

namespace zawa {

namespace concepts {

template <class T>
concept Semigroup = requires {
    typename T::Element;
    { T::operation(std::declval<typename T::Element>(), std::declval<typename T::Element>()) } -> std::same_as<typename T::Element>;
};

} // namespace concepts

} // namespace zawa

#line 2 "Src/Algebra/Semigroup/SemigroupConcept.hpp"

#include <concepts>

namespace zawa {

namespace concepts {

template <class T>
concept Semigroup = requires {
    typename T::Element;
    { T::operation(std::declval<typename T::Element>(), std::declval<typename T::Element>()) } -> std::same_as<typename T::Element>;
};

} // namespace concepts

} // namespace zawa

Back to top page