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     ! 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;