Return to standard_natural_numbers.ads CVS log

Up to [local] / OpenXM_contrib / PHC / Ada / Math_Lib / Numbers

Annotation of OpenXM_contrib/PHC/Ada/Math_Lib/Numbers/standard_natural_numbers.ads, Revision 1.1.1.1

1.1       maekawa     1: package Standard_Natural_Numbers is
                      2:
                      3: -- DESCRIPTION :
                      4: --   With the operations in this package the Standard_Natural_Ring is build.
                      5:
                      6:   function Create ( n : natural ) return natural;
                      7:
                      8:   function Equal ( a,b : natural ) return boolean;
                      9:   procedure Copy ( a : in natural; b : in out natural );
                     10:
                     11:   procedure Add ( a : in out natural; b : in natural );      -- a := a+b;
                     12:   procedure Sub ( a : in out natural; b : in natural );      -- a := a-b;
                     13:   procedure Min ( a : in out natural );                      -- a := -a;
                     14:   procedure Mul ( a : in out natural; b : in natural );      -- a := a*b;
                     15:
                     16:   procedure Clear ( a : in out natural );
                     17:
                     18: end Standard_Natural_Numbers;