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