Return to drivers_for_mixed_contributions.ads CVS log

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

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;