Uses of Interface
org.jmlspecs.models.JMLInfiniteInteger

Packages that use JMLInfiniteInteger

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

Classes in org.jmlspecs.models that implement JMLInfiniteInteger

class	JMLFiniteInteger Arbitrary precision integers with a finite value.
class	JMLInfiniteIntegerClass Class with common code to implement JMLInfiniteInteger.
class	JMLNegativeInfinity Negative Infinity.
class	JMLPositiveInfinity Positive Infinity.

Methods in org.jmlspecs.models that return JMLInfiniteInteger

JMLInfiniteInteger	JMLInfiniteIntegerClass.abs() Return the absolute value of this integer.
JMLInfiniteInteger	JMLInfiniteIntegerClass.max(JMLInfiniteInteger n) Return the maximum of this integer and the argument.
JMLInfiniteInteger	JMLInfiniteIntegerClass.min(JMLInfiniteInteger n)
abstract JMLInfiniteInteger	JMLInfiniteInteger.abs() Return the absolute value of this integer.
abstract JMLInfiniteInteger	JMLInfiniteInteger.max(JMLInfiniteInteger n) Return the maximum of this integer and the argument.
abstract JMLInfiniteInteger	JMLInfiniteInteger.min(JMLInfiniteInteger n) Return the minimum of this integer and the argument.
abstract JMLInfiniteInteger	JMLInfiniteInteger.negate() Return the negation of this integer.
abstract JMLInfiniteInteger	JMLInfiniteInteger.add(JMLInfiniteInteger n) Return the sum of this integer and the argument.
abstract JMLInfiniteInteger	JMLInfiniteInteger.subtract(JMLInfiniteInteger n) Return the difference between this integer and the argument.
abstract JMLInfiniteInteger	JMLInfiniteInteger.multiply(JMLInfiniteInteger n) Return the product of this integer and the argument.
abstract JMLInfiniteInteger	JMLInfiniteInteger.divide(JMLInfiniteInteger n) Return the quotient of this integer divided by the argument.
abstract JMLInfiniteInteger	JMLInfiniteInteger.remainder(JMLInfiniteInteger n) Return the remainder of this integer divided by the argument.
abstract JMLInfiniteInteger	JMLInfiniteInteger.mod(JMLInfiniteInteger n) Return this integer modulo the argument.
abstract JMLInfiniteInteger	JMLInfiniteInteger.pow(int n) Return this integer raised to the argument's power.
JMLInfiniteInteger	JMLPositiveInfinity.negate() Return negative infinity.
JMLInfiniteInteger	JMLPositiveInfinity.add(JMLInfiniteInteger n) Return the sum of this integer and the argument.
JMLInfiniteInteger	JMLPositiveInfinity.subtract(JMLInfiniteInteger n) Return the difference between this integer and the argument.
JMLInfiniteInteger	JMLPositiveInfinity.multiply(JMLInfiniteInteger n) Return the product of this integer and the argument.
JMLInfiniteInteger	JMLPositiveInfinity.divide(JMLInfiniteInteger n) Return the quotient of this integer divided by the argument.
JMLInfiniteInteger	JMLPositiveInfinity.remainder(JMLInfiniteInteger n) Return the remainder of this integer divided by the argument.
JMLInfiniteInteger	JMLPositiveInfinity.mod(JMLInfiniteInteger n) Return this integer modulo the argument.
JMLInfiniteInteger	JMLPositiveInfinity.pow(int n) Return this integer raised to the argument's power.
JMLInfiniteInteger	JMLFiniteInteger.negate() Return the negation of this integer.
JMLInfiniteInteger	JMLFiniteInteger.add(JMLInfiniteInteger n) Return the sum of this integer and the argument.
JMLInfiniteInteger	JMLFiniteInteger.subtract(JMLInfiniteInteger n) Return the difference between this integer and the argument.
JMLInfiniteInteger	JMLFiniteInteger.multiply(JMLInfiniteInteger n) Return the product of this integer and the argument.
JMLInfiniteInteger	JMLFiniteInteger.divide(JMLInfiniteInteger n) Return the quotient of this integer divided by the argument.
JMLInfiniteInteger	JMLFiniteInteger.remainder(JMLInfiniteInteger n) Return the remainder of this integer divided by the argument.
JMLInfiniteInteger	JMLFiniteInteger.mod(JMLInfiniteInteger n) Return this integer modulo the argument.
JMLInfiniteInteger	JMLFiniteInteger.pow(int n) Return this integer raised to the argument's power.
JMLInfiniteInteger	JMLNegativeInfinity.negate() Return positive infinity.
JMLInfiniteInteger	JMLNegativeInfinity.add(JMLInfiniteInteger n) Return the sum of this integer and the argument.
JMLInfiniteInteger	JMLNegativeInfinity.subtract(JMLInfiniteInteger n) Return the difference between this integer and the argument.
JMLInfiniteInteger	JMLNegativeInfinity.multiply(JMLInfiniteInteger n) Return the product of this integer and the argument.
JMLInfiniteInteger	JMLNegativeInfinity.divide(JMLInfiniteInteger n) Return the quotient of this integer divided by the argument.
JMLInfiniteInteger	JMLNegativeInfinity.remainder(JMLInfiniteInteger n) Return the remainder of this integer divided by the argument.
JMLInfiniteInteger	JMLNegativeInfinity.mod(JMLInfiniteInteger n) Return this integer modulo the argument.
JMLInfiniteInteger	JMLNegativeInfinity.pow(int n) Return this integer raised to the argument's power.

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

