Online Eiffel Documentation
EiffelStudio

Ratio metrics

Notation: a / b

Applicability: a and b are metrics, not necessarily with the same unit.

Semantics: division

Resulting unit: Ratio

Note that the presence of both linear combinations and ratios make it possible to define any metric of the form

E ki.mi / E li.ni

in terms of elementary metrics mi, ni.

The metric tool provides a command for defining ratio metrics.

See Also
Defining ratio metrics