Ada 程式設計/庫/Ada.Numerics.Float Random

計算 » 計算機科學 » 計算機程式設計 » Ada 程式設計

---

此語言功能從 Ada 95 開始可用。

Ada.Numerics.Float_Random 是自 Ada 95 以來 預定義語言環境 的一個單元。

規範

--                     Standard Ada library specification
--   Copyright (c) 2003-2018 Maxim Reznik <reznikmm@gmail.com>
--   Copyright (c) 2004-2016 AXE Consultants
--   Copyright (c) 2004, 2005, 2006 Ada-Europe
--   Copyright (c) 2000 The MITRE Corporation, Inc.
--   Copyright (c) 1992, 1993, 1994, 1995 Intermetrics, Inc.
--   SPDX-License-Identifier: BSD-3-Clause and LicenseRef-AdaReferenceManual
-- -------------------------------------------------------------------------

package Ada.Numerics.Float_Random is

   --  Basic facilities

   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       : in Generator;
                    Initiator : in Integer);
   procedure Reset (Gen       : in Generator);

   --  Advanced facilities

   type State is private;

   procedure Save  (Gen        : in  Generator;
                    To_State   : out State);
   procedure Reset (Gen        : in  Generator;
                    From_State : in  State);

   Max_Image_Width : constant := implementation_defined;

   function Image (Of_State    : State)  return String;
   function Value (Coded_State : String) return State;

private

   pragma Import (Ada, State);
   pragma Import (Ada, Generator);

end Ada.Numerics.Float_Random;

參見

華夏公益教科書

• Ada 程式設計/庫/Ada

外部示例

• 在以下位置搜尋 Ada.Numerics.Float_Random 的示例：Rosetta Code，GitHub (gists)，任何 Alire 包 或者 此華夏公益教科書。
• 在以下位置搜尋與 Ada.Numerics.Float_Random 相關的帖子：Stack Overflow，comp.lang.ada 或者 任何與 Ada 相關的頁面。

Ada 語言參考手冊

Ada 95

• A.5.2: 隨機數生成 ^{[帶註釋的]}

Ada 2005

• A.5.2: 隨機數生成 ^{[帶註釋的]}

Ada 2012

• A.5.2: 隨機數生成 ^{[帶註釋的]}

開源實現

FSF GNAT

• 規範：a-nuflra.ads
• 主體：a-nuflra.adb

drake

• 規範：numerics/a-nuflra.ads
• 主體：numerics/a-nuflra.adb