Annotation of OpenXM_contrib/PHC/Ada/Math_Lib/Numbers/standard_integer_numbers.ads, Revision 1.1.1.1
1.1 maekawa 1: package Standard_Integer_Numbers is
2:
3: -- DESCRIPTION :
4: -- With the operations in this package the Standard_Integer_Ring is build.
5:
6: function Create ( n : natural ) return integer; -- n is integer
7:
8: function Equal ( a,b : integer ) return boolean; -- a = b
9: procedure Copy ( a : in integer; b : in out integer ); -- b := a
10:
11: procedure Add ( a : in out integer; b : in integer ); -- a := a+b
12: procedure Sub ( a : in out integer; b : in integer ); -- a := a-b
13: procedure Min ( a : in out integer ); -- a := -a
14: procedure Mul ( a : in out integer; b : in integer ); -- a := a*b
15:
16: function Rmd ( a,b : integer ) return integer; -- a mod b
17: procedure Rmd ( a : in out integer; b : in integer ); -- a := a mod b
18:
19: procedure Div ( a : in out integer; b : in integer ); -- a := a/b
20: procedure Div ( a,b : in integer; -- a = b*q+r
21: q : out integer; r : out integer ); -- q := a/b
22: procedure Div ( a : in out integer; b : in integer; -- a := a/b
23: r : out integer ); -- r := a mod b
24:
25: procedure Clear ( a : in out integer ); -- deallocation
26:
27: end Standard_Integer_Numbers;
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>