2 * Created on Dec 12, 2003
4 * To change the template for this generated file go to
5 * Window>Preferences>Java>Code Generation>Code and Comments
12 * To change the template for this generated type comment go to
13 * Window>Preferences>Java>Code Generation>Code and Comments
15 public interface IUIElement {
16 public static final int UI_SPECIFY_TRY_MATCH = 1;
17 public static final int UI_SPECIFY_TRY_REFINE = 2;
18 public static final int UI_SPECIFY_CHANGE_VIEW = 3;
20 public static final int UI_SPECIFY_COMPLETE_CALCHEAD = 4;
21 public static final int UI_SPECIFY_COMPLETE_METHOD = 5;
22 public static final int UI_SPECIFY_COMPLETE_THEORY = 6;
23 public static final int UI_SPECIFY_COMPLETE_PROBLEM = 7;
24 public static final int UI_SPECIFY_COMPLETE_GIVEN = 8;
25 public static final int UI_SPECIFY_COMPLETE_FIND = 9;
26 public static final int UI_SPECIFY_COMPLETE_RELATE = 10;
28 public static final int UI_SPECIFY_CHECK_CALCHEAD = 11;
29 public static final int UI_SPECIFY_CALCULATE_1 = 12;
30 public static final int UI_SPECIFY_CALCULATE_ALL = 13;
32 public static final int UI_SOLVE_CALCULATE_1 = UI_SPECIFY_CALCULATE_1;
33 public static final int UI_SOLVE_CALCULATE_ALL = UI_SPECIFY_CALCULATE_ALL;
34 public static final int UI_SOLVE_CALCULATE_SUBPROBLEM = 23;
36 public static final int UI_SOLVE_EDIT_ACTIVE_FORMULA = 24;
37 public static final int UI_SOLVE_EDIT_ACTIVE_FORMULA_COMPLETE = 25;
38 public static final int UI_SOLVE_APPEND_USER_FORMULA = 26;
39 public static final int UI_SOLVE_MOVE_ACTIVE_FORMULA = 27;
41 public static final int UI_SOLVE_GET_PROPOSED_TACTIC = 30;
42 public static final int UI_SOLVE_GET_APPLICABLE_TACTICS = 31;
43 public static final int UI_SOLVE_SET_NEXT_TACTIC = 32;
44 public static final int UI_SOLVE_HELP_ENTERING_FORMULA = 33;
46 public static final int UI_SOLVE_SHOW_ASSUMPTIONS = 40;
47 public static final int UI_SOLVE_SHOW_DETAILS = 41;