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.java332
1 files changed, 332 insertions, 0 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
new file mode 100644
index 00000000..3896cc7f
--- /dev/null
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VampireLanguageFactory.java
@@ -0,0 +1,332 @@
1/**
2 * generated by Xtext 2.12.0
3 */
4package ca.mcgill.ecse.dslreasoner.vampireLanguage;
5
6import org.eclipse.emf.ecore.EFactory;
7
8/**
9 * <!-- begin-user-doc -->
10 * The <b>Factory</b> for the model.
11 * It provides a create method for each non-abstract class of the model.
12 * <!-- end-user-doc -->
13 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage
14 * @generated
15 */
16public interface VampireLanguageFactory extends EFactory
17{
18 /**
19 * The singleton instance of the factory.
20 * <!-- begin-user-doc -->
21 * <!-- end-user-doc -->
22 * @generated
23 */
24 VampireLanguageFactory eINSTANCE = ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguageFactoryImpl.init();
25
26 /**
27 * Returns a new object of class '<em>Vampire Model</em>'.
28 * <!-- begin-user-doc -->
29 * <!-- end-user-doc -->
30 * @return a new object of class '<em>Vampire Model</em>'.
31 * @generated
32 */
33 VampireModel createVampireModel();
34
35 /**
36 * Returns a new object of class '<em>VLS Include</em>'.
37 * <!-- begin-user-doc -->
38 * <!-- end-user-doc -->
39 * @return a new object of class '<em>VLS Include</em>'.
40 * @generated
41 */
42 VLSInclude createVLSInclude();
43
44 /**
45 * Returns a new object of class '<em>VLS Name</em>'.
46 * <!-- begin-user-doc -->
47 * <!-- end-user-doc -->
48 * @return a new object of class '<em>VLS Name</em>'.
49 * @generated
50 */
51 VLSName createVLSName();
52
53 /**
54 * Returns a new object of class '<em>VLS Comment</em>'.
55 * <!-- begin-user-doc -->
56 * <!-- end-user-doc -->
57 * @return a new object of class '<em>VLS Comment</em>'.
58 * @generated
59 */
60 VLSComment createVLSComment();
61
62 /**
63 * Returns a new object of class '<em>VLS Fof Formula</em>'.
64 * <!-- begin-user-doc -->
65 * <!-- end-user-doc -->
66 * @return a new object of class '<em>VLS Fof Formula</em>'.
67 * @generated
68 */
69 VLSFofFormula createVLSFofFormula();
70
71 /**
72 * Returns a new object of class '<em>VLS Annotation</em>'.
73 * <!-- begin-user-doc -->
74 * <!-- end-user-doc -->
75 * @return a new object of class '<em>VLS Annotation</em>'.
76 * @generated
77 */
78 VLSAnnotation createVLSAnnotation();
79
80 /**
81 * Returns a new object of class '<em>VLS Term</em>'.
82 * <!-- begin-user-doc -->
83 * <!-- end-user-doc -->
84 * @return a new object of class '<em>VLS Term</em>'.
85 * @generated
86 */
87 VLSTerm createVLSTerm();
88
89 /**
90 * Returns a new object of class '<em>VLS Variable</em>'.
91 * <!-- begin-user-doc -->
92 * <!-- end-user-doc -->
93 * @return a new object of class '<em>VLS Variable</em>'.
94 * @generated
95 */
96 VLSVariable createVLSVariable();
97
98 /**
99 * Returns a new object of class '<em>VLS Function Fof</em>'.
100 * <!-- begin-user-doc -->
101 * <!-- end-user-doc -->
102 * @return a new object of class '<em>VLS Function Fof</em>'.
103 * @generated
104 */
105 VLSFunctionFof createVLSFunctionFof();
106
107 /**
108 * Returns a new object of class '<em>VLS Defined Term</em>'.
109 * <!-- begin-user-doc -->
110 * <!-- end-user-doc -->
111 * @return a new object of class '<em>VLS Defined Term</em>'.
112 * @generated
113 */
114 VLSDefinedTerm createVLSDefinedTerm();
115
116 /**
117 * Returns a new object of class '<em>VLS Equivalent</em>'.
118 * <!-- begin-user-doc -->
119 * <!-- end-user-doc -->
120 * @return a new object of class '<em>VLS Equivalent</em>'.
121 * @generated
122 */
123 VLSEquivalent createVLSEquivalent();
124
125 /**
126 * Returns a new object of class '<em>VLS Implies</em>'.
127 * <!-- begin-user-doc -->
128 * <!-- end-user-doc -->
129 * @return a new object of class '<em>VLS Implies</em>'.
130 * @generated
131 */
132 VLSImplies createVLSImplies();
133
134 /**
135 * Returns a new object of class '<em>VLS Rev Implies</em>'.
136 * <!-- begin-user-doc -->
137 * <!-- end-user-doc -->
138 * @return a new object of class '<em>VLS Rev Implies</em>'.
139 * @generated
140 */
141 VLSRevImplies createVLSRevImplies();
142
143 /**
144 * Returns a new object of class '<em>VLS Xnor</em>'.
145 * <!-- begin-user-doc -->
146 * <!-- end-user-doc -->
147 * @return a new object of class '<em>VLS Xnor</em>'.
148 * @generated
149 */
150 VLSXnor createVLSXnor();
151
152 /**
153 * Returns a new object of class '<em>VLS Nor</em>'.
154 * <!-- begin-user-doc -->
155 * <!-- end-user-doc -->
156 * @return a new object of class '<em>VLS Nor</em>'.
157 * @generated
158 */
159 VLSNor createVLSNor();
160
161 /**
162 * Returns a new object of class '<em>VLS Nand</em>'.
163 * <!-- begin-user-doc -->
164 * <!-- end-user-doc -->
165 * @return a new object of class '<em>VLS Nand</em>'.
166 * @generated
167 */
168 VLSNand createVLSNand();
169
170 /**
171 * Returns a new object of class '<em>VLS And</em>'.
172 * <!-- begin-user-doc -->
173 * <!-- end-user-doc -->
174 * @return a new object of class '<em>VLS And</em>'.
175 * @generated
176 */
177 VLSAnd createVLSAnd();
178
179 /**
180 * Returns a new object of class '<em>VLS Or</em>'.
181 * <!-- begin-user-doc -->
182 * <!-- end-user-doc -->
183 * @return a new object of class '<em>VLS Or</em>'.
184 * @generated
185 */
186 VLSOr createVLSOr();
187
188 /**
189 * Returns a new object of class '<em>VLS Universal Quantifier</em>'.
190 * <!-- begin-user-doc -->
191 * <!-- end-user-doc -->
192 * @return a new object of class '<em>VLS Universal Quantifier</em>'.
193 * @generated
194 */
195 VLSUniversalQuantifier createVLSUniversalQuantifier();
196
197 /**
198 * Returns a new object of class '<em>VLS Existential Quantifier</em>'.
199 * <!-- begin-user-doc -->
200 * <!-- end-user-doc -->
201 * @return a new object of class '<em>VLS Existential Quantifier</em>'.
202 * @generated
203 */
204 VLSExistentialQuantifier createVLSExistentialQuantifier();
205
206 /**
207 * Returns a new object of class '<em>VLS Unary Negation</em>'.
208 * <!-- begin-user-doc -->
209 * <!-- end-user-doc -->
210 * @return a new object of class '<em>VLS Unary Negation</em>'.
211 * @generated
212 */
213 VLSUnaryNegation createVLSUnaryNegation();
214
215 /**
216 * Returns a new object of class '<em>VLS Inequality</em>'.
217 * <!-- begin-user-doc -->
218 * <!-- end-user-doc -->
219 * @return a new object of class '<em>VLS Inequality</em>'.
220 * @generated
221 */
222 VLSInequality createVLSInequality();
223
224 /**
225 * Returns a new object of class '<em>VLS Equality</em>'.
226 * <!-- begin-user-doc -->
227 * <!-- end-user-doc -->
228 * @return a new object of class '<em>VLS Equality</em>'.
229 * @generated
230 */
231 VLSEquality createVLSEquality();
232
233 /**
234 * Returns a new object of class '<em>VLS Assignment</em>'.
235 * <!-- begin-user-doc -->
236 * <!-- end-user-doc -->
237 * @return a new object of class '<em>VLS Assignment</em>'.
238 * @generated
239 */
240 VLSAssignment createVLSAssignment();
241
242 /**
243 * Returns a new object of class '<em>VLS Constant</em>'.
244 * <!-- begin-user-doc -->
245 * <!-- end-user-doc -->
246 * @return a new object of class '<em>VLS Constant</em>'.
247 * @generated
248 */
249 VLSConstant createVLSConstant();
250
251 /**
252 * Returns a new object of class '<em>VLS True</em>'.
253 * <!-- begin-user-doc -->
254 * <!-- end-user-doc -->
255 * @return a new object of class '<em>VLS True</em>'.
256 * @generated
257 */
258 VLSTrue createVLSTrue();
259
260 /**
261 * Returns a new object of class '<em>VLS False</em>'.
262 * <!-- begin-user-doc -->
263 * <!-- end-user-doc -->
264 * @return a new object of class '<em>VLS False</em>'.
265 * @generated
266 */
267 VLSFalse createVLSFalse();
268
269 /**
270 * Returns a new object of class '<em>VLS Function</em>'.
271 * <!-- begin-user-doc -->
272 * <!-- end-user-doc -->
273 * @return a new object of class '<em>VLS Function</em>'.
274 * @generated
275 */
276 VLSFunction createVLSFunction();
277
278 /**
279 * Returns a new object of class '<em>VLS Less</em>'.
280 * <!-- begin-user-doc -->
281 * <!-- end-user-doc -->
282 * @return a new object of class '<em>VLS Less</em>'.
283 * @generated
284 */
285 VLSLess createVLSLess();
286
287 /**
288 * Returns a new object of class '<em>VLS Int</em>'.
289 * <!-- begin-user-doc -->
290 * <!-- end-user-doc -->
291 * @return a new object of class '<em>VLS Int</em>'.
292 * @generated
293 */
294 VLSInt createVLSInt();
295
296 /**
297 * Returns a new object of class '<em>VLS Real</em>'.
298 * <!-- begin-user-doc -->
299 * <!-- end-user-doc -->
300 * @return a new object of class '<em>VLS Real</em>'.
301 * @generated
302 */
303 VLSReal createVLSReal();
304
305 /**
306 * Returns a new object of class '<em>VLS Rational</em>'.
307 * <!-- begin-user-doc -->
308 * <!-- end-user-doc -->
309 * @return a new object of class '<em>VLS Rational</em>'.
310 * @generated
311 */
312 VLSRational createVLSRational();
313
314 /**
315 * Returns a new object of class '<em>VLS Double Quote</em>'.
316 * <!-- begin-user-doc -->
317 * <!-- end-user-doc -->
318 * @return a new object of class '<em>VLS Double Quote</em>'.
319 * @generated
320 */
321 VLSDoubleQuote createVLSDoubleQuote();
322
323 /**
324 * Returns the package supported by this factory.
325 * <!-- begin-user-doc -->
326 * <!-- end-user-doc -->
327 * @return the package supported by this factory.
328 * @generated
329 */
330 VampireLanguagePackage getVampireLanguagePackage();
331
332} //VampireLanguageFactory
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-25 19:41:32 +0000