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;
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>