abstract int	JMLInfiniteIntegerClass.compareTo(JMLInfiniteInteger n) Compare this to n, returning a comparison code.
boolean	JMLInfiniteIntegerClass.greaterThanOrEqualTo(JMLInfiniteInteger n) Tell if this integer is greater than or equal to the argument.
boolean	JMLInfiniteIntegerClass.lessThanOrEqualTo(JMLInfiniteInteger n) Tell if this integer is less than or equal to the argument.
boolean	JMLInfiniteIntegerClass.greaterThan(JMLInfiniteInteger n) Tell if this integer is strictly greater than the argument.
boolean	JMLInfiniteIntegerClass.lessThan(JMLInfiniteInteger n) Tell if this integer is strictly less than the argument.
JMLInfiniteInteger	JMLInfiniteIntegerClass.max(JMLInfiniteInteger n) Return the maximum of this integer and the argument.
JMLInfiniteInteger	JMLInfiniteIntegerClass.min(JMLInfiniteInteger n)
abstract boolean	JMLInfiniteInteger.greaterThanOrEqualTo(JMLInfiniteInteger n) Tell if this integer is greater than or equal to the argument.
abstract boolean	JMLInfiniteInteger.lessThanOrEqualTo(JMLInfiniteInteger n) Tell if this integer is less than or equal to the argument.
abstract boolean	JMLInfiniteInteger.greaterThan(JMLInfiniteInteger n) Tell if this integer is strictly greater than the argument.
abstract boolean	JMLInfiniteInteger.lessThan(JMLInfiniteInteger n) Tell if this integer is strictly less than the argument.
abstract JMLInfiniteInteger	JMLInfiniteInteger.max(JMLInfiniteInteger n) Return the maximum of this integer and the argument.
abstract JMLInfiniteInteger	JMLInfiniteInteger.min(JMLInfiniteInteger n) Return the minimum of this integer and the argument.
abstract JMLInfiniteInteger	JMLInfiniteInteger.add(JMLInfiniteInteger n) Return the sum of this integer and the argument.
abstract JMLInfiniteInteger	JMLInfiniteInteger.subtract(JMLInfiniteInteger n) Return the difference between this integer and the argument.
abstract JMLInfiniteInteger	JMLInfiniteInteger.multiply(JMLInfiniteInteger n) Return the product of this integer and the argument.
abstract JMLInfiniteInteger	JMLInfiniteInteger.divide(JMLInfiniteInteger n) Return the quotient of this integer divided by the argument.
abstract JMLInfiniteInteger	JMLInfiniteInteger.remainder(JMLInfiniteInteger n) Return the remainder of this integer divided by the argument.
abstract JMLInfiniteInteger	JMLInfiniteInteger.mod(JMLInfiniteInteger n) Return this integer modulo the argument.
int	JMLPositiveInfinity.compareTo(JMLInfiniteInteger n) Compare this to the given integer, returning a comparison code.
JMLInfiniteInteger	JMLPositiveInfinity.add(JMLInfiniteInteger n) Return the sum of this integer and the argument.
JMLInfiniteInteger	JMLPositiveInfinity.subtract(JMLInfiniteInteger n) Return the difference between this integer and the argument.
JMLInfiniteInteger	JMLPositiveInfinity.multiply(JMLInfiniteInteger n) Return the product of this integer and the argument.
JMLInfiniteInteger	JMLPositiveInfinity.divide(JMLInfiniteInteger n) Return the quotient of this integer divided by the argument.
JMLInfiniteInteger	JMLPositiveInfinity.remainder(JMLInfiniteInteger n) Return the remainder of this integer divided by the argument.
JMLInfiniteInteger	JMLPositiveInfinity.mod(JMLInfiniteInteger n) Return this integer modulo the argument.
int	JMLFiniteInteger.compareTo(JMLInfiniteInteger n) Compare this to the given integer, returning a comparison code.
JMLInfiniteInteger	JMLFiniteInteger.add(JMLInfiniteInteger n) Return the sum of this integer and the argument.
JMLInfiniteInteger	JMLFiniteInteger.subtract(JMLInfiniteInteger n) Return the difference between this integer and the argument.
JMLInfiniteInteger	JMLFiniteInteger.multiply(JMLInfiniteInteger n) Return the product of this integer and the argument.
JMLInfiniteInteger	JMLFiniteInteger.divide(JMLInfiniteInteger n) Return the quotient of this integer divided by the argument.
JMLInfiniteInteger	JMLFiniteInteger.remainder(JMLInfiniteInteger n) Return the remainder of this integer divided by the argument.
JMLInfiniteInteger	JMLFiniteInteger.mod(JMLInfiniteInteger n) Return this integer modulo the argument.
int	JMLNegativeInfinity.compareTo(JMLInfiniteInteger n) Compare this to the given integer, returning a comparison code.
JMLInfiniteInteger	JMLNegativeInfinity.add(JMLInfiniteInteger n) Return the sum of this integer and the argument.
JMLInfiniteInteger	JMLNegativeInfinity.subtract(JMLInfiniteInteger n) Return the difference between this integer and the argument.
JMLInfiniteInteger	JMLNegativeInfinity.multiply(JMLInfiniteInteger n) Return the product of this integer and the argument.
JMLInfiniteInteger	JMLNegativeInfinity.divide(JMLInfiniteInteger n) Return the quotient of this integer divided by the argument.
JMLInfiniteInteger	JMLNegativeInfinity.remainder(JMLInfiniteInteger n) Return the remainder of this integer divided by the argument.
JMLInfiniteInteger	JMLNegativeInfinity.mod(JMLInfiniteInteger n) Return this integer modulo the argument.