OpenKalman
vector_space_descriptors_match_with.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-2024 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_VECTOR_SPACE_DESCRIPTORS_MATCH_WITH_HPP
17 #define OPENKALMAN_VECTOR_SPACE_DESCRIPTORS_MATCH_WITH_HPP
18 
19 
20 namespace OpenKalman
21 {
28  template<typename...Ts>
29 #ifdef __cpp_concepts
31 #else
32  constexpr bool vector_space_descriptors_match_with =
33 #endif
34  vector_space_descriptors_may_match_with<Ts...> and ((not has_dynamic_dimensions<Ts>) and ...);
35 
36 
37 } // namespace OpenKalman
38 
39 #endif //OPENKALMAN_VECTOR_SPACE_DESCRIPTORS_MATCH_WITH_HPP
constexpr bool vector_space_descriptors_match_with
Specifies that a set of indexible objects have equivalent vector space descriptors for each index...
Definition: vector_space_descriptors_match_with.hpp:32
The root namespace for OpenKalman.
Definition: basics.hpp:34
constexpr bool vector_space_descriptors_may_match_with
Specifies that indexible objects Ts may have equivalent dimensions and vector-space types...
Definition: vector_space_descriptors_may_match_with.hpp:49