hermitian_adapter.hpp

Go to the documentation of this file.

/* This file is part of OpenKalman, a header-only C++ library for
 * Kalman filters and other recursive filters.
 *
 * Copyright (c) 2019-2023 Christopher Lee Ogden <ogden@gatech.edu>
 *
 * This Source Code Form is subject to the terms of the Mozilla Public
 * License, v. 2.0. If a copy of the MPL was not distributed with this
 * file, You can obtain one at https://mozilla.org/MPL/2.0/.
 */

#ifndef OPENKALMAN_HERMITIAN_ADAPTER_HPP
#define OPENKALMAN_HERMITIAN_ADAPTER_HPP


namespace OpenKalman
{
#ifndef __cpp_concepts
  namespace detail
  {
    template<typename T, HermitianAdapterType t, typename = void>
    struct hermitian_adapter_impl : std::false_type {};

    template<typename T, HermitianAdapterType t>
    struct hermitian_adapter_impl<T, t, std::enable_if_t<
      (t == HermitianAdapterType::any ?
       interface::indexible_object_traits<std::decay_t<T>>::hermitian_adapter_type == HermitianAdapterType::lower or
         interface::indexible_object_traits<std::decay_t<T>>::hermitian_adapter_type == HermitianAdapterType::upper :
       interface::indexible_object_traits<std::decay_t<T>>::hermitian_adapter_type == t)>> : std::true_type {};
  };
#endif


  template<typename T, HermitianAdapterType t = HermitianAdapterType::any>
#ifdef __cpp_concepts
  concept hermitian_adapter = hermitian_matrix<T, Applicability::permitted> and has_nested_object<T> and
    (t == HermitianAdapterType::any ?
     interface::indexible_object_traits<std::decay_t<T>>::hermitian_adapter_type == HermitianAdapterType::lower or
       interface::indexible_object_traits<std::decay_t<T>>::hermitian_adapter_type == HermitianAdapterType::upper :
     interface::indexible_object_traits<std::decay_t<T>>::hermitian_adapter_type == t);
#else
  constexpr bool hermitian_adapter = hermitian_matrix<T, Applicability::permitted> and has_nested_object<T> and
    detail::hermitian_adapter_impl<std::decay_t<T>, t>::value;
#endif


} // namespace OpenKalman

#endif //OPENKALMAN_HERMITIAN_ADAPTER_HPP