Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Implift/transforming_integer_vector_lists.ads, Revision 1.1.1.1
1.1 maekawa 1: with Standard_Integer_Vectors; use Standard_Integer_Vectors;
2: with Lists_of_Integer_Vectors; use Lists_of_Integer_Vectors;
3: with Transformations; use Transformations;
4:
5: package Transforming_Integer_Vector_Lists is
6:
7: -- DESCRIPTION :
8: -- Unimodular transformations of lists of standard integer vectors.
9:
10: procedure Shift ( l : in out List; v : in Vector );
11: procedure Shift ( l : in out List; v : in Link_to_Vector );
12:
13: function Shift ( l : List; v : Vector ) return List;
14: function Shift ( l : List; v : Link_to_Vector ) return List;
15:
16: -- DESCRIPTION :
17: -- The list will be shifted: Shift(l,v) = { y-v | Is_In(l,y) }
18:
19: function "*"( l : List; t : Transfo ) return List;
20: function "*"( t : Transfo; l : List ) return List;
21:
22: -- DESCRIPTION :
23: -- Returns the transformed list of points.
24:
25: procedure Apply ( l : in out List; t : in Transfo );
26:
27: -- DESCRIPTION :
28: -- Applies the transformation t to the list l.
29:
30: function Reduce ( l : List; i : integer ) return List;
31: procedure Reduce ( l : in out List; i : in integer );
32:
33: -- DESCRIPTION :
34: -- Returns a list of vectors where the i-th component has been deleted.
35:
36: function Insert ( l : List; i,a : integer ) return List;
37: procedure Insert ( l : in out List; i,a : in integer );
38:
39: -- DESCRIPTION :
40: -- Returns a list of vectors where the i-th component has been inserted,
41: -- for all d in l: d(i) = a.
42:
43: function Transform_and_Reduce ( t : Transfo; i : integer; l : List )
44: return List;
45: procedure Transform_and_Reduce ( t : in Transfo; i : in integer;
46: l : in out List );
47:
48: -- DESCRIPTION :
49: -- Transforms the list l and deletes the i-th component
50: -- of every element in the transformed list.
51:
52: function Insert_and_Transform
53: ( l : List; i,a : integer; t : Transfo ) return List;
54: procedure Insert_and_Transform
55: ( l : in out List; i,a : in integer; t : in Transfo );
56:
57: -- DESCRIPTION :
58: -- Inserts the i-th component of every element in the list l,
59: -- using the value a, and transforms the list, applying t.
60:
61: end Transforming_Integer_Vector_Lists;
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>