3 import edu.tum.cs.isabelle.*;
4 import edu.tum.cs.isabelle.api.XML;
6 public class IsacOperations {
8 public static final Operation<String, String> HELLO =
9 IsacOperationsScala.Hello();
11 public static final Operation<String, String> TESTSTR =
12 IsacOperationsScala.Teststr();
14 public static final Operation<scala.math.BigInt, XML.Tree> TESTIT =
15 IsacOperationsScala.Testit();
16 public static final Operation<XML.Tree, XML.Tree> TEST_TERM_TRANSFER =
17 IsacOperationsScala.TestTermTransfer();
18 public static final Operation<String, XML.Tree> TEST_TERM_ONE_WAY =
19 IsacOperationsScala.TestTermOneWay();
21 // Protoco.thy operation_setup for all isabisac's Math_Engine --------
22 public static final Operation<XML.Tree, XML.Tree> APPEND_FORM =
23 IsacOperationsScala.appendFormula();
24 public static final Operation<XML.Tree, XML.Tree> AUTO_CALC =
25 IsacOperationsScala.autoCalculate();
26 public static final Operation<XML.Tree, XML.Tree> APPLY_TAC =
27 IsacOperationsScala.applyTactic();
28 public static final Operation<XML.Tree, XML.Tree> CALC_TREE =
29 IsacOperationsScala.CalcTree();
30 public static final Operation<XML.Tree, XML.Tree> CHECK_CTXT =
31 IsacOperationsScala.checkContext();
32 public static final Operation<scala.math.BigInt, XML.Tree> DEL_CALC =
33 IsacOperationsScala.DEconstrCalcTree();
34 public static final Operation<XML.Tree, XML.Tree> FETCH_APPL_TACS =
35 IsacOperationsScala.fetchApplicableTactics();
36 public static final Operation<XML.Tree, XML.Tree> FETCH_PROP_TAC =
37 IsacOperationsScala.fetchProposedTactic();
38 public static final Operation<XML.Tree, XML.Tree> FIND_FILL_PATTS =
39 IsacOperationsScala.findFillpatterns();
40 public static final Operation<XML.Tree, XML.Tree> GET_ACC_ASMS =
41 IsacOperationsScala.getAccumulatedAsms();
42 public static final Operation<XML.Tree, XML.Tree> GET_ACTIVE_FORM =
43 IsacOperationsScala.getActiveFormula();
44 public static final Operation<XML.Tree, XML.Tree> GET_ASMS =
45 IsacOperationsScala.getAssumptions();
46 public static final Operation<XML.Tree, XML.Tree> GET_FORMULAE =
47 IsacOperationsScala.getFormulaeFromTo();
48 public static final Operation<XML.Tree, XML.Tree> GET_TAC =
49 IsacOperationsScala.getTactic();
50 public static final Operation<XML.Tree, XML.Tree> INIT_CTXT =
51 IsacOperationsScala.initContext();
52 public static final Operation<XML.Tree, XML.Tree> INPUT_FILL_FORM =
53 IsacOperationsScala.inputFillFormula();
54 public static final Operation<XML.Tree, XML.Tree> INTER_STEPS =
55 IsacOperationsScala.interSteps();
56 public static final Operation<scala.math.BigInt, XML.Tree> ITERATOR =
57 IsacOperationsScala.Iterator();
58 public static final Operation<scala.math.BigInt, XML.Tree> MODEL_PBL =
59 IsacOperationsScala.modelProblem();
60 public static final Operation<XML.Tree, XML.Tree> MODIFY_CALCHEAD =
61 IsacOperationsScala.modifyCalcHead();
62 public static final Operation<XML.Tree, XML.Tree> MOVE_ACTIVE_CALCHEAD =
63 IsacOperationsScala.moveActiveCalcHead();
64 public static final Operation<XML.Tree, XML.Tree> MOVE_ACTIVE_DOWN =
65 IsacOperationsScala.moveActiveDown();
66 public static final Operation<XML.Tree, XML.Tree> MOVE_ACTIVE_FORM =
67 IsacOperationsScala.moveActiveFormula();
68 public static final Operation<XML.Tree, XML.Tree> MOVE_ACTIVE_LEVDN =
69 IsacOperationsScala.moveActiveLevelDown();
70 public static final Operation<XML.Tree, XML.Tree> MOVE_ACTIVE_LEVUP =
71 IsacOperationsScala.moveActiveLevelUp();
72 public static final Operation<scala.math.BigInt, XML.Tree> MOVE_ACTIVE_ROOT =
73 IsacOperationsScala.moveActiveRoot();
74 public static final Operation<XML.Tree, XML.Tree> MOVE_ACTIVE_UP =
75 IsacOperationsScala.moveActiveUp();
76 public static final Operation<XML.Tree, XML.Tree> MOVE_CALCHEAD =
77 IsacOperationsScala.moveCalcHead();
78 public static final Operation<XML.Tree, XML.Tree> MOVE_DOWN =
79 IsacOperationsScala.moveDown();
80 public static final Operation<XML.Tree, XML.Tree> MOVE_LEVDN =
81 IsacOperationsScala.moveLevelDown();
82 public static final Operation<XML.Tree, XML.Tree> MOVE_LEVUP =
83 IsacOperationsScala.moveLevelUp();
84 public static final Operation<XML.Tree, XML.Tree> MOVE_ROOT =
85 IsacOperationsScala.moveRoot();
86 public static final Operation<XML.Tree, XML.Tree> MOVE_UP =
87 IsacOperationsScala.moveUp();
88 public static final Operation<XML.Tree, XML.Tree> REF_FORMULA =
89 IsacOperationsScala.refFormula();
90 public static final Operation<XML.Tree, XML.Tree> REFINE_PBL =
91 IsacOperationsScala.refineProblem();
92 public static final Operation<XML.Tree, XML.Tree> REPLACE_FORM =
93 IsacOperationsScala.replaceFormula();
94 public static final Operation<XML.Tree, XML.Tree> REQUEST_FILL_FORM =
95 IsacOperationsScala.requestFillformula();
96 public static final Operation<XML.Tree, XML.Tree> RESET_CALCHEAD =
97 IsacOperationsScala.resetCalcHead();
98 public static final Operation<XML.Tree, XML.Tree> SET_CTXT =
99 IsacOperationsScala.setContext();
100 public static final Operation<XML.Tree, XML.Tree> SET_MET =
101 IsacOperationsScala.setMethod();
102 public static final Operation<XML.Tree, XML.Tree> SET_NEXT_TAC =
103 IsacOperationsScala.setNextTactic();
104 public static final Operation<XML.Tree, XML.Tree> SET_PBL =
105 IsacOperationsScala.setProblem();
106 public static final Operation<XML.Tree, XML.Tree> SET_THY =
107 IsacOperationsScala.setTheory();