|
JML | ||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||
| Packages that use Random | |
| java.math | JML Specifications for the corresponding types in the Java Developement Kit (JDK). |
| java.security | 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 | |
static BigInteger |
BigInteger.probablePrime(int bitLength,
Random rnd)
|
| Constructors in java.math with parameters of type Random | |
BigInteger(int numBits,
Random rnd)
|
|
BigInteger(int bitLength,
int certainty,
Random rnd)
|
|
| Uses of Random in java.security |
| Subclasses of Random in java.security | |
class |
SecureRandom
|
| 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 | ||||||||||