Ada 编程/库/Ada.Numerics.Float Random

计算 » 计算机科学 » 计算机编程 » Ada 编程

---

此语言功能从 Ada 95 开始可用。

Ada.Numerics.Float_Random 是自 Ada 95 以来 预定义语言环境 的一个单元。

规范

--                     Standard Ada library specification
--   Copyright (c) 2003-2018 Maxim Reznik <[email protected]>
--   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