compares_with.hpp File Reference

Definition for compares_with. More...

#include "collections/collections.hpp"
#include "coordinates/concepts/pattern.hpp"
#include "coordinates/concepts/dynamic_pattern.hpp"
#include "coordinates/functions/compare_three_way.hpp"
#include "coordinates/traits/common_descriptor_type.hpp"

Include dependency graph for compares_with.hpp:

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

Go to the source code of this file.

Classes
struct	OpenKalman::coordinates::detail::same_descriptors< A, B, typename >
struct	OpenKalman::coordinates::detail::same_descriptors< A, B, std::enable_if_t< std::bool_constant< internal::get_descriptor_hash_code(A{})==internal::get_descriptor_hash_code(B{})>::value > >
struct	OpenKalman::coordinates::detail::different_descriptors< A, B, typename >
struct	OpenKalman::coordinates::detail::different_descriptors< A, B, std::enable_if_t< std::bool_constant< internal::get_descriptor_hash_code(A{}) !=internal::get_descriptor_hash_code(B{})>::value > >

Namespaces
	OpenKalman::coordinates
	The namespace for features relating to coordinates::pattern object.

Functions
template<auto comp, bool op_is_and = false, typename... Ords>
constexpr bool	OpenKalman::coordinates::detail::do_comps (Ords...ords)
constexpr std::size_t	OpenKalman::coordinates::detail::inc_bank (std::size_t bank, std::size_t inc)
template<typename A , typename B , auto comp, applicability app, std::size_t ia = 0, std::size_t ib = 0, std::size_t abank = 0, std::size_t bbank = 0>
constexpr bool	OpenKalman::coordinates::detail::compares_with_iter ()
template<typename T , typename U , auto comp, applicability a>
constexpr bool	OpenKalman::coordinates::detail::compares_with_impl ()

Variables
template<typename T , typename U , auto comp = &stdex::is_eq, applicability a = applicability::guaranteed>
constexpr bool	OpenKalman::coordinates::compares_with
	Compares two coordinates::pattern objects. More...

Detailed Description

Definition for compares_with.

Function Documentation

compares_with_impl()

template<typename T , typename U , auto comp, applicability a>

constexpr bool OpenKalman::coordinates::detail::compares_with_impl

(

)

– Either T or U is a descriptor

– Either T or U has no dimensions (e.g., they are unsized collections)

– Both T and U have dimensions (either fixed or dynamic)