内部型
(library/_internal/types.hpp)

• View this file on GitHub
• Last update: 2026-03-10 00:09:38+09:00
• Include: #include "library/_internal/types.hpp"

型の定義

• integral_like
  • 整数型 (int, long long, …)
  • asalib::ds::modint
• floating_like
  • 浮動小数点数型 (float, double, …)
• numeric_like
  • 数値型 (integral_like, floating_like)

定数関数の定義

• zero<T>: 0

Depends on

• library/_internal/modint-base.hpp

Required by

• library/_internal/math/inversion.hpp
• Binary Indexed Tree (library/data-structure/bit.hpp)
• Matrix (library/data-structure/matrix.hpp)
• 転倒数 (library/math/inversion.hpp)
• Meissel–Lehmer Algorithm (library/math/meissel-lehmer.hpp)
• 行列式 (library/matrix/determinant.hpp)

Verified with

• tests/data-structure/bit/abc185-f.test.cpp
• tests/data-structure/bit/abc222-d.test.cpp
• tests/data-structure/bit/libchecker-rsq.test.cpp
• tests/data-structure/bit/libchecker-static.test.cpp
• tests/math/inversion/abc264-d.test.cpp
• tests/math/inversion/abc296-f.test.cpp
• tests/math/inversion/abc332-d.test.cpp
• tests/math/inversion/alds1-5d.test.cpp
• tests/math/inversion/arc136-b.test.cpp
• tests/math/inversion/arc168-a.test.cpp
• tests/math/meissel-lehmer/libchecker.test.cpp
• tests/matrix/core/abc237-b.test.cpp
• tests/matrix/core/dp-r.test.cpp
• tests/matrix/core/itp1-6d.test.cpp
• tests/matrix/core/itp1-7d.test.cpp
• tests/matrix/core/libchecker-pow.test.cpp
• tests/matrix/core/libchecker-product.test.cpp
• tests/matrix/core/yukicoder-2441.test.cpp
• tests/matrix/determinant/libchecker-arbmod.test.cpp
• tests/matrix/determinant/libchecker-normal.test.cpp

Code

#pragma once

#include <concepts>
using namespace std;

#include "./modint-base.hpp"

namespace asalib::_internal {
  // ---------- concept definition ---------- //
  template<class T>
  concept integral_like = integral<T> || is_modint<T>;

  template<class T>
  concept floating_like = floating_point<T>;

  template<class T>
  concept numeric_like = integral_like<T> || floating_like<T>;

  // ---------- constant definition ---------- //
  template<class T>
  T zero() { return 0; }
}  // namespace asalib::_internal

#line 2 "library/_internal/types.hpp"

#include <concepts>
using namespace std;

#line 2 "library/_internal/modint-base.hpp"

#include <type_traits>
using namespace std;

namespace asalib::_internal {
  class modint_base {};

  template<typename T>
  concept is_modint = is_base_of_v<modint_base, T>;
}  // namespace asalib::_internal
#line 7 "library/_internal/types.hpp"

namespace asalib::_internal {
  // ---------- concept definition ---------- //
  template<class T>
  concept integral_like = integral<T> || is_modint<T>;

  template<class T>
  concept floating_like = floating_point<T>;

  template<class T>
  concept numeric_like = integral_like<T> || floating_like<T>;

  // ---------- constant definition ---------- //
  template<class T>
  T zero() { return 0; }
}  // namespace asalib::_internal

Back to top page