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