make_dense_object.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-2024 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_DENSE_OBJECT_HPP
#define OPENKALMAN_MAKE_DENSE_OBJECT_HPP

namespace OpenKalman
{
#ifdef __cpp_concepts
  template<indexible T, data_layout layout = data_layout::none, values::number Scalar = scalar_type_of_t<T>, pattern_collection Descriptors>
    requires (layout != data_layout::stride) and
    interface::make_default_defined_for<T, layout, Scalar, decltype(internal::to_euclidean_pattern_collection(std::declval<Descriptors&&>()))>
  constexpr writable auto
#else
  template<typename T, data_layout layout = data_layout::none, typename Scalar = scalar_type_of_t<T>, typename Descriptors, std::enable_if_t<
    indexible<T> and values::number<Scalar> and pattern_collection<D> and (layout != data_layout::stride) and
    interface::make_default_defined_for<T, layout, Scalar, decltype(internal::to_euclidean_pattern_collection(std::declval<Descriptors&&>()))>, int> = 0>
  constexpr auto
#endif
  make_dense_object(Descriptors&& descriptors)
  {
    decltype(auto) d = coordinates::internal::strip_1D_tail(std::forward<Descriptors>(descriptors));
    using D = decltype(d);
    using Traits = interface::library_interface<stdex::remove_cvref_t<T>>;
    if constexpr (coordinates::euclidean_pattern_collection<D>)
    {
      return Traits::template make_default<layout, Scalar>(std::forward<D>(d));
    }
    else
    {
      auto ed = internal::to_euclidean_pattern_collection(d);
      return attach_pattern(Traits::template make_default<layout, Scalar>(ed), std::forward<D>(d));
    }
  }


#ifdef __cpp_concepts
  template<indexible T, data_layout layout = data_layout::none, values::number Scalar = scalar_type_of_t<T>, coordinates::pattern...Ds>
    requires (layout != data_layout::stride) and
    interface::make_default_defined_for<T, layout, Scalar, decltype(std::tuple {get_dimension(std::declval<Ds&&>())...})>
  constexpr writable auto
#else
  template<typename T, data_layout layout = data_layout::none, typename Scalar = scalar_type_of_t<T>, typename...Ds, std::enable_if_t<
    indexible<T> and values::number<Scalar> and (... and coordinates::pattern<Ds>) and (layout != data_layout::stride) and
    interface::make_default_defined_for<T, layout, Scalar, std::tuple<Ds&&...>>, int> = 0>
  constexpr auto
#endif
  make_dense_object(Ds&&...ds)
  {
    return make_dense_object<T, layout, Scalar>(std::tuple {std::forward<Ds>(ds)...});
  }


}

#endif