make_eigen_matrix.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) 2019-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_EIGEN_MATRIX_HPP
#define OPENKALMAN_MAKE_EIGEN_MATRIX_HPP


namespace OpenKalman::Eigen3
{
#ifdef __cpp_concepts
  template<values::number Scalar, std::size_t rows, std::size_t columns = 1, std::convertible_to<Scalar> ... Args>
    requires (rows != stdex::dynamic_extent) and (columns != stdex::dynamic_extent) and (sizeof...(Args) == rows * columns)
#else
  template<typename Scalar, std::size_t rows, std::size_t columns = 1, typename ... Args, std::enable_if_t<
    values::number<Scalar> and (stdex::convertible_to<Args, Scalar> and ...) and
    (rows != stdex::dynamic_extent) and (columns != stdex::dynamic_extent) and (sizeof...(Args) == rows * columns), int> = 0>
#endif
  inline auto
  make_eigen_matrix(const Args...args)
  {
    using M = Eigen3::eigen_matrix_t<Scalar, rows, columns>;
    std::tuple d_tup {Dimensions<rows>{}, Dimensions<columns>{}};
    return make_dense_object_from<M>(std::move(d_tup), static_cast<const Scalar>(args)...);
  }


#ifdef __cpp_concepts
  template<std::size_t rows, std::size_t columns = 1, values::number...Args> requires
    (rows != stdex::dynamic_extent) and (columns != stdex::dynamic_extent) and (sizeof...(Args) == rows * columns) and
    requires { requires values::number<std::common_type_t<Args...>>; }
#else
  template<std::size_t rows, std::size_t columns = 1, typename ... Args, std::enable_if_t<(values::number<Args> and ...) and
    (rows != stdex::dynamic_extent) and (columns != stdex::dynamic_extent) and (sizeof...(Args) == rows * columns), int> = 0>
#endif
  inline auto
  make_eigen_matrix(const Args...args)
  {
    return make_eigen_matrix<std::common_type_t<Args...>, rows, columns>(args...);
  }


#ifdef __cpp_concepts
  template<values::number Scalar, std::convertible_to<Scalar>...Args> requires (not std::is_void_v<Scalar>)
#else
  template<typename Scalar, typename ... Args, std::enable_if_t<
    values::number<Scalar> and (stdex::convertible_to<Args, Scalar> and ...) and (not std::is_void_v<Scalar>), int> = 0>
#endif
  inline auto
  make_eigen_matrix(const Args ... args)
  {
    return make_eigen_matrix<Scalar, sizeof...(Args), 1>(args...);
  }


#ifdef __cpp_concepts
  template<typename Scalar = void, values::number ... Args> requires (std::is_void_v<Scalar>) and
    requires { requires values::number<std::common_type_t<Args...>>; }
#else
  template<typename Scalar = void, typename ... Args, std::enable_if_t<(values::number<Args> and ...) and std::is_void_v<Scalar>, int> = 0>
#endif
  inline auto
  make_eigen_matrix(const Args...args)
  {
    return make_eigen_matrix<std::common_type_t<Args...>>(args...);
  }


}


#endif