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