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.
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>