Return to integer_vectors_utilities.ads CVS log

Up to [local] / OpenXM_contrib / PHC / Ada / Root_Counts / Implift

Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Implift/integer_vectors_utilities.ads, Revision 1.1.1.1

1.1       maekawa     1: with Standard_Integer_Vectors;           use Standard_Integer_Vectors;
                      2: with Transformations;                    use Transformations;
                      3:
                      4: package Integer_Vectors_Utilities is
                      5:
                      6: -- DESCRIPTION :
                      7: --   This package offers utilities for transforming integer vectors.
                      8:
                      9:   function Pivot ( v : Vector ) return integer;
                     10:   function Pivot ( v : Link_to_Vector ) return integer;
                     11:
                     12:   -- DESCRIPTION :
                     13:   --   Returns the first nonzero entry out of v.
                     14:   --   If all entries of v are zero, then v'last+1 is returned.
                     15:
                     16:   function  Reduce ( v : Vector; i : integer ) return Vector;
                     17:   procedure Reduce ( v : in out Link_to_Vector; i : in integer );
                     18:   function  Reduce ( v : Link_to_Vector; i : integer ) return Link_to_Vector;
                     19:
                     20:   -- DESCRIPTION :
                     21:   --   The i-th component will be deleted out of the vector.
                     22:
                     23:   function  Insert ( v : Vector; i,a : integer ) return Vector;
                     24:   procedure Insert ( v : in out Link_to_Vector; i,a : in integer );
                     25:   function  Insert ( v : Link_to_Vector; i,a : integer ) return Link_to_Vector;
                     26:
                     27:   -- DESCRIPTION :
                     28:   --   The i-th component will be inserted, using the value a.
                     29:
                     30:   function  Insert_and_Transform
                     31:              ( v : Vector; i,a : integer; t : Transfo ) return Vector;
                     32:   procedure Insert_and_Transform
                     33:              ( v : in out Link_to_Vector; i,a : in integer; t : in Transfo );
                     34:   function  Insert_and_Transform
                     35:              ( v : Link_to_Vector; i,a : integer; t : Transfo )
                     36:              return Link_to_Vector;
                     37:
                     38:   -- DESCRIPTION :
                     39:   --   Inserts the i-th component in the vector v,
                     40:   --   using the value a, and transforms the vector, applying t.
                     41:
                     42: end Integer_Vectors_Utilities;