/** A class used to create pseudorandom numbers */
public interface RandomInterface
{

 /** Select a number from an exponential distribution.
  * @param returns random number selected from exponential distribution
  *   with expected value alpha.
  * @return a random real number
  */
  public double nextExp (double alpha);

 /** Select a number from a uniform distribution.
  * @post returns a random int uniformly distributed between low and
  *   high inclusive.
  * @param low the minimum random integer to return
  * @param high the maximum random integer to return
  * @return a random integer between low and high
  */
  public int nextUniformInt (int low, int high);
}