File isvariadicindex.h

File List > algebra > helpers > isvariadicindex.h

Go to the documentation of this file

#ifndef TEMPLAT_LATTICE_ALGEBRA_HELPERS_IsVariadicIndex_H
#define TEMPLAT_LATTICE_ALGEBRA_HELPERS_IsVariadicIndex_H

/* This file is part of TempLat, available at https://cosmolattice.github.io/templat .
   Copyright 2021-2026 The TempLat authors, see AUTHORS.md.
   Released under the MIT license, see LICENSE.md. */

// File info: Main contributor(s): Franz R. Sattler, Year: 2025

#include <cstddef>
#include <type_traits>

namespace TempLat
{
  template <size_t NDim, typename... IDX>
  concept IsVariadicNDIndex = requires {
    requires(sizeof...(IDX) == NDim);
    requires((std::is_integral_v<std::decay_t<IDX>> && ...));
  };

  template <typename... IDX>
  concept IsVariadicIndex = requires {
    requires(sizeof...(IDX) > 0);
    requires((std::is_integral_v<std::decay_t<IDX>> && ...));
  };

  class IsVariadicIndexTester
  {
  public:
    template <typename Assertion> static inline void Test(Assertion &tdd);
  };
} // namespace TempLat

#endif