make_fixed_size_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) 2022-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_MAKE_FIXED_SIZE_ADAPTER_HPP
#define OPENKALMAN_MAKE_FIXED_SIZE_ADAPTER_HPP

namespace OpenKalman::internal
{
  namespace detail
  {
    template<typename DTup, typename Arg, std::size_t...Ix>
    constexpr decltype(auto)
    make_fixed_size_adapter_impl(Arg&& arg, std::index_sequence<Ix...> seq)
    {
      return FixedSizeAdapter<Arg,
        std::tuple<decltype(best_vector_space_descriptor(get_vector_space_descriptor(std::declval<Arg>(), Ix),
          std::get<Ix>(std::declval<DTup>())))...>> {std::forward<Arg>(arg)};
    }
  } // namespace detail


#ifdef __cpp_concepts
  template<pattern_tuple Descriptors, compatible_with_vector_space_descriptor_collection<Descriptors> Arg>
#else
  template<typename Descriptors, typename Arg, std::enable_if_t<pattern_tuple<Descriptors> and
    compatible_with_vector_space_descriptor_collection<Arg, Descriptors>, int> = 0>
#endif
  constexpr decltype(auto)
  make_fixed_size_adapter(Arg&& arg)
  {
    if constexpr (fixed_size_adapter<Arg>)
    {
      return make_fixed_size_adapter<Descriptors>(nested_object(std::forward<Arg>(arg)));
    }
    else if constexpr (internal::less_fixed_than<Arg, Descriptors>)
    {
      using DTup = std::decay_t<decltype(remove_trailing_1D_descriptors(std::declval<Descriptors>()))>;
      std::make_index_sequence<std::tuple_size_v<DTup>> seq {};
      return detail::make_fixed_size_adapter_impl<DTup>(std::forward<Arg>(arg), seq);
    }
    else
    {
      return std::forward<Arg>(arg);
    }
  }


#ifdef __cpp_concepts
  template<coordinates::pattern...Ds, compatible_with_vector_space_descriptor_collection<std::tuple<Ds...>> Arg>
#else
  template<typename...Ds, typename Arg, std::enable_if_t<(... and coordinates::pattern<Ds>) and
    compatible_with_vector_space_descriptor_collection<Arg, std::tuple<Ds...>>, int> = 0>
#endif
  constexpr decltype(auto)
  make_fixed_size_adapter(Arg&& arg)
  {
    return make_fixed_size_adapter<std::tuple<Ds...>>(std::forward<Arg>(arg));
  }


#ifdef __cpp_concepts
  template<indexible Arg, pattern_tuple Descriptors>
    requires compatible_with_vector_space_descriptor_collection<Arg, Descriptors>
#else
  template<typename Arg, typename Descriptors, std::enable_if_t<indexible<Arg> and pattern_tuple<Descriptors> and
    compatible_with_vector_space_descriptor_collection<Arg, Descriptors>, int> = 0>
#endif
  constexpr decltype(auto)
  make_fixed_size_adapter(Arg&& arg, Descriptors&&)
  {
    return make_fixed_size_adapter<Descriptors>(std::forward<Arg>(arg));
  }


} // namespace OpenKalman::internal

#endif //OPENKALMAN_MAKE_FIXED_SIZE_ADAPTER_HPP