maybe_same_shape_as_vector_space_descriptors.hpp File Reference

Definition for maybe_same_shape_as_vector_space_descriptors. More...

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Variables
template<typename T , typename Descriptors >
constexpr bool	OpenKalman::internal::maybe_same_shape_as_vector_space_descriptors
	Specifies that it is not ruled out, at compile time, that T has dimensions corresponding to a pattern_collection. More...

Detailed Description

Definition for maybe_same_shape_as_vector_space_descriptors.

Variable Documentation

maybe_same_shape_as_vector_space_descriptors

template<typename T , typename Descriptors >

constexpr bool OpenKalman::internal::maybe_same_shape_as_vector_space_descriptors

Initial value:

=
    indexible<T> and pattern_collection<Descriptors> and
    (not pattern_tuple<Descriptors> or
      (detail::maybe_same_shape_impl<T, Descriptors>(std::make_index_sequence<std::tuple_size_v<Descriptors>>{}) and
        (index_count_v<T> == dynamic_size or index_count_v<T> <= std::tuple_size_v<Descriptors> or
          detail::maybe_same_shape_ext<T, Descriptors>(std::make_index_sequence<index_count_v<T> - std::tuple_size_v<Descriptors>>{}))))

Specifies that it is not ruled out, at compile time, that T has dimensions corresponding to a pattern_collection.

Two dimensions are considered the same if their coordinates::pattern are equivalent.

Template Parameters

T	an indexible object
Ds	a set of vector space descriptors

See also

vector_space_descriptors_may_match_with