make_vector_space_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) 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_VECTOR_SPACE_ADAPTER_HPP
#define OPENKALMAN_MAKE_VECTOR_SPACE_ADAPTER_HPP

namespace OpenKalman
{
#ifdef __cpp_concepts
  template<indexible Arg, pattern_collection Descriptors> requires
    internal::not_more_fixed_than<Arg, Descriptors> and (not internal::less_fixed_than<Arg, Descriptors>) and
    internal::maybe_same_shape_as_vector_space_descriptors<Arg, Descriptors>
#else
  template<typename Arg, typename Descriptors, std::enable_if_t<
    indexible<Arg> and pattern_collection<Descriptors> and
    internal::not_more_fixed_than<Arg, Descriptors> and (not internal::less_fixed_than<Arg, Descriptors>) and
    internal::maybe_same_shape_as_vector_space_descriptors<Arg, Descriptors>, int> = 0>
#endif
  inline auto make_vector_space_adapter(Arg&& arg, Descriptors&& descriptors)
  {
    if constexpr (fixed_pattern_tuple<Descriptors> and
        compatible_with_vector_space_descriptor_collection<Arg, Descriptors>)
      return std::forward<Arg>(arg);
    else
      return VectorSpaceAdapter {std::forward<Arg>(arg), internal::remove_trailing_1D_descriptors(std::forward<Descriptors>(descriptors))};
  }


#ifdef __cpp_concepts
  template<indexible Arg, coordinates::pattern...Ds> requires
    internal::not_more_fixed_than<Arg, std::tuple<Ds...>> and
    (not internal::less_fixed_than<Arg, std::tuple<Ds...>>) and
    internal::maybe_same_shape_as_vector_space_descriptors<Arg, std::tuple<Ds...>>
#else
  template<typename Arg, typename...Ds, std::enable_if_t<
    indexible<Arg> and (... and coordinates::pattern<Ds>) and
    internal::not_more_fixed_than<Arg, std::tuple<Ds...>> and
    (not internal::less_fixed_than<Arg, std::tuple<Ds...>>) and
    internal::maybe_same_shape_as_vector_space_descriptors<Arg, std::tuple<Ds...>>, int> = 0>
#endif
  inline auto make_vector_space_adapter(Arg&& arg, Ds&&...ds)
  {
    return make_vector_space_adapter(std::forward<Arg>(arg), std::tuple {std::forward<Ds>(ds)...});
  }


#ifdef __cpp_concepts
  template<fixed_pattern...Ds, indexible Arg> requires (not has_dynamic_dimensions<Arg>) and
    (sizeof...(Ds) > 0) and internal::maybe_same_shape_as_vector_space_descriptors<Arg, std::tuple<Ds...>>
#else
  template<typename...Ds, typename Arg, std::enable_if_t<
    indexible<Arg> and (... and fixed_pattern<Ds>) and
    (not has_dynamic_dimensions<Arg>) and (sizeof...(Ds) > 0) and
    internal::maybe_same_shape_as_vector_space_descriptors<Arg, std::tuple<Ds...>>, int> = 0>
#endif
  inline auto make_vector_space_adapter(Arg&& arg)
  {
    return make_vector_space_adapter(std::forward<Arg>(arg), std::tuple<Ds...>{});
  }


} // namespace OpenKalman

#endif //OPENKALMAN_MAKE_VECTOR_SPACE_ADAPTER_HPP