Skip to content

File haseval.h

File List > algebra > helpers > haseval.h

Go to the documentation of this file

#ifndef TEMPLAT_LATTICE_ALGEBRA_HELPERS_HASEVAL_H
#define TEMPLAT_LATTICE_ALGEBRA_HELPERS_HASEVAL_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): Adrien Florio, Franz R. Sattler, Year: 2026

#include "TempLat/parallel/device.h"
#include "TempLat/lattice/algebra/helpers/iscomplextype.h"

namespace TempLat
{
  template <typename U, typename... IDX>
  concept HasEval = requires(std::decay_t<U> obj, IDX... idx) { obj.eval(idx...); };

  template <typename U>
  concept TypeEvalsItself = (std::is_arithmetic_v<std::decay_t<U>> || IsComplexType<std::decay_t<U>>);

  template <typename U>
  concept TypeHasStaticValue = requires { std::is_arithmetic_v<decltype(std::decay_t<U>::value)>; };

  template <class T>
  concept HasEvalMethod =
      HasEval<T, size_t> || HasEval<T, size_t, size_t> || HasEval<T, size_t, size_t, size_t> ||
      HasEval<T, size_t, size_t, size_t, size_t> || HasEval<T, size_t, size_t, size_t, size_t, size_t> ||
      HasEval<T, size_t, size_t, size_t, size_t, size_t, size_t> ||
      HasEval<T, size_t, size_t, size_t, size_t, size_t, size_t, size_t>;
} // namespace TempLat

#endif