Return to standard_natural_numbers.ads CVS log

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

Initial revision

package Standard_Natural_Numbers is

-- DESCRIPTION :
--   With the operations in this package the Standard_Natural_Ring is build.

  function Create ( n : natural ) return natural;

  function Equal ( a,b : natural ) return boolean;
  procedure Copy ( a : in natural; b : in out natural );

  procedure Add ( a : in out natural; b : in natural );      -- a := a+b;
  procedure Sub ( a : in out natural; b : in natural );      -- a := a-b;
  procedure Min ( a : in out natural );                      -- a := -a;
  procedure Mul ( a : in out natural; b : in natural );      -- a := a*b;

  procedure Clear ( a : in out natural );

end Standard_Natural_Numbers;