Skip to content

File hasspaceconfirmationmethods.h

File List > algebra > helpers > hasspaceconfirmationmethods.h

Go to the documentation of this file

#ifndef TEMPLAT_LATTICE_ALGEBRA_HELPERS_HASSPACECONFIRMATIONMETHODS_H
#define TEMPLAT_LATTICE_ALGEBRA_HELPERS_HASSPACECONFIRMATIONMETHODS_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): Wessel Valkenburg, Franz R. Sattler, Year: 2026

#include "TempLat/lattice/memory/memorylayouts/layoutstruct.h"
#include "TempLat/lattice/algebra/spacestateinterface.h"
#include "TempLat/util/rangeiteration/tag.h"

namespace TempLat
{
  template <class T, size_t NDim>
  concept HasSpaceConfirmationMethods = requires(std::decay_t<T> t, LayoutStruct<NDim> layout,
                                                 SpaceStateType spaceType) { t.confirmSpace(layout, spaceType); };

  template <int N, class T, size_t NDim>
  concept HasSpaceConfirmationMethodsIndexed =
      requires(Tag<N> tag, std::decay_t<T> t, LayoutStruct<NDim> layout, SpaceStateType spaceType) {
        t.confirmSpace(tag, layout, spaceType);
      };

  template <class T, size_t NDim>
  concept HasSpaceConfirmationMethodsDirectIndexed =
      requires(device::Idx idx, std::decay_t<T> t, LayoutStruct<NDim> layout, SpaceStateType spaceType) {
        t.confirmSpace(idx, layout, spaceType);
      };

  template <int N, class T, size_t NDim>
  concept HasSpaceConfirmationMethodsElement =
      requires(Tag<N> tag, std::decay_t<T> t, LayoutStruct<NDim> layout, SpaceStateType spaceType) {
        t(tag).confirmSpace(layout, spaceType);
      };

  template <class T, size_t NDim>
  concept HasSpaceConfirmationMethodsDirectElement =
      requires(device::Idx idx, std::decay_t<T> t, LayoutStruct<NDim> layout, SpaceStateType spaceType) {
        t(idx).confirmSpace(layout, spaceType);
      };
} // namespace TempLat

#endif