Spracherkennung für: .sig vermutete Sprache: Coq {Coq[64] Ada[165] Abap[169]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
(* Title: Tools/random_word.ML
Author: Makarius
Simple generator for pseudo-random numbers, using unboxed word
arithmetic only. Unprotected concurrency introduces some true
randomness.
*)
signature Random =
sig
val nextWord : unit -> word
val nextBool : unit -> bool
val nextInt : int -> int (* k -> [0,k) *)
val nextReal : unit -> real (* () -> [0,1) *)
end;
[ Dauer der Verarbeitung: 0.145 Sekunden
]
