PhysicalValuesDetails.hpp File Reference

#include "sequoia/Core/Meta/TypeAlgorithms.hpp"
#include "sequoia/Maths/Geometry/Spaces.hpp"

Go to the source code of this file.

Classes
struct	sequoia::physics::is_associated_displacement_space< Space >
struct	sequoia::physics::is_associated_displacement_space< associated_displacement_space< Space > >
struct	sequoia::physics::impl::type_counter< T, I >
struct	sequoia::physics::impl::count_and_combine<... >
struct	sequoia::physics::impl::count_and_combine< direct_product<> >
struct	sequoia::physics::impl::count_and_combine< T >
struct	sequoia::physics::impl::count_and_combine< direct_product< T > >
struct	sequoia::physics::impl::count_and_combine< direct_product< T, Ts... > >
struct	sequoia::physics::impl::count_and_combine< direct_product< T >, direct_product< type_counter< Us, Is >... > >
struct	sequoia::physics::impl::count_and_combine< direct_product< T, Ts... >, direct_product< type_counter< Us, Is >... > >
struct	sequoia::physics::impl::count_and_combine< S, direct_product< type_counter< T, I >, type_counter< Ts, Is >... > >
struct	sequoia::physics::impl::count_and_combine< dual< S >, direct_product< type_counter< T, I >, type_counter< Ts, Is >... > >
struct	sequoia::physics::impl::count_and_combine< T, direct_product< type_counter< T, I >, type_counter< Ts, Is >... > >
struct	sequoia::physics::impl::count_and_combine< dual< T >, direct_product< type_counter< T, I >, type_counter< Ts, Is >... > >
struct	sequoia::physics::impl::count_and_combine< associated_displacement_space< T >, direct_product< type_counter< T, I >, type_counter< Ts, Is >... > >
	Promote all T to associated_displacement_space<T> More...
struct	sequoia::physics::impl::count_and_combine< dual< associated_displacement_space< T > >, direct_product< type_counter< T, I >, type_counter< Ts, Is >... > >
	Promote all T to associated_displacement_space<T> More...
struct	sequoia::physics::impl::count_and_combine< dual< T >, direct_product< type_counter< associated_displacement_space< T >, I >, type_counter< Ts, Is >... > >
	Promote dual<T> to associated_displacement_space<T> More...
struct	sequoia::physics::impl::count_and_combine< dual< associated_displacement_space< T > >, direct_product< type_counter< dual< T >, I >, type_counter< Ts, Is >... > >
	Promote dual<T> to dual<associated_displacement_space<T>> More...
struct	sequoia::physics::impl::unpack<... >
struct	sequoia::physics::impl::unpack< type_counter< T, I > >
struct	sequoia::physics::impl::unpack< type_counter< T, I >, direct_product< Ts... > >
struct	sequoia::physics::impl::unpack< type_counter< T, 0 >, direct_product< Ts... > >
struct	sequoia::physics::impl::unpack< direct_product< type_counter< Ts, Is >... > >
struct	sequoia::physics::impl::potentially_prunable< class >
struct	sequoia::physics::impl::potentially_prunable< type_counter< T, 0 > >
struct	sequoia::physics::impl::potentially_prunable< type_counter< euclidean_vector_space< T, 1, Arena >, I > >
struct	sequoia::physics::impl::potentially_prunable< type_counter< dual< euclidean_vector_space< T, 1, Arena > >, I > >
struct	sequoia::physics::impl::potentially_prunable< type_counter< euclidean_half_space< T, Arena >, I > >
struct	sequoia::physics::impl::potentially_prunable< type_counter< dual< euclidean_half_space< T, Arena > >, I > >
struct	sequoia::physics::impl::potentially_prunable< type_counter< U, I > >
struct	sequoia::physics::impl::not_potentially_prunable< T >
struct	sequoia::physics::impl::reduce< direct_product< type_counter< U, 0 > > >
struct	sequoia::physics::impl::reduce< direct_product< type_counter< U, I > > >
struct	sequoia::physics::impl::reduce< direct_product< type_counter< Ts, Is >... > >
struct	sequoia::physics::impl::simplify< direct_product< Ts... > >
struct	sequoia::physics::impl::simplify< direct_product< Ts... >, direct_product< Us... > >
struct	sequoia::physics::impl::to_composite_space< reduction< direct_product< Ts... > > >
struct	sequoia::physics::impl::to_composite_space< reduction< direct_product< T > > >
struct	sequoia::maths::dual_of< physics::composite_space< Ts... > >
struct	sequoia::maths::dual_of< physics::composite_unit< Ts... > >

Concepts
concept	sequoia::physics::physical_unit

Typedefs
template<class Space >
using	sequoia::physics::is_associated_displacement_space_t = is_associated_displacement_space< Space >::type
template<class... Ts>
using	sequoia::physics::impl::count_and_combine_t = count_and_combine< Ts... >::type
template<class... Ts>
using	sequoia::physics::impl::unpack_t = unpack< Ts... >::type
template<class... Ts>
using	sequoia::physics::impl::reduce_t = reduce< Ts... >::type
template<class... Ts>
using	sequoia::physics::impl::simplify_t = simplify< Ts... >::type
template<class T >
using	sequoia::physics::impl::to_composite_space_t = to_composite_space< T >::type

Variables
template<class Space >
constexpr bool	sequoia::physics::is_associated_displacement_space_v {is_associated_displacement_space<Space>::value}
template<class T >
constexpr bool	sequoia::physics::identifies_as_unit_v
template<class T >
constexpr bool	sequoia::physics::impl::potentially_prunable_v {potentially_prunable<T>::value}

Variable Documentation

identifies_as_unit_v

template<class T >

constexpr bool sequoia::physics::identifies_as_unit_v

inlineconstexpr

Initial value:

{
    requires {
      typename T::is_unit;
      requires std::convertible_to<typename T::is_unit, std::true_type>;
    }
  }