concept base_quantity - kwikius/pqs GitHub Wiki

| Home | Concepts | Types |

A base quantity ¹ is a phenomenon considered fundamental within the measurement_universe.

type	model of	notes
Qb	base_quantity
Qba	base_quantity
Qbb	base_quantity
IdQb	base_quantity_id	The unique base quantity id for Qb
Eqb	base_quantity_exponent

type name	type template
R	ratio

concept	notes
base_quantity< Qb >
meta_totally_ordered<Qba,Qbb>	uses their base_quantity_ids to provide the sort order

typefunction	result	notes
get_base_quantity_id< Qb >	IdQb
make_base_quantity_exp< Qb, R>	Eqb	construct a base_quantity_exponent

concept	notes
identity_typestruct<Qb>

static_constant	result	notes
impl::is_base_quantity_impl<Qb>	true	states that Qb fulfills the requirements below

typestruct	result	notes
impl::get_base_quantity_id_impl< Qb >	IdQb
impl::make_base_quantity_exp_impl< IdQb, R>	Eqb	construct a base_quantity_exponent

• [1] https://en.wikipedia.org/wiki/International_System_of_Quantities#Base_quantities