random.def 540 B

12345678910111213141516171819202122
  1. DEFINITION MODULE random;
  2. (*
  3. Module: random numbers
  4. Author: Ceriel J.H. Jacobs
  5. Version: $Id$
  6. *)
  7. PROCEDURE Random(): CARDINAL;
  8. (* Return a random CARDINAL
  9. *)
  10. PROCEDURE Uniform (lwb, upb: CARDINAL): CARDINAL;
  11. (* Return CARDINALs, uniformly distributed between "lwb" and "upb".
  12. "lwb" must be smaller than "upb", or "lwb" is returned.
  13. *)
  14. PROCEDURE StartSeed(seed: CARDINAL);
  15. (* Initialize the generator. You don't have to call this procedure, unless
  16. you don't want the system to pick a starting value for itself.
  17. *)
  18. END random.