with Interfaces;

Note: the implementation used in this package was contributed by Robert Eachus. It is based on the work of L. Blum, M. Blum, and M. Shub, SIAM Journal of Computing, Vol 15. No 2, May 1986. The particular choices for P and Q chosen here guarantee a period of 562,085,314,430,582 (about 2**49), and the generated sequence has excellent randomness properties. For further details, see the paper "Fast Generation of Trustworthy Random Numbers", by Robert Eachus, which describes both the algorithm and the efficient implementation approach used here. This paper is available at the Ada Core Technologies web site (http://www.gnat.com). Basic facilities

package Ada.Numerics.Float_Random is

type Generator is limited private;

subtype Uniformly_Distributed is Float range 0.0 .. 1.0;

function Random (Gen : Generator) return Uniformly_Distributed;

procedure Reset (Gen : Generator);

procedure Reset (Gen : Generator; Initiator : Integer);

type State is private;

procedure Save  (Gen : Generator; To_State   : out State);

procedure Reset (Gen : Generator; From_State : State);

function Image (Of_State :    State)  return String;

function Value (Coded_State : String) return State;

private

   --  Implementation-defined ...

end Ada.Numerics.Float_Random;