Return to driver_for_criterion.ads CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Stalift/driver_for_criterion.ads, Revision 1.1.1.1

1.1       maekawa     1: with text_io;                            use text_io;
                      2: with Arrays_of_Integer_Vector_Lists;     use Arrays_of_Integer_Vector_Lists;
                      3:
                      4: procedure Driver_for_Criterion
                      5:              ( file : in file_type; points : in out Array_of_Lists );
                      6:
                      7: -- DESCRIPTION :
                      8: --   Allows to apply a criterion to sweep out the points that do not
                      9: --   contribute to the mixed volume of the tuple of point sets.
                     10:
                     11: -- ON ENTRY :
                     12: --   file      must be opened for output;
                     13: --   points    tuple of point sets.
                     14:
                     15: -- ON RETURN :
                     16: --   points    possibly reduced tuple of point sets.