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