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     ! 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.