declarations.hpp

Go to the documentation of this file.

// SPDX-License-Identifier: BSD-2-Clause
 
#ifndef pRC_TENSOR_TRAIN_TENSOR_DECLARATIONS_H
#define pRC_TENSOR_TRAIN_TENSOR_DECLARATIONS_H
 
#include <prc/core/basic/sequence.hpp>
#include <prc/core/complex/complex.hpp>
#include <prc/core/value/value.hpp>
 
namespace pRC::TensorTrain
{
    template<class T, IsSizes N,
        IsSizes R = decltype(makeConstantSequence<Size, N::Dimension - 1, 1>())>
        requires(IsValue<T> || IsComplex<T>) &&
        (N::Dimension - 1 == R::Dimension)
    class Tensor;
 
    namespace TensorViews
    {
        template<class T, class N, class R, class F>
        class View;
 
        template<class T, class N, class R, class F>
        class Assignable;
    }
 
    template<class T>
    concept IsTensor = !IsReference<T> && requires {
        {
            []<class U, class N, class R>(Tensor<U, N, R> const &&)
            {
            }(std::declval<T>())
        };
    };
 
    template<class T>
    concept IsTensorView = !IsReference<T> && requires {
        {
            []<class U, class N, class R, class F>(
                TensorViews::View<U, N, R, F> const &&)
            {
            }(std::declval<T>())
        };
    };
 
    template<class T>
    concept IsTensorish = IsTensor<T> || IsTensorView<T>;
}
#endif // pRC_TENSOR_TRAIN_TENSOR_DECLARATIONS_H