Uses of Class
org.jmlspecs.models.JMLFloat

Packages that use JMLFloat

org.jmlspecs.models

This package is a collection of types with immutable objects; it also enumerators (which have mutable objects) for the types of the immutable collections in the package.

Uses of JMLFloat in org.jmlspecs.models

Methods in org.jmlspecs.models that return JMLFloat

JMLFloat	JMLFloat.negated() Return the negation of this.
JMLFloat	JMLFloat.plus(JMLFloat f2) Return the sum of this and the given argument.
JMLFloat	JMLFloat.minus(JMLFloat f2) Return the difference between this and the given argument.
JMLFloat	JMLFloat.times(JMLFloat f2) Return the product of this and the given argument.
JMLFloat	JMLFloat.dividedBy(JMLFloat f2) Return the quotient of this divided by the given argument.
JMLFloat	JMLFloat.remainderBy(JMLFloat f2) Return the remainder of this divided by the given argument.

Methods in org.jmlspecs.models with parameters of type JMLFloat

JMLFloat	JMLFloat.plus(JMLFloat f2) Return the sum of this and the given argument.
JMLFloat	JMLFloat.minus(JMLFloat f2) Return the difference between this and the given argument.
JMLFloat	JMLFloat.times(JMLFloat f2) Return the product of this and the given argument.
JMLFloat	JMLFloat.dividedBy(JMLFloat f2) Return the quotient of this divided by the given argument.
JMLFloat	JMLFloat.remainderBy(JMLFloat f2) Return the remainder of this divided by the given argument.
boolean	JMLFloat.greaterThan(JMLFloat f2) Tell whether this is strictly greater than the given argument.
boolean	JMLFloat.lessThan(JMLFloat f2) Tell whether this is strictly less than the given argument.
boolean	JMLFloat.greaterThanOrEqualTo(JMLFloat f2) Tell whether this is greater than or equal to the given argument.
boolean	JMLFloat.lessThanOrEqualTo(JMLFloat f2) Tell whether this is less than or equal to the given argument.
boolean	JMLFloat.withinEpsilonOf(JMLFloat f2, float epsilon) Tell whether absolute value of difference of this JMLFloat and the arg is within the given epsilon.
boolean	JMLFloat.approximatelyEqualTo(JMLFloat f2, float epsilon) Tell whether relative difference of this JMLFloat and the arg is within the given epsilon.
static boolean	JMLFloat.withinEpsilonOf(JMLFloat f1, JMLFloat f2, float epsilon) Tell whether absolute value of difference of this JMLFloat and the arg is within the given epsilon.
static boolean	JMLFloat.approximatelyEqualTo(JMLFloat f1, JMLFloat f2, float epsilon) Tell whether relative difference of this JMLFloat and the arg is within the given epsilon.
static boolean	JMLFloat.withinEpsilonOf(JMLFloat f1, Float f2, float epsilon) Tell whether absolute value of difference of this JMLFloat and the arg is within the given epsilon.
static boolean	JMLFloat.approximatelyEqualTo(JMLFloat f1, Float f2, float epsilon) Tell whether relative difference of this JMLFloat and the arg is within the given epsilon.
static boolean	JMLFloat.withinEpsilonOf(JMLFloat f1, float f2, float epsilon) Tell whether absolute value of difference of this JMLFloat and the arg is within the given epsilon.
static boolean	JMLFloat.approximatelyEqualTo(JMLFloat f1, float f2, float epsilon) Tell whether relative difference of this JMLFloat and the arg is within the given epsilon.