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