| java.lang.Object java.lang.Number java.math.BigInteger
BigInteger | public class BigInteger extends Number implements Comparable(Code) | | JML's specification of java.math.BigInteger.
version: $Revision: 1.1 $ author: David R. Cok author: Gary T. Leavens |
Method Summary | |
public BigInteger | abs() | public BigInteger | add(BigInteger val) | static int | addOne(int[] a, int offset, int mlen, int carry) | public BigInteger | and(BigInteger val) | public BigInteger | andNot(BigInteger val) | static int | bitCnt(int val) | public int | bitCount() | static int | bitLen(int w) | public int | bitLength() | public BigInteger | clearBit(int n) | public int | compareTo(BigInteger val) | public int | compareTo(Object o) | public BigInteger | divide(BigInteger val) | public BigInteger[] | divideAndRemainder(BigInteger val) | public double | doubleValue() | public boolean | equals(Object x) | public BigInteger | flipBit(int n) | public float | floatValue() | public BigInteger | gcd(BigInteger val) | public int | getLowestSetBit() | public int | hashCode() | public int | intValue() | public boolean | isProbablePrime(int certainty) | int | jacobiSymbol(int p, BigInteger n) | int[] | javaIncrement(int[] val) | public long | longValue() | public BigInteger | max(BigInteger val) | public BigInteger | min(BigInteger val) | public BigInteger | mod(BigInteger m) | public BigInteger | modInverse(BigInteger m) | public BigInteger | modPow(BigInteger exponent, BigInteger m) | static int | mulAdd(int[] out, int[] in, int offset, int len, int k) | public BigInteger | multiply(BigInteger val) | public BigInteger | negate() | public BigInteger | not() | public BigInteger | or(BigInteger val) | public BigInteger | pow(int exponent) | boolean | primeToCertainty(int certainty) | static void | primitiveLeftShift(int[] a, int len, int n) | static void | primitiveRightShift(int[] a, int len, int n) | public static BigInteger | probablePrime(int bitLength, Random rnd) | public BigInteger | remainder(BigInteger val) | public BigInteger | setBit(int n) | public BigInteger | shiftLeft(int n) | public BigInteger | shiftRight(int n) | public int | signum() | public BigInteger | subtract(BigInteger val) | public boolean | testBit(int n) | public byte[] | toByteArray() | public String | toString(int radix) | public String | toString() | static int | trailingZeroCnt(int val) | public static BigInteger | valueOf(long val) | public BigInteger | xor(BigInteger val) |
bnExpModThreshTable | static int[] bnExpModThreshTable(Code) | | |
trailingZeroTable | final static byte[] trailingZeroTable(Code) | | |
BigInteger | public BigInteger(byte[] val)(Code) | | |
BigInteger | public BigInteger(int signum, byte[] magnitude)(Code) | | |
BigInteger | BigInteger(char[] val)(Code) | | |
BigInteger | public BigInteger(int bitLength, int certainty, Random rnd)(Code) | | |
BigInteger | public BigInteger(long val)(Code) | | |
addOne | static int addOne(int[] a, int offset, int mlen, int carry)(Code) | | |
bitCnt | static int bitCnt(int val)(Code) | | |
bitCount | public int bitCount()(Code) | | |
bitLen | static int bitLen(int w)(Code) | | |
bitLength | public int bitLength()(Code) | | |
doubleValue | public double doubleValue()(Code) | | |
floatValue | public float floatValue()(Code) | | |
getLowestSetBit | public int getLowestSetBit()(Code) | | |
hashCode | public int hashCode()(Code) | | |
intValue | public int intValue()(Code) | | |
isProbablePrime | public boolean isProbablePrime(int certainty)(Code) | | |
javaIncrement | int[] javaIncrement(int[] val)(Code) | | |
longValue | public long longValue()(Code) | | |
mulAdd | static int mulAdd(int[] out, int[] in, int offset, int len, int k)(Code) | | |
primeToCertainty | boolean primeToCertainty(int certainty)(Code) | | |
primitiveLeftShift | static void primitiveLeftShift(int[] a, int len, int n)(Code) | | |
primitiveRightShift | static void primitiveRightShift(int[] a, int len, int n)(Code) | | |
signum | public int signum()(Code) | | |
testBit | public boolean testBit(int n)(Code) | | |
toByteArray | public byte[] toByteArray()(Code) | | |
trailingZeroCnt | static int trailingZeroCnt(int val)(Code) | | |
|
|