File : a-nuelfu-ada.ads


   1 ------------------------------------------------------------------------------
   2 --                                                                          --
   3 --                         GNAT RUNTIME COMPONENTS                          --
   4 --                                                                          --
   5 --     A D A . N U M E R I C S . E L E M E N T A R Y _ F U N C T I O N S    --
   6 --                                                                          --
   7 --                                 S p e c                                  --
   8 --                                                                          --
   9 --          Copyright (C) 1992-2014, Free Software Foundation, Inc.         --
  10 --                                                                          --
  11 -- GNAT is free software;  you can  redistribute it  and/or modify it under --
  12 -- terms of the  GNU General Public License as published  by the Free Soft- --
  13 -- ware  Foundation;  either version 3,  or (at your option) any later ver- --
  14 -- sion.  GNAT is distributed in the hope that it will be useful, but WITH- --
  15 -- OUT ANY WARRANTY;  without even the  implied warranty of MERCHANTABILITY --
  16 -- or FITNESS FOR A PARTICULAR PURPOSE.                                     --
  17 --                                                                          --
  18 --                                                                          --
  19 --                                                                          --
  20 --                                                                          --
  21 --                                                                          --
  22 -- You should have received a copy of the GNU General Public License and    --
  23 -- a copy of the GCC Runtime Library Exception along with this program;     --
  24 -- see the files COPYING3 and COPYING.RUNTIME respectively.  If not, see    --
  25 -- <http://www.gnu.org/licenses/>.                                          --
  26 --                                                                          --
  27 -- GNAT was originally developed  by the GNAT team at  New York University. --
  28 -- Extensive contributions were provided by Ada Core Technologies Inc.      --
  29 --                                                                          --
  30 ------------------------------------------------------------------------------
  31 
  32 --  @llrset a-nuelfu.ads
  33 --  Generic_Elementary_Functions
  34 --  ============================
  35 
  36 --  This is the Ada Cert Math specific version of a-nuelfu.ads
  37 
  38 with System.Generic_C_Math_Interface;
  39 with System.Libm_Single;
  40 
  41 package Ada.Numerics.Elementary_Functions is
  42    new System.Generic_C_Math_Interface
  43      (Float_Type => Float,
  44       C_Sqrt  => System.Libm_Single.Sqrt,
  45       C_Log   => System.Libm_Single.Log,
  46       C_Exp   => System.Libm_Single.Exp,
  47       C_Pow   => System.Libm_Single.Pow,
  48 
  49       C_Sin   => System.Libm_Single.Sin,
  50       C_Cos   => System.Libm_Single.Cos,
  51       C_Tan   => System.Libm_Single.Tan,
  52 
  53       C_Asin  => System.Libm_Single.Asin,
  54       C_Acos  => System.Libm_Single.Acos,
  55       C_Atan2 => System.Libm_Single.Atan2,
  56 
  57       C_Sinh  => System.Libm_Single.Sinh,
  58       C_Cosh  => System.Libm_Single.Cosh,
  59       C_Tanh  => System.Libm_Single.Tanh,
  60 
  61       C_Asinh => System.Libm_Single.Asinh,
  62       C_Acosh => System.Libm_Single.Acosh,
  63       C_Atanh => System.Libm_Single.Atanh);
  64 pragma Pure (Elementary_Functions);