Annotation of OpenXM_contrib/PHC/Ada/Math_Lib/Numbers/standard_integer_numbers.ads, Revision 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>