traits/product_monoid.cpp

• View this file on GitHub
• Last update: 2021-12-28 21:38:32+09:00

Required by

• traits/num_ring.cpp

Verified with

• test/and_convolution.test.cpp
• test/semiring_matrix.test.cpp
• test/subset_convolution.test.cpp

Code

#pragma once

template <class T> struct ProductMonoid {
    using Type = T;
    static constexpr T identity() { return T(1); }
    static constexpr T operation(const T& l, const T& r) { return l * r; }
};

#line 2 "traits/product_monoid.cpp"

template <class T> struct ProductMonoid {
    using Type = T;
    static constexpr T identity() { return T(1); }
    static constexpr T operation(const T& l, const T& r) { return l * r; }
};

Back to top page