Src/Algebra/Action/ActionConcept.hpp

• View this file on GitHub
• Last update: 2025-08-20 18:56:28+09:00
• Include: #include "Src/Algebra/Action/ActionConcept.hpp"

Required by

• 離散対数問題(モノイド) (Src/Algebra/Monoid/MonoidDiscreteLogarithm.hpp)
• Disjoint Sparse Table (Src/DataStructure/SparseTable/DisjointSparseTable.hpp)
• Aho-Corasick (Src/Sequence/AhoCorasick.hpp)
• 静的列の区間クエリをオフライン処理する (Src/Sequence/OfflineRangeProduct.hpp)

Verified with

• Test/AtCoder/abc222_g.test.cpp
• Test/AtCoder/abc223_h.test.cpp
• Test/AtCoder/abc268_h.test.cpp
• Test/AtCoder/abc270_g.test.cpp
• Test/AtCoder/abc419_f.test.cpp
• Test/LC/aho_corasick.test.cpp
• Test/LC/discrete_logarithm_mod.test.cpp
• Test/LC/staticrmq/DisjointSparseTable.test.cpp
• Test/LC/staticrmq/OfflineRangeProduct.test.cpp

Code

#pragma once

#include <concepts>

namespace zawa {

namespace concepts {

template <class G, class X>
concept Action = requires {
    typename G::Element;
    { G::action(std::declval<typename G::Element>(), std::declval<X>()) } -> std::same_as<X>;
};

// Is appropriate name X-set?
template <class G, class X>
concept Acted = requires {
    typename G::Element;
    { G::acted(std::declval<typename G::Element>(), std::declval<X>()) } -> std::same_as<typename G::Element>;
};

} // namespace concepts

} // namespace zawa

#line 2 "Src/Algebra/Action/ActionConcept.hpp"

#include <concepts>

namespace zawa {

namespace concepts {

template <class G, class X>
concept Action = requires {
    typename G::Element;
    { G::action(std::declval<typename G::Element>(), std::declval<X>()) } -> std::same_as<X>;
};

// Is appropriate name X-set?
template <class G, class X>
concept Acted = requires {
    typename G::Element;
    { G::acted(std::declval<typename G::Element>(), std::declval<X>()) } -> std::same_as<typename G::Element>;
};

} // namespace concepts

} // namespace zawa

Back to top page