declarations.hpp

Go to the documentation of this file.

// SPDX-License-Identifier: BSD-2-Clause
 
#ifndef pRC_TENSOR_TRAIN_OPERATOR_DECLARATIONS_H
#define pRC_TENSOR_TRAIN_OPERATOR_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, class M, class N,
        class R = decltype(makeConstantSequence<Size,
            Common<Constant<Size, M::Dimension>,
                Constant<Size, N::Dimension>>() -
                1,
            1>())>
        requires(IsValue<T> || IsComplex<T>) &&
        (N::Dimension - 1 == R::Dimension) && (M::Dimension - 1 == R::Dimension)
    class Operator;
 
    namespace OperatorViews
    {
        template<class T, class M, class N, class R, class F>
        class View;
 
        template<class T, class M, class N, class R, class F>
        class Assignable;
    }
 
    template<class T>
    concept IsOperator = !IsReference<T> && requires {
        {
            []<class U, class M, class N, class R>(
                Operator<U, M, N, R> const &&)
            {
            }(std::declval<T>())
        };
    };
 
    template<class T>
    concept IsOperatorView = !IsReference<T> && requires {
        {
            []<class U, class M, class N, class R, class F>(
                OperatorViews::View<U, M, N, R, F> const &&)
            {
            }(std::declval<T>())
        };
    };
 
    template<class T>
    concept IsOperatorish = IsOperator<T> || IsOperatorView<T>;
}
#endif // pRC_TENSOR_TRAIN_OPERATOR_DECLARATIONS_H