OpenKalman
has_untyped_index.hpp
Go to the documentation of this file.
1 /* This file is part of OpenKalman, a header-only C++ library for
2  * Kalman filters and other recursive filters.
3  *
4  * Copyright (c) 2019-2023 Christopher Lee Ogden <ogden@gatech.edu>
5  *
6  * This Source Code Form is subject to the terms of the Mozilla Public
7  * License, v. 2.0. If a copy of the MPL was not distributed with this
8  * file, You can obtain one at https://mozilla.org/MPL/2.0/.
9  */
10 
16 #ifndef OPENKALMAN_HAS_UNTYPED_INDEX_HPP
17 #define OPENKALMAN_HAS_UNTYPED_INDEX_HPP
18 
19 
20 namespace OpenKalman
21 {
26 #ifdef __cpp_concepts
27  template<typename T, std::size_t N>
28  concept has_untyped_index =
29 #else
30  template<typename T, std::size_t N>
31  constexpr bool has_untyped_index =
32 #endif
33  coordinates::euclidean_pattern<vector_space_descriptor_of_t<T, N>>;
34 
35 
36 } // namespace OpenKalman
37 
38 #endif //OPENKALMAN_HAS_UNTYPED_INDEX_HPP
constexpr bool has_untyped_index
Specifies that T has an untyped index N.
Definition: has_untyped_index.hpp:31
The root namespace for OpenKalman.
Definition: basics.hpp:34