Uses of Class
org.jmlspecs.models.JMLDouble

Packages that use JMLDouble

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 JMLDouble in org.jmlspecs.models

Methods in org.jmlspecs.models that return JMLDouble

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

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

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