products/sources/formale Sprachen/Isabelle/Tools/Metis/src/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: Random.sig   Sprache: Unknown

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.110 Sekunden  ]