Skip to content

Commit

Permalink
[quantities] Prepend :: to mp_units::
Browse files Browse the repository at this point in the history
  • Loading branch information
@JohelEGP
JohelEGP committed Dec 7, 2024
1 parent e9d9b53 commit 84d4e2b
Showing 1 changed file with 39 additions and 39 deletions.
78 changes: 39 additions & 39 deletions docs/api_reference/src/quantities.tex
View file
Original file line number Diff line number Diff line change
Expand Up @@ -3950,9 +3950,9 @@
{ a * s } -> std::common_with<T>;
{ s * a } -> std::common_with<T>;
{ a / s } -> std::common_with<T>;
mp_units::real(a);
mp_units::imag(a);
mp_units::modulus(a);
::mp_units::real(a);
::mp_units::imag(a);
::mp_units::modulus(a);
};
\end{itemdecl}
Expand All @@ -3971,7 +3971,7 @@
{ a * s } -> std::common_with<T>;
{ s * a } -> std::common_with<T>;
{ a / s } -> std::common_with<T>;
mp_units::magnitude(a);
::mp_units::magnitude(a);
};
\end{itemdecl}
Expand Down Expand Up @@ -4240,7 +4240,7 @@
constexpr quantity(FwdValue&& v, R2);
template<@\exposconceptnc{ValuePreservingTo}@<Rep> FwdValue>
requires(unit == mp_units::one)
requires(unit == ::mp_units::one)
constexpr quantity(FwdValue&& v);
template<@\exposconceptnc{QuantityConvertibleTo}@<quantity> Q>
Expand All @@ -4254,7 +4254,7 @@
quantity& operator=(quantity&&) = default;
template<@\exposconceptnc{ValuePreservingTo}@<Rep> FwdValue>
requires(unit == mp_units::one)
requires(unit == ::mp_units::one)
constexpr quantity& operator=(FwdValue&& v);
// \ref{qty.conv}, conversions
Expand Down Expand Up @@ -4309,7 +4309,7 @@
// \ref{qty.conv.ops}, conversion operations
template<typename V_, std::@\stdconcept{constructible_from}@<Rep> Value = std::remove_cvref_t<V_>>
requires(unit == mp_units::one)
requires(unit == ::mp_units::one)
explicit operator V_() const & noexcept;
template<typename Q_, @\libconcept{QuantityLike}@ Q = std::remove_cvref_t<Q_>>
Expand Down Expand Up @@ -4375,28 +4375,28 @@
friend constexpr @\libconcept{Quantity}@ auto operator%(const Q& lhs, const quantity<R2, Rep2>& rhs);
template<std::@\stdconcept{derived_from}@<quantity> Q, @\libconcept{Representation}@ Value>
requires(Q::unit == mp_units::one) &&
requires(Q::unit == ::mp_units::one) &&
@\exposconceptnc{InvokeResultOf}@<quantity_spec, std::plus<>, Rep, const Value&>
friend constexpr @\libconcept{Quantity}@ auto operator+(const Q& lhs, const Value& rhs);
template<std::@\stdconcept{derived_from}@<quantity> Q, @\libconcept{Representation}@ Value>
requires(Q::unit == mp_units::one) &&
requires(Q::unit == ::mp_units::one) &&
@\exposconceptnc{InvokeResultOf}@<quantity_spec, std::minus<>, Rep, const Value&>
friend constexpr @\libconcept{Quantity}@ auto operator-(const Q& lhs, const Value& rhs);
template<std::@\stdconcept{derived_from}@<quantity> Q, @\libconcept{Representation}@ Value>
requires(Q::unit == mp_units::one) &&
requires(Q::unit == ::mp_units::one) &&
@\exposconceptnc{InvokeResultOf}@<quantity_spec, std::modulus<>, Rep, const Value&>
friend constexpr @\libconcept{Quantity}@ auto operator%(const Q& lhs, const Value& rhs);
template<std::@\stdconcept{derived_from}@<quantity> Q, @\libconcept{Representation}@ Value>
requires(Q::unit == mp_units::one) &&
requires(Q::unit == ::mp_units::one) &&
@\exposconceptnc{InvokeResultOf}@<quantity_spec, std::plus<>, Rep, const Value&>
friend constexpr @\libconcept{Quantity}@ auto operator+(const Value& lhs, const Q& rhs);
template<std::@\stdconcept{derived_from}@<quantity> Q, @\libconcept{Representation}@ Value>
requires(Q::unit == mp_units::one) &&
requires(Q::unit == ::mp_units::one) &&
@\exposconceptnc{InvokeResultOf}@<quantity_spec, std::minus<>, Rep, const Value&>
friend constexpr @\libconcept{Quantity}@ auto operator-(const Value& lhs, const Q& rhs);
template<std::@\stdconcept{derived_from}@<quantity> Q, @\libconcept{Representation}@ Value>
requires(Q::unit == mp_units::one) &&
requires(Q::unit == ::mp_units::one) &&
@\exposconceptnc{InvokeResultOf}@<quantity_spec, std::modulus<>, Rep, const Value&>
friend constexpr @\libconcept{Quantity}@ auto operator%(const Value& lhs, const Q& rhs);
Expand Down Expand Up @@ -4509,7 +4509,7 @@
constexpr quantity(FwdValue&& v, R2);
template<@\exposconceptnc{ValuePreservingTo}@<Rep> FwdValue>
requires(unit == mp_units::one)
requires(unit == ::mp_units::one)
constexpr quantity(FwdValue&& v);
\end{itemdecl}
Expand Down Expand Up @@ -4558,8 +4558,8 @@
\effects
Equivalent to:
\begin{codeblock}
quantity(mp_units::quantity{quantity_like_traits<Q>::to_numerical_value(q),
quantity_like_traits<Q>::reference})
quantity(::mp_units::quantity{quantity_like_traits<Q>::to_numerical_value(q),
quantity_like_traits<Q>::reference})
\end{codeblock}
\pnum
Expand All @@ -4574,7 +4574,7 @@
\indexlibrarymember{operator=}{quantity}
\begin{itemdecl}
template<@\exposconceptnc{ValuePreservingTo}@<Rep> FwdValue>
requires(unit == mp_units::one)
requires(unit == ::mp_units::one)
constexpr quantity& operator=(FwdValue&& v);
\end{itemdecl}
Expand Down Expand Up @@ -4730,7 +4730,7 @@
\indexlibrarymisc{\idxcode{quantity}}{\idxcode{operator constructible_from<Rep>}}
\begin{itemdecl}
template<typename V_, std::@\stdconcept{constructible_from}@<Rep> Value = std::remove_cvref_t<V_>>
requires(unit == mp_units::one)
requires(unit == ::mp_units::one)
explicit operator V_() const & noexcept;
\end{itemdecl}
Expand Down Expand Up @@ -4789,7 +4789,7 @@
\pnum
\effects
Equivalent to:
\tcode{return mp_units::quantity\{@\exposidnc{numerical-value}, reference\};}
\tcode{return ::mp_units::quantity\{@\exposidnc{numerical-value}, reference\};}
\pnum
\remarks
Expand Down Expand Up @@ -4845,7 +4845,7 @@
\pnum
\effects
Equivalent to:
\tcode{return mp_units::quantity\{\exposid{numerical-value}@, reference\};}
\tcode{return ::mp_units::quantity\{\exposid{numerical-value}@, reference\};}
\pnum
\remarks
Expand Down Expand Up @@ -4971,7 +4971,7 @@
\remarks
The expression in the \fakegrammarterm{requires-clause} is equivalent to:
\begin{codeblock}
(Q2::unit == mp_units::one) && @\exposconceptnc{ValuePreservingTo}@<typename Q2::rep, Rep> &&
(Q2::unit == ::mp_units::one) && @\exposconceptnc{ValuePreservingTo}@<typename Q2::rep, Rep> &&
requires(rep& a, const Q2::rep b) {
{ a @\atsign@ b } -> std::@\stdconcept{same_as}@<rep&>;
}
Expand Down Expand Up @@ -5015,7 +5015,7 @@
using ret = @\exposidnc{common-quantity-for}@<@\placeholdernc{F}@, quantity, quantity<R2, Rep2>>;
const ret ret_lhs(lhs);
const ret ret_rhs(rhs);
return mp_units::quantity{
return ::mp_units::quantity{
ret_lhs.numerical_value_ref_in(ret::unit) @\atsign@ ret_rhs.numerical_value_ref_in(ret::unit),
ret::reference};
\end{codeblock}
Expand All @@ -5026,15 +5026,15 @@
\indexlibrarymember{operator\%}{quantity}
\begin{itemdecl}
template<std::@\stdconcept{derived_from}@<quantity> Q, @\libconcept{Representation}@ Value>
requires(Q::unit == mp_units::one) &&
requires(Q::unit == ::mp_units::one) &&
@\exposconceptnc{InvokeResultOf}@<quantity_spec, std::plus<>, Rep, const Value&>
friend constexpr @\libconcept{Quantity}@ auto operator+(const Q& lhs, const Value& rhs);
template<std::@\stdconcept{derived_from}@<quantity> Q, @\libconcept{Representation}@ Value>
requires(Q::unit == mp_units::one) &&
requires(Q::unit == ::mp_units::one) &&
@\exposconceptnc{InvokeResultOf}@<quantity_spec, std::minus<>, Rep, const Value&>
friend constexpr @\libconcept{Quantity}@ auto operator-(const Q& lhs, const Value& rhs);
template<std::@\stdconcept{derived_from}@<quantity> Q, @\libconcept{Representation}@ Value>
requires(Q::unit == mp_units::one) &&
requires(Q::unit == ::mp_units::one) &&
@\exposconceptnc{InvokeResultOf}@<quantity_spec, std::modulus<>, Rep, const Value&>
friend constexpr @\libconcept{Quantity}@ auto operator%(const Q& lhs, const Value& rhs);
\end{itemdecl}
Expand All @@ -5043,23 +5043,23 @@
\pnum
\effects
Equivalent to:
\tcode{return lhs @ mp_units::quantity\{rhs\};}
\tcode{return lhs @ ::mp_units::quantity\{rhs\};}
\end{itemdescr}
\indexlibrarymember{operator+}{quantity}
\indexlibrarymember{operator-}{quantity}
\indexlibrarymember{operator\%}{quantity}
\begin{itemdecl}
template<std::@\stdconcept{derived_from}@<quantity> Q, @\libconcept{Representation}@ Value>
requires(Q::unit == mp_units::one) &&
requires(Q::unit == ::mp_units::one) &&
@\exposconceptnc{InvokeResultOf}@<quantity_spec, std::plus<>, Rep, const Value&>
friend constexpr @\libconcept{Quantity}@ auto operator+(const Value& lhs, const Q& rhs);
template<std::@\stdconcept{derived_from}@<quantity> Q, @\libconcept{Representation}@ Value>
requires(Q::unit == mp_units::one) &&
requires(Q::unit == ::mp_units::one) &&
@\exposconceptnc{InvokeResultOf}@<quantity_spec, std::minus<>, Rep, const Value&>
friend constexpr @\libconcept{Quantity}@ auto operator-(const Value& lhs, const Q& rhs);
template<std::@\stdconcept{derived_from}@<quantity> Q, @\libconcept{Representation}@ Value>
requires(Q::unit == mp_units::one) &&
requires(Q::unit == ::mp_units::one) &&
@\exposconceptnc{InvokeResultOf}@<quantity_spec, std::modulus<>, Rep, const Value&>
friend constexpr @\libconcept{Quantity}@ auto operator%(const Value& lhs, const Q& rhs);
\end{itemdecl}
Expand All @@ -5068,7 +5068,7 @@
\pnum
\effects
Equivalent to:
\tcode{return mp_units::quantity\{lhs\} @ rhs;}
\tcode{return ::mp_units::quantity\{lhs\} @ rhs;}
\end{itemdescr}
\indexlibrarymember{operator*}{quantity}
Expand All @@ -5091,7 +5091,7 @@
\effects
Equivalent to:
\begin{codeblock}
return mp_units::quantity{
return ::mp_units::quantity{
lhs.numerical_value_ref_in(unit) @\atsign@ rhs.numerical_value_ref_in(rhs.unit), R @\atsign@ R2};
\end{codeblock}
\end{itemdescr}
Expand All @@ -5118,7 +5118,7 @@
\effects
Equivalent to:
\begin{codeblock}
return mp_units::quantity{lhs.numerical_value_ref_in(unit) @\atsign@ rhs, R};
return ::mp_units::quantity{lhs.numerical_value_ref_in(unit) @\atsign@ rhs, R};
\end{codeblock}
\end{itemdescr}
Expand All @@ -5144,7 +5144,7 @@
\effects
Equivalent to:
\begin{codeblock}
return mp_units::quantity{lhs @\atsign@ rhs.numerical_value_ref_in(unit), mp_units::one @\atsign@ R};
return ::mp_units::quantity{lhs @\atsign@ rhs.numerical_value_ref_in(unit), ::mp_units::one @\atsign@ R};
\end{codeblock}
\end{itemdescr}
Expand Down Expand Up @@ -5216,7 +5216,7 @@
\remarks
The expression in the \fakegrammarterm{requires-clause} is equivalent to:
\begin{codeblock}
(Q::unit == mp_units::one) && @\placeholder{C}@<Rep, Value>
(Q::unit == ::mp_units::one) && @\placeholder{C}@<Rep, Value>
\end{codeblock}
\end{itemdescr}
Expand Down Expand Up @@ -6067,7 +6067,7 @@
if constexpr (std::is_same_v<NewPO, decltype(point_origin)>)
return *this;
else
return mp_units::quantity_point{*this - new_origin, new_origin};
return ::mp_units::quantity_point{*this - new_origin, new_origin};
\end{codeblock}
\end{itemdescr}
Expand Down Expand Up @@ -6110,7 +6110,7 @@
\effects
Equivalent to:
\begin{codeblock}
return mp_units::quantity_point{@\placeholdernc{converted-quantity-expr}@, point_origin};
return ::mp_units::quantity_point{@\placeholdernc{converted-quantity-expr}@, point_origin};
\end{codeblock}
\pnum
Expand Down Expand Up @@ -6347,9 +6347,9 @@
Equivalent to:
\begin{codeblock}
if constexpr (@\exposidnc{is-specialization-of}@<PO, zeroth_point_origin>())
return mp_units::quantity_point{qp.quantity_ref_from(PO) @\atsign@ q};
return ::mp_units::quantity_point{qp.quantity_ref_from(PO) @\atsign@ q};
else
return mp_units::quantity_point{qp.quantity_ref_from(PO) @\atsign@ q, PO};
return ::mp_units::quantity_point{qp.quantity_ref_from(PO) @\atsign@ q, PO};
\end{codeblock}
\pnum
Expand Down Expand Up @@ -6410,7 +6410,7 @@
if constexpr (point_origin == po)
return qp.quantity_ref_from(point_origin);
else if constexpr (@\exposidnc{is-derived-from-specialization-of}@<PO2,
mp_units::absolute_point_origin>()) {
::mp_units::absolute_point_origin>()) {
return qp.quantity_ref_from(point_origin) + (qp.point_origin - qp.absolute_point_origin);
} else {
return qp.quantity_ref_from(point_origin) -
Expand Down

0 comments on commit 84d4e2b

Please sign in to comment.