Return to transforming_integer_vector_lists.ads CVS log

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

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;