Return to driver_for_criterion.adb CVS log

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

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

1.1       maekawa     1: with Communications_with_User;           use Communications_with_User;
                      2: with Drivers_for_Vertex_Points;          use Drivers_for_Vertex_Points;
                      3: with Drivers_for_Mixed_Contributions;    use Drivers_for_Mixed_Contributions;
                      4:
                      5: procedure Driver_for_Criterion
                      6:              ( file : in file_type; points : in out Array_of_Lists ) is
                      7:
                      8:   function Menu_for_Criterion return character is
                      9:
                     10:   -- DESCRIPTION :
                     11:   --   Shows the menu for computing the set of essential points.
                     12:
                     13:     ans : character;
                     14:
                     15:   begin
                     16:     new_line;
                     17:     put_line("MENU for sweeping out non-contributing points :");
                     18:     put_line("  0. no computation of vertex points.");
                     19:     put_line("  1. elimination of non-vertex points");
                     20:     put_line("  2. apply simple criterion once");
                     21:     put_line("  3. exhaustive sweep through supports");
                     22:     put("Make your choice : "); Ask_Alternative(ans,"0123");
                     23:     return ans;
                     24:   end Menu_for_Criterion;
                     25:
                     26:   procedure Dispatch_Criterion ( choice : character ) is
                     27:
                     28:   -- DESCRIPTION :
                     29:   --   Dispatches the selected choice.
                     30:
                     31:     nred : natural := 0;
                     32:
                     33:   begin
                     34:     if choice /= '0'
                     35:      then Vertex_Points(file,points);
                     36:           case choice is
                     37:             when '2' => Once_Simple_Sweep(file,points,nred);
                     38:             when '3' => Full_Simple_Sweep(file,points,nred);
                     39:             when others => null;
                     40:           end case;
                     41:     end if;
                     42:   end Dispatch_Criterion;
                     43:
                     44:   procedure Driver is
                     45:
                     46:     choice : character := Menu_for_Criterion;
                     47:
                     48:   begin
                     49:     Dispatch_Criterion(choice);
                     50:   end Driver;
                     51:
                     52: begin
                     53:   Driver;
                     54: end Driver_for_Criterion;