Uses of Class
java.math.BigInteger

Packages that use BigInteger

java.math	JML Specifications for the corresponding types in the Java Developement Kit (JDK).
org.jmlspecs.jmlrac.runtime	Classes for use during runtime assertion checking for code compiled with JML's runtime assertion checking compiler (jmlc).
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.
org.jmlspecs.models.resolve	This package is a collection of types with immutable objects based on the RESOLVE specification language's mathematical models.

Uses of BigInteger in java.math

Fields in java.math declared as BigInteger

private static BigInteger[]	BigInteger.longRadix
private static BigInteger	BigInteger.SMALL_PRIME_PRODUCT
private static BigInteger	BigInteger.TWO
static BigInteger	BigInteger.ZERO
static BigInteger	BigInteger.TEN
static BigInteger	BigInteger.ONE
private static BigInteger[]	BigInteger.posConst
private static BigInteger[]	BigInteger.negConst

Methods in java.math that return BigInteger

static BigInteger	BigInteger.probablePrime(int, Random)
private static BigInteger	BigInteger.smallPrime(int, int, Random)
private static BigInteger	BigInteger.largePrime(int, int, Random)
BigInteger	BigInteger.nextProbablePrime()
private static BigInteger	BigInteger.lucasLehmerSequence(int, BigInteger, BigInteger)
static BigInteger	BigInteger.valueOf(long)
private static BigInteger	BigInteger.valueOf(int[])
BigInteger	BigInteger.add(BigInteger)
BigInteger	BigInteger.subtract(BigInteger)
BigInteger	BigInteger.multiply(BigInteger)
private BigInteger	BigInteger.square()
BigInteger	BigInteger.divide(BigInteger)
BigInteger[]	BigInteger.divideAndRemainder(BigInteger)
BigInteger	BigInteger.remainder(BigInteger)
BigInteger	BigInteger.pow(int)
BigInteger	BigInteger.gcd(BigInteger)
BigInteger	BigInteger.abs()
BigInteger	BigInteger.negate()
BigInteger	BigInteger.mod(BigInteger)
BigInteger	BigInteger.modPow(BigInteger, BigInteger)
private BigInteger	BigInteger.oddModPow(BigInteger, BigInteger)
private BigInteger	BigInteger.modPow2(BigInteger, int)
private BigInteger	BigInteger.mod2(int)
BigInteger	BigInteger.modInverse(BigInteger)
BigInteger	BigInteger.shiftLeft(int)
BigInteger	BigInteger.shiftRight(int)
BigInteger	BigInteger.and(BigInteger)
BigInteger	BigInteger.or(BigInteger)
BigInteger	BigInteger.xor(BigInteger)
BigInteger	BigInteger.not()
BigInteger	BigInteger.andNot(BigInteger)
BigInteger	BigInteger.setBit(int)
BigInteger	BigInteger.clearBit(int)
BigInteger	BigInteger.flipBit(int)
BigInteger	BigInteger.min(BigInteger)
BigInteger	BigInteger.max(BigInteger)

Methods in java.math with parameters of type BigInteger

private static int	BigInteger.jacobiSymbol(int, BigInteger)
private static BigInteger	BigInteger.lucasLehmerSequence(int, BigInteger, BigInteger)
BigInteger	BigInteger.add(BigInteger)
BigInteger	BigInteger.subtract(BigInteger)
BigInteger	BigInteger.multiply(BigInteger)
BigInteger	BigInteger.divide(BigInteger)
BigInteger[]	BigInteger.divideAndRemainder(BigInteger)
BigInteger	BigInteger.remainder(BigInteger)
BigInteger	BigInteger.gcd(BigInteger)
BigInteger	BigInteger.mod(BigInteger)
BigInteger	BigInteger.modPow(BigInteger, BigInteger)
private BigInteger	BigInteger.oddModPow(BigInteger, BigInteger)
private BigInteger	BigInteger.modPow2(BigInteger, int)
BigInteger	BigInteger.modInverse(BigInteger)
BigInteger	BigInteger.and(BigInteger)
BigInteger	BigInteger.or(BigInteger)
BigInteger	BigInteger.xor(BigInteger)
BigInteger	BigInteger.andNot(BigInteger)
int	BigInteger.compareTo(BigInteger)
BigInteger	BigInteger.min(BigInteger)
BigInteger	BigInteger.max(BigInteger)

Uses of BigInteger in org.jmlspecs.jmlrac.runtime

Methods in org.jmlspecs.jmlrac.runtime that return BigInteger

static BigInteger	JMLRacBigIntegerUtils.value(BigInteger i) This method is used in the RAC implementation of prefix ++ and -- over \bigint's.
static BigInteger	JMLRacBigIntegerUtils.first(BigInteger i, BigInteger j) This method is used in the RAC implementation of postfix ++ and -- over \bigint's.

Methods in org.jmlspecs.jmlrac.runtime with parameters of type BigInteger

static BigInteger	JMLRacBigIntegerUtils.value(BigInteger i) This method is used in the RAC implementation of prefix ++ and -- over \bigint's.
static BigInteger	JMLRacBigIntegerUtils.first(BigInteger i, BigInteger j) This method is used in the RAC implementation of postfix ++ and -- over \bigint's.

Uses of BigInteger in org.jmlspecs.models

Fields in org.jmlspecs.models declared as BigInteger

protected BigInteger	JMLEqualsSequence._length This sequence's length.
protected BigInteger	JMLValueSequence._length This sequence's length.
protected BigInteger	JMLFiniteInteger.val
protected BigInteger	JMLObjectSequence._length This sequence's length.

Methods in org.jmlspecs.models that return BigInteger

abstract BigInteger	JMLInfiniteInteger.finiteValue() Assuming this integer is finite, return its value.
BigInteger	JMLFiniteInteger.finiteValue() Return the value of this integer.
BigInteger	JMLNegativeInfinity.finiteValue() Throw an ArithmeticException.
BigInteger	JMLPositiveInfinity.finiteValue() Throw an ArithmeticException.

Constructors in org.jmlspecs.models with parameters of type BigInteger

JMLFiniteInteger(BigInteger n)
Initialize this finite integer from the given BigInteger.

Uses of BigInteger in org.jmlspecs.models.resolve

Fields in org.jmlspecs.models.resolve declared as BigInteger

private BigInteger	NaturalNumber_JML_TestData.nines
private BigInteger	NaturalNumber.value The value of this natural number.
private BigInteger	NaturalNumber_JML_Test.TestNaturalNumber$2.val Argument val

Methods in org.jmlspecs.models.resolve that return BigInteger

BigInteger

NaturalNumber.bigIntegerValue() Return the BigInteger value of this natural number.

Constructors in org.jmlspecs.models.resolve with parameters of type BigInteger

NaturalNumber(BigInteger val)
Initialize this natural number to the given BigInteger value.