Class Hierarchy
- java.lang.Object
- de.tilman_neumann.jml.precision.Magnitude
- de.tilman_neumann.jml.precision.MagnitudeTest
- de.tilman_neumann.jml.precision.Precision (implements java.lang.Comparable<T>)
- de.tilman_neumann.jml.precision.PrecisionTest
- de.tilman_neumann.jml.precision.Scale (implements java.lang.Comparable<T>)