Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Stalift/drivers_for_mixed_contributions.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: package Drivers_for_Mixed_Contributions is
5:
6: -- DESCRIPTION :
7: -- This package provides some drivers to compute essential sets of
8: -- a tuple of support sets.
9:
10: -- SWEEPING (once/full) WITH (simple/exhaustive) CRITERION :
11:
12: procedure Once_Simple_Sweep
13: ( file : in file_type; l : in out Array_of_Lists;
14: nred : out natural );
15:
16: procedure Once_Exhaustive_Sweep
17: ( file : in file_type; l : in out Array_of_Lists;
18: nred : out natural );
19:
20: procedure Full_Simple_Sweep
21: ( file : in file_type; l : in out Array_of_Lists;
22: nred : out natural );
23:
24: procedure Full_Exhaustive_Sweep
25: ( file : in file_type; l : in out Array_of_Lists;
26: nred : out natural );
27:
28: -- DESCRIPTION :
29: -- Applies simple/exhaustive criterion once/full to the point lists.
30: -- Full means that the lists are scanned until the criterion fails
31: -- for all points, while with the prefix Once, only one sweep is performed.
32:
33: -- ON RETURN :
34: -- l reduced set of supports;
35: -- nred number of eliminated vectors with zero contribution.
36:
37: end Drivers_for_Mixed_Contributions;
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>