Return to ts_drivcrit.adb CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Stalift/ts_drivcrit.adb, Revision 1.1.1.1

1.1       maekawa     1: with text_io;                            use text_io;
                      2: with Communications_with_User;           use Communications_with_User;
                      3: with Standard_Complex_Poly_Systems;      use Standard_Complex_Poly_Systems;
                      4: with Standard_Complex_Poly_Systems_io;   use Standard_Complex_Poly_Systems_io;
                      5: with Arrays_of_Integer_Vector_Lists;     use Arrays_of_Integer_Vector_Lists;
                      6: with Arrays_of_Integer_Vector_Lists_io;  use Arrays_of_Integer_Vector_Lists_io;
                      7: with Power_Lists;                        use Power_Lists;
                      8: with Driver_for_Criterion;
                      9:
                     10: procedure ts_drivcrit is
                     11:
                     12: -- DESCRIPTION :
                     13: --   This procedure calls the driver for the criterion.
                     14:
                     15:   lp : Link_to_Poly_Sys;
                     16:   file : file_type;
                     17:
                     18: begin
                     19:   new_line;
                     20:   put_line("Interactive testing of driver for the criterion.");
                     21:   new_line;
                     22:   get(lp);
                     23:   new_line;
                     24:   put_line("Reading the name of the output file.");
                     25:   Read_Name_and_Create_File(file);
                     26:   declare
                     27:     supports : Array_of_Lists(lp'range) := Create(lp.all);
                     28:   begin
                     29:     put_line(file,"The supports of the system : "); put(file,supports);
                     30:     Driver_for_Criterion(file,supports);
                     31:     put_line(file,"The reduced supports : "); put(file,supports);
                     32:   end;
                     33: end ts_drivcrit;