get_index_pattern.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_GET_INDEX_PATTERN_HPP
#define OPENKALMAN_GET_INDEX_PATTERN_HPP

#include "patterns/patterns.hpp"
#include "linear-algebra/interfaces/interfaces-defined.hpp"
#include "linear-algebra/traits/count_indices.hpp"
#include "linear-algebra/traits/index_count.hpp"
#include "linear-algebra/traits/get_mdspan.hpp"
#include "linear-algebra/traits/get_pattern_collection.hpp"

namespace OpenKalman
{
#ifdef __cpp_concepts
  template<indexible T, values::index I = std::integral_constant<std::size_t, 0>>
  constexpr patterns::pattern decltype(auto)
#else
  template<typename T, typename I = std::integral_constant<std::size_t, 0>,
    std::enable_if_t<indexible<T> and values::index<I>, int> = 0>
  constexpr decltype(auto)
#endif
  get_index_pattern(T&& t, I i = {})
  {
    if constexpr (interface::get_pattern_collection_defined_for<std::remove_reference_t<T>>)
    {
      return patterns::get_pattern(get_pattern_collection(std::forward<T>(t)), std::move(i));
    }
    else if constexpr (values::size_compares_with<I, index_count<T>, &stdex::is_lt>)
    {
      constexpr auto ex = std::decay_t<decltype(get_mdspan(t))>::static_extent(i);
      if constexpr (ex == stdex::dynamic_extent)
        return get_mdspan(t).extent(static_cast<std::size_t>(i));
      else
        return patterns::Dimensions<ex>{};
    }
    else if constexpr (values::size_compares_with<I, index_count<T>, &stdex::is_gteq>)
    {
      return patterns::Dimensions<1>{};
    }
    else if (i < count_indices(t))
    {
      return get_mdspan(t).extent(static_cast<std::size_t>(i));
    }
    else
    {
      return 1_uz;
    }
  }


#ifdef __cpp_concepts
  template<std::size_t i, indexible T>
  constexpr patterns::pattern auto
#else
  template<std::size_t i, typename T, std::enable_if_t<indexible<T>, int> = 0>
  constexpr auto
#endif
  get_index_pattern(T&& t)
  {
    return get_index_pattern(t, std::integral_constant<std::size_t, i>{});
  }

}

#endif