is-matrix.hpp

//
// libsemigroups - C++ library for semigroups and monoids
// Copyright (C) 2026 James D. Mitchell
//
// This program is free software: you can redistribute it and/or modify
// it under the terms of the GNU General Public License as published by
// the Free Software Foundation, either version 3 of the License, or
// (at your option) any later version.
//
// This program is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
// GNU General Public License for more details.
//
// You should have received a copy of the GNU General Public License
// along with this program.  If not, see <http://www.gnu.org/licenses/>.
 
#ifndef LIBSEMIGROUPS_IS_MATRIX_HPP_
#define LIBSEMIGROUPS_IS_MATRIX_HPP_
 
#include <type_traits>
 
namespace libsemigroups {
  namespace detail {
 
    struct MatrixPolymorphicBase {};
 
    template <typename T>
    struct IsMatrixHelper {
      static constexpr bool value
          = std::is_base_of<detail::MatrixPolymorphicBase, T>::value;
    };
 
    template <typename T>
    struct IsStaticMatrixHelper : std::false_type {};
 
    template <typename T>
    struct IsMatWithSemiringHelper : std::false_type {};
 
    template <typename S, typename T = void>
    struct IsTruncMatHelper : std::false_type {};
 
    template <typename T>
    static constexpr bool IsTruncMat = IsTruncMatHelper<T>::value;
 
    template <typename T>
    struct IsIntMatHelper : std::false_type {};
 
    template <typename T>
    struct IsBMatHelper : std::false_type {};
 
    template <typename T>
    struct IsMaxPlusMatHelper : std::false_type {};
 
    template <typename T>
    struct IsMinPlusMatHelper : std::false_type {};
 
    template <typename T>
    struct IsMaxPlusTruncMatHelper : std::false_type {};
 
    template <typename T>
    struct IsMinPlusTruncMatHelper : std::false_type {};
 
    template <typename T>
    struct IsNTPMatHelper : std::false_type {};
 
    template <typename T>
    struct IsProjMaxPlusMatHelper : std::false_type {};
 
  }  // namespace detail

  template <typename T>
  constexpr bool IsMatrix = detail::IsMatrixHelper<T>::value;

  template <typename T>
  constexpr bool IsStaticMatrix = detail::IsStaticMatrixHelper<T>::value;

  template <typename T>
  constexpr bool IsDynamicMatrix = IsMatrix<T> && !IsStaticMatrix<T>;

  template <typename T>
  static constexpr bool IsMatWithSemiring
      = detail::IsMatWithSemiringHelper<T>::value;

  template <typename T>
  static constexpr bool IsIntMat = detail::IsIntMatHelper<T>::value;

  template <typename T>
  static constexpr bool IsBMat = detail::IsBMatHelper<T>::value;

  template <typename T>
  static constexpr bool IsMaxPlusMat = detail::IsMaxPlusMatHelper<T>::value;

  template <typename T>
  static constexpr bool IsMinPlusMat = detail::IsMinPlusMatHelper<T>::value;

  template <typename T>
  static constexpr bool IsMaxPlusTruncMat
      = detail::IsMaxPlusTruncMatHelper<T>::value;

  template <typename T>
  static constexpr bool IsMinPlusTruncMat
      = detail::IsMinPlusTruncMatHelper<T>::value;

  template <typename U>
  static constexpr bool IsNTPMat = detail::IsNTPMatHelper<U>::value;

  template <typename T>
  static constexpr bool IsProjMaxPlusMat
      = detail::IsProjMaxPlusMatHelper<T>::value;
}  // namespace libsemigroups
#endif  // LIBSEMIGROUPS_IS_MATRIX_HPP_