Check whether T has the member function mod() (tools/has_mod.hpp)

• View this file on GitHub
• View document part on GitHub
• Last update: 2022-11-23 11:35:29+09:00
• Include: #include "tools/has_mod.hpp"

template <typename T>
struct has_mod {
  static constexpr bool value;
};

template <typename T>
inline constexpr bool has_mod_v = has_mod<T>::value;

If an instance of T has the member function mod(), tools::has_mod<T>::value is true. Otherwise, it is false.

Constraints

• None

Time Complexity

• Not applicable

License

• CC0

Author

• anqooqie

Required by

• Berlekamp-Massey algorithm (tools/berlekamp_massey.hpp)
• Bostan-Mori algorithm (tools/bostan_mori.hpp)
• Extend operator>> (tools/extend_input.hpp)
• Extend operator<< (tools/extend_output.hpp)
• Polynomial (tools/polynomial.hpp)
• Polynomial interpolation (tools/polynomial_interpolation.hpp)
• Signed Stirling numbers of the first kind (tools/stirling_1st.hpp)
• Commonly used utilities for competitive programming (tools/util.hpp)

Verified with

• tests/berlekamp_massey.test.cpp
• tests/bostan_mori.test.cpp
• tests/extend_input.test.cpp
• tests/extend_output.test.cpp
• tests/has_mod.test.cpp
• tests/polynomial/multidimensional.test.cpp
• tests/polynomial/multipoint_evaluation.test.cpp
• tests/polynomial/multipoint_evaluation_other_mods.test.cpp
• tests/polynomial/naive_division.test.cpp
• tests/polynomial/ntt_division.test.cpp
• tests/polynomial/taylor_shift.test.cpp
• tests/polynomial_interpolation.test.cpp
• tests/polynomial_product.test.cpp
• tests/stirling_1st/consistent.test.cpp
• tests/stirling_1st/fixed_k.test.cpp
• tests/stirling_1st/fixed_n.test.cpp
• tests/util.test.cpp

Code

#ifndef TOOLS_HAS_MOD_HPP
#define TOOLS_HAS_MOD_HPP

#include <type_traits>
#include <utility>

namespace tools {
  template <typename T, typename = ::std::void_t<>>
  struct has_mod : ::std::false_type {};

  template <typename T>
  struct has_mod<T, ::std::void_t<decltype(::std::declval<T>().mod())>> : ::std::true_type {};

  template <typename T>
  inline constexpr bool has_mod_v = ::tools::has_mod<T>::value;
}

#endif

#line 1 "tools/has_mod.hpp"



#include <type_traits>
#include <utility>

namespace tools {
  template <typename T, typename = ::std::void_t<>>
  struct has_mod : ::std::false_type {};

  template <typename T>
  struct has_mod<T, ::std::void_t<decltype(::std::declval<T>().mod())>> : ::std::true_type {};

  template <typename T>
  inline constexpr bool has_mod_v = ::tools::has_mod<T>::value;
}

Back to top page