Annotation of OpenXM_contrib/PHC/Ada/Math_Lib/Numbers/standard_floating_numbers.ads, Revision 1.1.1.1
1.1 maekawa 1: package Standard_Floating_Numbers is
2:
3: -- DESCRIPTION :
4: -- This package sets floating-point types to be independent
5: -- of the compiler predefined floating-point declarations.
6:
7: type single_float is digits 7; -- single precision
8: type double_float is digits 15; -- double precision
9:
10: function Create ( n : natural ) return single_float;
11: function Create ( n : natural ) return double_float;
12:
13: function Equal ( a,b : single_float ) return boolean;
14: function Equal ( a,b : double_float ) return boolean;
15:
16: function AbsVal ( a : single_float ) return single_float;
17: function AbsVal ( a : double_float ) return double_float;
18:
19: procedure Copy ( a : in single_float; b : in out single_float );
20: procedure Copy ( a : in double_float; b : in out double_float );
21:
22: procedure Add ( a : in out single_float; b : in single_float ); -- a := a+b
23: procedure Add ( a : in out double_float; b : in double_float );
24:
25: procedure Sub ( a : in out single_float; b : in single_float ); -- a := a-b
26: procedure Sub ( a : in out double_float; b : in double_float );
27:
28: procedure Min ( a : in out single_float ); -- a := -a
29: procedure Min ( a : in out double_float );
30:
31: procedure Mul ( a : in out single_float; b : in single_float ); -- a := a*b
32: procedure Mul ( a : in out double_float; b : in double_float );
33:
34: procedure Div ( a : in out single_float; b : in single_float ); -- a := a/b
35: procedure Div ( a : in out double_float; b : in double_float );
36:
37: procedure Clear ( a : in out single_float );
38: procedure Clear ( a : in out double_float );
39:
40: end Standard_Floating_Numbers;
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>