src/Tools/Metis/src/PortableMlton.sml

 (* ------------------------------------------------------------------------- *)
 
 val pointerEqual = MLton.eq;
 
 (* ------------------------------------------------------------------------- *)
-(* Timing function applications a la Mosml.time.                             *)
+(* Timing function applications.                                             *)
 (* ------------------------------------------------------------------------- *)
 
 fun time f x =
     let
       fun p t =

 (* Critical section markup (multiprocessing)                                 *)
 (* ------------------------------------------------------------------------- *)
 
 fun CRITICAL e = e ();     (*dummy*)
 
+(* ------------------------------------------------------------------------- *)
+(* Generating random values.                                                 *)
+(* ------------------------------------------------------------------------- *)
+
+fun randomWord () = MLton.Random.rand ();
+
+fun randomBool () = Word.andb (randomWord (),0w1) = 0w0;
+
+fun randomInt 1 = 0
+  | randomInt 2 = Word.toInt (Word.andb (randomWord (), 0w1))
+  | randomInt 4 = Word.toInt (Word.andb (randomWord (), 0w3))
+  | randomInt n = Word.toInt (Word.mod (randomWord (), Word.fromInt n));
+
+local
+  fun wordToReal w = Real.fromInt (Word.toInt (Word.>> (w,0w1)))
+
+  val normalizer = 1.0 / wordToReal (Word.notb 0w0);
+in
+  fun randomReal () = normalizer * wordToReal (randomWord ());
+end;
+
 end
 
 (* ------------------------------------------------------------------------- *)
 (* Quotations a la Moscow ML.                                                *)
 (* ------------------------------------------------------------------------- *)