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