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