make_zero.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_ZERO_HPP
#define OPENKALMAN_MAKE_ZERO_HPP

#include "make_constant.hpp"

namespace OpenKalman
{
#ifdef __cpp_concepts
  template<values::value C, patterns::pattern_collection P> requires values::fixed<collections::size_of<P>>
  constexpr zero auto
#else
  template<typename C, typename P, std::enable_if_t<values::value<C> and
    patterns::pattern_collection<P> and values::fixed<collections::size_of<P>>, int> = 0>
  constexpr auto
#endif
  make_zero(P&& p)
  {
    return make_constant(values::fixed_value<C, 0>{}, std::forward<P>(p));
  }


#ifdef __cpp_concepts
  template<values::value C, patterns::pattern...Ps>
  constexpr constant_object auto
#else
  template<typename C, typename...Ps, std::enable_if_t<values::value<C> and (... and patterns::pattern<Ps>), int> = 0>
  constexpr auto
#endif
  make_zero(Ps&&...ps)
    {
      return make_zero<C>(std::tuple{std::forward<Ps>(ps)...});
    }


#ifdef __cpp_concepts
  template<values::value C, patterns::pattern_collection P> requires
    std::default_initializable<P> and
    values::fixed<collections::size_of<P>>
  constexpr constant_object auto
#else
  template<typename C, typename P, std::enable_if_t<
    patterns::pattern_collection<P> and
    values::value<C> and
    values::fixed<collections::size_of<P>>, int> = 0>
  constexpr auto
#endif
  make_zero()
  {
    return make_zero<C>(P{});
  }



}

#endif