concept unit - kwikius/pqs GitHub Wiki

| Home | Concepts | Types |

A unit ¹ consists of a measurement_system, a dimension and a conversion_factor.

type	model of	notes
U, U1, U2	unit
Sm	measurement_system
D	dimension
Ds	simple_dimension
C	conversion_factor<...>

value	type	notes
u	U
u1	U1
u2	U2
n	rational number
b	bool

concept	notes
unit< U >

operation	result	requires	notes
u1 * u2	u	same_measurement_system(u1 , u2)
u1 / u2	u	same_measurement_system(u1 , u2)
u1 ^ n	u
u1 == u2	b
u1 != u2	b

alias_template	returns
get_simple_dimension< U >	Ds
get_measurement_system< U >	Sm
get_dimension< U >	D
get_conversion_factor< U >	C

inline_bool_constant	value	notes
impl::is_unit_impl< U >	true	Implies that U meets the requirements below

typestruct	returns	notes
impl::get_measurement_system_impl< U >	Sm	the measurement system for U
impl::get_dimension_impl< U >	D	the dimension of U
impl::get_conversion_factor_impl< U >	C	the conversion factor for U

• [1] https://en.wikipedia.org/wiki/Unit_of_measurement