|
JML | ||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||
| Packages that use Random | |
| java.math | JML Specifications for the corresponding types in the Java Developement Kit (JDK). |
| org.multijava.util.jperf | Defines the perfect hashing function generator Package Specification JPerf is the perfect hashing function generator for the compilers in MultiJava and the Java Modeling Language. |
| Uses of Random in java.math |
| Methods in java.math with parameters of type Random | |
private static byte[] |
BigInteger.randomBits(int,
Random)
|
private static BigInteger |
BigInteger.largePrime(int,
int,
Random)
|
private static BigInteger |
BigInteger.smallPrime(int,
int,
Random)
|
static BigInteger |
BigInteger.probablePrime(int,
Random)
|
| Constructors in java.math with parameters of type Random | |
BigInteger(int,
int,
Random)
|
|
BigInteger(int,
Random)
|
|
| Uses of Random in org.multijava.util.jperf |
| Fields in org.multijava.util.jperf declared as Random | |
private static Random |
Table.random
The random number generator for generating values of T1 and T2. |
|
JML | ||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||