aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VampireLanguageFactory.java
diff options
context:
space:
mode:
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VampireLanguageFactory.java')
-rw-r--r--Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VampireLanguageFactory.java120
1 files changed, 78 insertions, 42 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VampireLanguageFactory.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VampireLanguageFactory.java
index 0fb23c87..171bb39e 100644
--- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VampireLanguageFactory.java
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VampireLanguageFactory.java
@@ -33,76 +33,94 @@ public interface VampireLanguageFactory extends EFactory
33 VampireModel createVampireModel(); 33 VampireModel createVampireModel();
34 34
35 /** 35 /**
36 * Returns a new object of class '<em>VLS Include</em>'. 36 * Returns a new object of class '<em>VLS Comment</em>'.
37 * <!-- begin-user-doc --> 37 * <!-- begin-user-doc -->
38 * <!-- end-user-doc --> 38 * <!-- end-user-doc -->
39 * @return a new object of class '<em>VLS Include</em>'. 39 * @return a new object of class '<em>VLS Comment</em>'.
40 * @generated 40 * @generated
41 */ 41 */
42 VLSInclude createVLSInclude(); 42 VLSComment createVLSComment();
43 43
44 /** 44 /**
45 * Returns a new object of class '<em>VLS Name</em>'. 45 * Returns a new object of class '<em>VLS Confirmations</em>'.
46 * <!-- begin-user-doc --> 46 * <!-- begin-user-doc -->
47 * <!-- end-user-doc --> 47 * <!-- end-user-doc -->
48 * @return a new object of class '<em>VLS Name</em>'. 48 * @return a new object of class '<em>VLS Confirmations</em>'.
49 * @generated 49 * @generated
50 */ 50 */
51 VLSName createVLSName(); 51 VLSConfirmations createVLSConfirmations();
52 52
53 /** 53 /**
54 * Returns a new object of class '<em>VLS Comment</em>'. 54 * Returns a new object of class '<em>VLS Fof Formula</em>'.
55 * <!-- begin-user-doc --> 55 * <!-- begin-user-doc -->
56 * <!-- end-user-doc --> 56 * <!-- end-user-doc -->
57 * @return a new object of class '<em>VLS Comment</em>'. 57 * @return a new object of class '<em>VLS Fof Formula</em>'.
58 * @generated 58 * @generated
59 */ 59 */
60 VLSComment createVLSComment(); 60 VLSFofFormula createVLSFofFormula();
61 61
62 /** 62 /**
63 * Returns a new object of class '<em>VLS Confirmations</em>'. 63 * Returns a new object of class '<em>VLS Tff Formula</em>'.
64 * <!-- begin-user-doc --> 64 * <!-- begin-user-doc -->
65 * <!-- end-user-doc --> 65 * <!-- end-user-doc -->
66 * @return a new object of class '<em>VLS Confirmations</em>'. 66 * @return a new object of class '<em>VLS Tff Formula</em>'.
67 * @generated 67 * @generated
68 */ 68 */
69 VLSConfirmations createVLSConfirmations(); 69 VLSTffFormula createVLSTffFormula();
70 70
71 /** 71 /**
72 * Returns a new object of class '<em>VLS Satisfiable</em>'. 72 * Returns a new object of class '<em>VLS Annotation</em>'.
73 * <!-- begin-user-doc --> 73 * <!-- begin-user-doc -->
74 * <!-- end-user-doc --> 74 * <!-- end-user-doc -->
75 * @return a new object of class '<em>VLS Satisfiable</em>'. 75 * @return a new object of class '<em>VLS Annotation</em>'.
76 * @generated 76 * @generated
77 */ 77 */
78 VLSSatisfiable createVLSSatisfiable(); 78 VLSAnnotation createVLSAnnotation();
79 79
80 /** 80 /**
81 * Returns a new object of class '<em>VLS Fof Formula</em>'. 81 * Returns a new object of class '<em>VLS Tff Term</em>'.
82 * <!-- begin-user-doc --> 82 * <!-- begin-user-doc -->
83 * <!-- end-user-doc --> 83 * <!-- end-user-doc -->
84 * @return a new object of class '<em>VLS Fof Formula</em>'. 84 * @return a new object of class '<em>VLS Tff Term</em>'.
85 * @generated 85 * @generated
86 */ 86 */
87 VLSFofFormula createVLSFofFormula(); 87 VLSTffTerm createVLSTffTerm();
88 88
89 /** 89 /**
90 * Returns a new object of class '<em>VLS Tff Formula</em>'. 90 * Returns a new object of class '<em>VLS Declaration</em>'.
91 * <!-- begin-user-doc --> 91 * <!-- begin-user-doc -->
92 * <!-- end-user-doc --> 92 * <!-- end-user-doc -->
93 * @return a new object of class '<em>VLS Tff Formula</em>'. 93 * @return a new object of class '<em>VLS Declaration</em>'.
94 * @generated 94 * @generated
95 */ 95 */
96 VLSTffFormula createVLSTffFormula(); 96 VLSDeclaration createVLSDeclaration();
97 97
98 /** 98 /**
99 * Returns a new object of class '<em>VLS Annotation</em>'. 99 * Returns a new object of class '<em>VLS Other Declaration</em>'.
100 * <!-- begin-user-doc --> 100 * <!-- begin-user-doc -->
101 * <!-- end-user-doc --> 101 * <!-- end-user-doc -->
102 * @return a new object of class '<em>VLS Annotation</em>'. 102 * @return a new object of class '<em>VLS Other Declaration</em>'.
103 * @generated 103 * @generated
104 */ 104 */
105 VLSAnnotation createVLSAnnotation(); 105 VLSOtherDeclaration createVLSOtherDeclaration();
106
107 /**
108 * Returns a new object of class '<em>VLS Variable Declaration</em>'.
109 * <!-- begin-user-doc -->
110 * <!-- end-user-doc -->
111 * @return a new object of class '<em>VLS Variable Declaration</em>'.
112 * @generated
113 */
114 VLSVariableDeclaration createVLSVariableDeclaration();
115
116 /**
117 * Returns a new object of class '<em>VLS Type Def</em>'.
118 * <!-- begin-user-doc -->
119 * <!-- end-user-doc -->
120 * @return a new object of class '<em>VLS Type Def</em>'.
121 * @generated
122 */
123 VLSTypeDef createVLSTypeDef();
106 124
107 /** 125 /**
108 * Returns a new object of class '<em>VLS Term</em>'. 126 * Returns a new object of class '<em>VLS Term</em>'.
@@ -141,6 +159,42 @@ public interface VampireLanguageFactory extends EFactory
141 VLSDefinedTerm createVLSDefinedTerm(); 159 VLSDefinedTerm createVLSDefinedTerm();
142 160
143 /** 161 /**
162 * Returns a new object of class '<em>VLS Satisfiable</em>'.
163 * <!-- begin-user-doc -->
164 * <!-- end-user-doc -->
165 * @return a new object of class '<em>VLS Satisfiable</em>'.
166 * @generated
167 */
168 VLSSatisfiable createVLSSatisfiable();
169
170 /**
171 * Returns a new object of class '<em>VLS Warning</em>'.
172 * <!-- begin-user-doc -->
173 * <!-- end-user-doc -->
174 * @return a new object of class '<em>VLS Warning</em>'.
175 * @generated
176 */
177 VLSWarning createVLSWarning();
178
179 /**
180 * Returns a new object of class '<em>VLS Trying</em>'.
181 * <!-- begin-user-doc -->
182 * <!-- end-user-doc -->
183 * @return a new object of class '<em>VLS Trying</em>'.
184 * @generated
185 */
186 VLSTrying createVLSTrying();
187
188 /**
189 * Returns a new object of class '<em>VLS Finite Model</em>'.
190 * <!-- begin-user-doc -->
191 * <!-- end-user-doc -->
192 * @return a new object of class '<em>VLS Finite Model</em>'.
193 * @generated
194 */
195 VLSFiniteModel createVLSFiniteModel();
196
197 /**
144 * Returns a new object of class '<em>VLS Equivalent</em>'. 198 * Returns a new object of class '<em>VLS Equivalent</em>'.
145 * <!-- begin-user-doc --> 199 * <!-- begin-user-doc -->
146 * <!-- end-user-doc --> 200 * <!-- end-user-doc -->
@@ -321,24 +375,6 @@ public interface VampireLanguageFactory extends EFactory
321 VLSInt createVLSInt(); 375 VLSInt createVLSInt();
322 376
323 /** 377 /**
324 * Returns a new object of class '<em>VLS Real</em>'.
325 * <!-- begin-user-doc -->
326 * <!-- end-user-doc -->
327 * @return a new object of class '<em>VLS Real</em>'.
328 * @generated
329 */
330 VLSReal createVLSReal();
331
332 /**
333 * Returns a new object of class '<em>VLS Rational</em>'.
334 * <!-- begin-user-doc -->
335 * <!-- end-user-doc -->
336 * @return a new object of class '<em>VLS Rational</em>'.
337 * @generated
338 */
339 VLSRational createVLSRational();
340
341 /**
342 * Returns a new object of class '<em>VLS Double Quote</em>'. 378 * Returns a new object of class '<em>VLS Double Quote</em>'.
343 * <!-- begin-user-doc --> 379 * <!-- begin-user-doc -->
344 * <!-- end-user-doc --> 380 * <!-- end-user-doc -->
generated by cgit v1.2.3-54-g00ecf (git 2.45.1) at 2024-05-28 10:26:36 +0000