from_stat_space.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) 2025 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_COLLECTIONS_FROM_STAT_SPACE_HPP
#define OPENKALMAN_COLLECTIONS_FROM_STAT_SPACE_HPP

#include <functional>
#include "collections/collections.hpp"
#include "coordinates/interfaces/coordinate_descriptor_traits.hpp"
#include "coordinates/concepts/descriptor.hpp"
#include "coordinates/concepts/descriptor_collection.hpp"
#include "coordinates/concepts/euclidean_pattern.hpp"
#include "coordinates/traits/stat_dimension_of.hpp"
#include "coordinates/functions/get_dimension.hpp"
#include "coordinates/functions/get_stat_dimension.hpp"

namespace OpenKalman::coordinates
{
#ifdef __cpp_concepts
  template<descriptor T, collections::collection R>
  constexpr collections::collection decltype(auto)
#else
  template<typename T, typename R, std::enable_if_t<descriptor<T> and collections::collection<R>, int> = 0>
  constexpr decltype(auto)
#endif
  from_stat_space(const T& t, R&& stat_data_view)
  {
    if constexpr (stat_dimension_of_v<T> != stdex::dynamic_extent and collections::size_of_v<R> != stdex::dynamic_extent)
      static_assert(stat_dimension_of_v<T> == collections::size_of_v<R>);

    if constexpr (euclidean_pattern<T>)
    {
      return std::forward<R>(stat_data_view);
    }
    else
    {
      using U = std::decay_t<stdex::unwrap_ref_decay_t<T>>;
      using Traits = interface::coordinate_descriptor_traits<U>;
      if constexpr (std::is_same_v<U, T>)
        return stdex::invoke(Traits::from_stat_space, t, std::forward<R>(stat_data_view));
      else
        return stdex::invoke(Traits::from_stat_space, t.get(), std::forward<R>(stat_data_view));
    }
  }


  namespace detail
  {
    template<std::size_t t_i = 0, std::size_t stat_data_view_i = 0, typename T, typename R, typename...Out>
    static constexpr auto
    from_stat_space_tuple(const T& t, const R& stat_data_view, Out...out)
    {
      if constexpr (t_i < collections::size_of_v<T>)
      {
        decltype(auto) t_elem = collections::get<t_i>(t);
        auto dim = get_stat_dimension(t_elem);
        auto data_view_sub = collections::views::slice(stat_data_view, std::integral_constant<std::size_t, stat_data_view_i>{}, dim);
        auto o = from_stat_space(t_elem, std::move(data_view_sub));
        return from_stat_space_tuple<t_i + 1, stat_data_view_i + values::fixed_value_of_v<decltype(dim)>>(
          t, stat_data_view, std::move(out)..., std::move(o));
      }
      else
      {
        return collections::views::concat(std::move(out)...);
      }
    }
  }


#ifdef __cpp_concepts
  template<descriptor_collection T, collections::collection R>
  constexpr collections::collection decltype(auto)
#else
  template<typename T, typename R, std::enable_if_t<descriptor_collection<T> and collections::collection<R>, int> = 0>
  constexpr decltype(auto)
#endif
  from_stat_space(const T& t, R&& stat_data_view)
  {
    if constexpr (stat_dimension_of_v<T> != stdex::dynamic_extent and collections::size_of_v<R> != stdex::dynamic_extent)
      static_assert(stat_dimension_of_v<T> == collections::size_of_v<R>);

    if constexpr (stat_dimension_of_v<T> == stdex::dynamic_extent)
    {
      std::vector<collections::common_collection_type_t<R>> data;
      data.reserve(get_dimension(t));
      std::size_t i = 0;
      for (auto& d : t)
      {
        auto dim = get_stat_dimension(d);
#if __cpp_lib_containers_ranges >= 202002L
        data.append_range(to_stat_space(d, collections::views::slice(stat_data_view, i, dim)));
#else
        auto sd = from_stat_space(d, collections::views::slice(stat_data_view, i, dim));
        data.insert(data.end(), sd.cbegin(), sd.cend());
#endif
        i += values::to_value_type(dim);
      }
      return data;
    }
    else //if constexpr (fixed_pattern<T>)
    {
      return detail::from_stat_space_tuple(t, stat_data_view);
    }
  }

}


#endif