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