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