Skip to content

File conditionalbinarygetter.h

File List > algebra > conditional > conditionalbinarygetter.h

Go to the documentation of this file

#ifndef TEMPLAT_LATTICE_ALGEBRA_CONDITIONAL_CONDITIONALBINARYGETTER_H
#define TEMPLAT_LATTICE_ALGEBRA_CONDITIONAL_CONDITIONALBINARYGETTER_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: 2025

#include "TempLat/lattice/algebra/complexalgebra/helpers/hascomplexfieldget.h"
#include "TempLat/lattice/algebra/matrix3x3algebra/helpers/hassymtracelessget.h"
#include "TempLat/lattice/algebra/matrix3x3algebra/helpers/hassymget.h"
#include "TempLat/lattice/algebra/matrix3x3algebra/helpers/hashermget.h"
#include "TempLat/lattice/algebra/matrix3x3algebra/helpers/hasmatrixget.h"
#include "TempLat/lattice/algebra/su2algebra/helpers/hassu2get.h"
#include "TempLat/lattice/algebra/su2algebra/helpers/hassu2doubletget.h"
#include "TempLat/lattice/algebra/helpers/haseval.h"
#include "TempLat/lattice/algebra/helpers/hasstaticgetter.h"
#include "TempLat/lattice/algebra/helpers/hasvectorgetmethod.h"
namespace TempLat
{
  template <typename S, typename T>
  concept ConditionalBinaryGetter = requires {
    requires HasEvalMethod<S> || HasEvalMethod<T>;
    requires !HasComplexFieldGet<S> && !HasComplexFieldGet<T>;
    requires !HasSymTracelessGet<S> && !HasSymTracelessGet<T>;
    requires !HasMatrixGet<S> && !HasMatrixGet<T>;
    requires !HasSymGet<S> && !HasSymGet<T>;
    requires !HasHermGet<S> && !HasHermGet<T>;
    requires !HasSU2Get<S> && !HasSU2Get<T>;
    requires !HasSU2DoubletGet<S> && !HasSU2DoubletGet<T>;
    requires !HasVectorGetMethod<S>;
    requires !HasVectorGetMethod<T> && !HasStaticGetter<S> && !HasStaticGetter<T>;
  };
} // namespace TempLat

#endif