Return to flatten_mixed_subdivisions.ads CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Dynlift/flatten_mixed_subdivisions.ads, Revision 1.1.1.1

1.1       maekawa     1: with Lists_of_Integer_Vectors;           use Lists_of_Integer_Vectors;
                      2: with Arrays_of_Integer_Vector_Lists;     use Arrays_of_Integer_Vector_Lists;
                      3: with Integer_Mixed_Subdivisions;         use Integer_Mixed_Subdivisions;
                      4:
                      5: package Flatten_Mixed_Subdivisions is
                      6:
                      7: -- DESCRIPTION :
                      8: --   This package contains the flattening routines.
                      9:
                     10:   procedure Flatten ( l : in out List );
                     11:   procedure Flatten ( l : in out Array_of_Lists );
                     12:
                     13:   procedure Flatten ( mic : in out Mixed_Cell );
                     14:   procedure Flatten ( mixsub : in out Mixed_Subdivision );
                     15:
                     16: end Flatten_Mixed_Subdivisions;
                     17: