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