diff options
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireLanguagePackageImpl.java')
-rw-r--r-- | Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireLanguagePackageImpl.java | 1644 |
1 files changed, 1644 insertions, 0 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireLanguagePackageImpl.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireLanguagePackageImpl.java new file mode 100644 index 00000000..2907b35d --- /dev/null +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireLanguagePackageImpl.java | |||
@@ -0,0 +1,1644 @@ | |||
1 | /** | ||
2 | * generated by Xtext 2.14.0 | ||
3 | */ | ||
4 | package ca.mcgill.ecse.dslreasoner.vampireLanguage.impl; | ||
5 | |||
6 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSAnd; | ||
7 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSAnnotation; | ||
8 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSAssignment; | ||
9 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSComment; | ||
10 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSConfirmations; | ||
11 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSConstant; | ||
12 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSDefinedTerm; | ||
13 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSDoubleQuote; | ||
14 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSEquality; | ||
15 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSEquivalent; | ||
16 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSExistentialQuantifier; | ||
17 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFalse; | ||
18 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFofFormula; | ||
19 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunction; | ||
20 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunctionAsTerm; | ||
21 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSImplies; | ||
22 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSInclude; | ||
23 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSInequality; | ||
24 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSInt; | ||
25 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSLess; | ||
26 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSName; | ||
27 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSNand; | ||
28 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSNor; | ||
29 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSOr; | ||
30 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSRational; | ||
31 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSReal; | ||
32 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSRevImplies; | ||
33 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSSatisfiable; | ||
34 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTerm; | ||
35 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTffFormula; | ||
36 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTrue; | ||
37 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSUnaryNegation; | ||
38 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSUniversalQuantifier; | ||
39 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariable; | ||
40 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSXnor; | ||
41 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguageFactory; | ||
42 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage; | ||
43 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireModel; | ||
44 | |||
45 | import org.eclipse.emf.ecore.EAttribute; | ||
46 | import org.eclipse.emf.ecore.EClass; | ||
47 | import org.eclipse.emf.ecore.EPackage; | ||
48 | import org.eclipse.emf.ecore.EReference; | ||
49 | |||
50 | import org.eclipse.emf.ecore.impl.EPackageImpl; | ||
51 | |||
52 | /** | ||
53 | * <!-- begin-user-doc --> | ||
54 | * An implementation of the model <b>Package</b>. | ||
55 | * <!-- end-user-doc --> | ||
56 | * @generated | ||
57 | */ | ||
58 | public class VampireLanguagePackageImpl extends EPackageImpl implements VampireLanguagePackage | ||
59 | { | ||
60 | /** | ||
61 | * <!-- begin-user-doc --> | ||
62 | * <!-- end-user-doc --> | ||
63 | * @generated | ||
64 | */ | ||
65 | private EClass vampireModelEClass = null; | ||
66 | |||
67 | /** | ||
68 | * <!-- begin-user-doc --> | ||
69 | * <!-- end-user-doc --> | ||
70 | * @generated | ||
71 | */ | ||
72 | private EClass vlsIncludeEClass = null; | ||
73 | |||
74 | /** | ||
75 | * <!-- begin-user-doc --> | ||
76 | * <!-- end-user-doc --> | ||
77 | * @generated | ||
78 | */ | ||
79 | private EClass vlsNameEClass = null; | ||
80 | |||
81 | /** | ||
82 | * <!-- begin-user-doc --> | ||
83 | * <!-- end-user-doc --> | ||
84 | * @generated | ||
85 | */ | ||
86 | private EClass vlsCommentEClass = null; | ||
87 | |||
88 | /** | ||
89 | * <!-- begin-user-doc --> | ||
90 | * <!-- end-user-doc --> | ||
91 | * @generated | ||
92 | */ | ||
93 | private EClass vlsConfirmationsEClass = null; | ||
94 | |||
95 | /** | ||
96 | * <!-- begin-user-doc --> | ||
97 | * <!-- end-user-doc --> | ||
98 | * @generated | ||
99 | */ | ||
100 | private EClass vlsSatisfiableEClass = null; | ||
101 | |||
102 | /** | ||
103 | * <!-- begin-user-doc --> | ||
104 | * <!-- end-user-doc --> | ||
105 | * @generated | ||
106 | */ | ||
107 | private EClass vlsFofFormulaEClass = null; | ||
108 | |||
109 | /** | ||
110 | * <!-- begin-user-doc --> | ||
111 | * <!-- end-user-doc --> | ||
112 | * @generated | ||
113 | */ | ||
114 | private EClass vlsTffFormulaEClass = null; | ||
115 | |||
116 | /** | ||
117 | * <!-- begin-user-doc --> | ||
118 | * <!-- end-user-doc --> | ||
119 | * @generated | ||
120 | */ | ||
121 | private EClass vlsAnnotationEClass = null; | ||
122 | |||
123 | /** | ||
124 | * <!-- begin-user-doc --> | ||
125 | * <!-- end-user-doc --> | ||
126 | * @generated | ||
127 | */ | ||
128 | private EClass vlsTermEClass = null; | ||
129 | |||
130 | /** | ||
131 | * <!-- begin-user-doc --> | ||
132 | * <!-- end-user-doc --> | ||
133 | * @generated | ||
134 | */ | ||
135 | private EClass vlsVariableEClass = null; | ||
136 | |||
137 | /** | ||
138 | * <!-- begin-user-doc --> | ||
139 | * <!-- end-user-doc --> | ||
140 | * @generated | ||
141 | */ | ||
142 | private EClass vlsFunctionAsTermEClass = null; | ||
143 | |||
144 | /** | ||
145 | * <!-- begin-user-doc --> | ||
146 | * <!-- end-user-doc --> | ||
147 | * @generated | ||
148 | */ | ||
149 | private EClass vlsDefinedTermEClass = null; | ||
150 | |||
151 | /** | ||
152 | * <!-- begin-user-doc --> | ||
153 | * <!-- end-user-doc --> | ||
154 | * @generated | ||
155 | */ | ||
156 | private EClass vlsEquivalentEClass = null; | ||
157 | |||
158 | /** | ||
159 | * <!-- begin-user-doc --> | ||
160 | * <!-- end-user-doc --> | ||
161 | * @generated | ||
162 | */ | ||
163 | private EClass vlsImpliesEClass = null; | ||
164 | |||
165 | /** | ||
166 | * <!-- begin-user-doc --> | ||
167 | * <!-- end-user-doc --> | ||
168 | * @generated | ||
169 | */ | ||
170 | private EClass vlsRevImpliesEClass = null; | ||
171 | |||
172 | /** | ||
173 | * <!-- begin-user-doc --> | ||
174 | * <!-- end-user-doc --> | ||
175 | * @generated | ||
176 | */ | ||
177 | private EClass vlsXnorEClass = null; | ||
178 | |||
179 | /** | ||
180 | * <!-- begin-user-doc --> | ||
181 | * <!-- end-user-doc --> | ||
182 | * @generated | ||
183 | */ | ||
184 | private EClass vlsNorEClass = null; | ||
185 | |||
186 | /** | ||
187 | * <!-- begin-user-doc --> | ||
188 | * <!-- end-user-doc --> | ||
189 | * @generated | ||
190 | */ | ||
191 | private EClass vlsNandEClass = null; | ||
192 | |||
193 | /** | ||
194 | * <!-- begin-user-doc --> | ||
195 | * <!-- end-user-doc --> | ||
196 | * @generated | ||
197 | */ | ||
198 | private EClass vlsAndEClass = null; | ||
199 | |||
200 | /** | ||
201 | * <!-- begin-user-doc --> | ||
202 | * <!-- end-user-doc --> | ||
203 | * @generated | ||
204 | */ | ||
205 | private EClass vlsOrEClass = null; | ||
206 | |||
207 | /** | ||
208 | * <!-- begin-user-doc --> | ||
209 | * <!-- end-user-doc --> | ||
210 | * @generated | ||
211 | */ | ||
212 | private EClass vlsUniversalQuantifierEClass = null; | ||
213 | |||
214 | /** | ||
215 | * <!-- begin-user-doc --> | ||
216 | * <!-- end-user-doc --> | ||
217 | * @generated | ||
218 | */ | ||
219 | private EClass vlsExistentialQuantifierEClass = null; | ||
220 | |||
221 | /** | ||
222 | * <!-- begin-user-doc --> | ||
223 | * <!-- end-user-doc --> | ||
224 | * @generated | ||
225 | */ | ||
226 | private EClass vlsUnaryNegationEClass = null; | ||
227 | |||
228 | /** | ||
229 | * <!-- begin-user-doc --> | ||
230 | * <!-- end-user-doc --> | ||
231 | * @generated | ||
232 | */ | ||
233 | private EClass vlsInequalityEClass = null; | ||
234 | |||
235 | /** | ||
236 | * <!-- begin-user-doc --> | ||
237 | * <!-- end-user-doc --> | ||
238 | * @generated | ||
239 | */ | ||
240 | private EClass vlsEqualityEClass = null; | ||
241 | |||
242 | /** | ||
243 | * <!-- begin-user-doc --> | ||
244 | * <!-- end-user-doc --> | ||
245 | * @generated | ||
246 | */ | ||
247 | private EClass vlsAssignmentEClass = null; | ||
248 | |||
249 | /** | ||
250 | * <!-- begin-user-doc --> | ||
251 | * <!-- end-user-doc --> | ||
252 | * @generated | ||
253 | */ | ||
254 | private EClass vlsConstantEClass = null; | ||
255 | |||
256 | /** | ||
257 | * <!-- begin-user-doc --> | ||
258 | * <!-- end-user-doc --> | ||
259 | * @generated | ||
260 | */ | ||
261 | private EClass vlsTrueEClass = null; | ||
262 | |||
263 | /** | ||
264 | * <!-- begin-user-doc --> | ||
265 | * <!-- end-user-doc --> | ||
266 | * @generated | ||
267 | */ | ||
268 | private EClass vlsFalseEClass = null; | ||
269 | |||
270 | /** | ||
271 | * <!-- begin-user-doc --> | ||
272 | * <!-- end-user-doc --> | ||
273 | * @generated | ||
274 | */ | ||
275 | private EClass vlsFunctionEClass = null; | ||
276 | |||
277 | /** | ||
278 | * <!-- begin-user-doc --> | ||
279 | * <!-- end-user-doc --> | ||
280 | * @generated | ||
281 | */ | ||
282 | private EClass vlsLessEClass = null; | ||
283 | |||
284 | /** | ||
285 | * <!-- begin-user-doc --> | ||
286 | * <!-- end-user-doc --> | ||
287 | * @generated | ||
288 | */ | ||
289 | private EClass vlsIntEClass = null; | ||
290 | |||
291 | /** | ||
292 | * <!-- begin-user-doc --> | ||
293 | * <!-- end-user-doc --> | ||
294 | * @generated | ||
295 | */ | ||
296 | private EClass vlsRealEClass = null; | ||
297 | |||
298 | /** | ||
299 | * <!-- begin-user-doc --> | ||
300 | * <!-- end-user-doc --> | ||
301 | * @generated | ||
302 | */ | ||
303 | private EClass vlsRationalEClass = null; | ||
304 | |||
305 | /** | ||
306 | * <!-- begin-user-doc --> | ||
307 | * <!-- end-user-doc --> | ||
308 | * @generated | ||
309 | */ | ||
310 | private EClass vlsDoubleQuoteEClass = null; | ||
311 | |||
312 | /** | ||
313 | * Creates an instance of the model <b>Package</b>, registered with | ||
314 | * {@link org.eclipse.emf.ecore.EPackage.Registry EPackage.Registry} by the package | ||
315 | * package URI value. | ||
316 | * <p>Note: the correct way to create the package is via the static | ||
317 | * factory method {@link #init init()}, which also performs | ||
318 | * initialization of the package, or returns the registered package, | ||
319 | * if one already exists. | ||
320 | * <!-- begin-user-doc --> | ||
321 | * <!-- end-user-doc --> | ||
322 | * @see org.eclipse.emf.ecore.EPackage.Registry | ||
323 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage#eNS_URI | ||
324 | * @see #init() | ||
325 | * @generated | ||
326 | */ | ||
327 | private VampireLanguagePackageImpl() | ||
328 | { | ||
329 | super(eNS_URI, VampireLanguageFactory.eINSTANCE); | ||
330 | } | ||
331 | |||
332 | /** | ||
333 | * <!-- begin-user-doc --> | ||
334 | * <!-- end-user-doc --> | ||
335 | * @generated | ||
336 | */ | ||
337 | private static boolean isInited = false; | ||
338 | |||
339 | /** | ||
340 | * Creates, registers, and initializes the <b>Package</b> for this model, and for any others upon which it depends. | ||
341 | * | ||
342 | * <p>This method is used to initialize {@link VampireLanguagePackage#eINSTANCE} when that field is accessed. | ||
343 | * Clients should not invoke it directly. Instead, they should simply access that field to obtain the package. | ||
344 | * <!-- begin-user-doc --> | ||
345 | * <!-- end-user-doc --> | ||
346 | * @see #eNS_URI | ||
347 | * @see #createPackageContents() | ||
348 | * @see #initializePackageContents() | ||
349 | * @generated | ||
350 | */ | ||
351 | public static VampireLanguagePackage init() | ||
352 | { | ||
353 | if (isInited) return (VampireLanguagePackage)EPackage.Registry.INSTANCE.getEPackage(VampireLanguagePackage.eNS_URI); | ||
354 | |||
355 | // Obtain or create and register package | ||
356 | Object registeredVampireLanguagePackage = EPackage.Registry.INSTANCE.get(eNS_URI); | ||
357 | VampireLanguagePackageImpl theVampireLanguagePackage = registeredVampireLanguagePackage instanceof VampireLanguagePackageImpl ? (VampireLanguagePackageImpl)registeredVampireLanguagePackage : new VampireLanguagePackageImpl(); | ||
358 | |||
359 | isInited = true; | ||
360 | |||
361 | // Create package meta-data objects | ||
362 | theVampireLanguagePackage.createPackageContents(); | ||
363 | |||
364 | // Initialize created meta-data | ||
365 | theVampireLanguagePackage.initializePackageContents(); | ||
366 | |||
367 | // Mark meta-data to indicate it can't be changed | ||
368 | theVampireLanguagePackage.freeze(); | ||
369 | |||
370 | // Update the registry and return the package | ||
371 | EPackage.Registry.INSTANCE.put(VampireLanguagePackage.eNS_URI, theVampireLanguagePackage); | ||
372 | return theVampireLanguagePackage; | ||
373 | } | ||
374 | |||
375 | /** | ||
376 | * <!-- begin-user-doc --> | ||
377 | * <!-- end-user-doc --> | ||
378 | * @generated | ||
379 | */ | ||
380 | public EClass getVampireModel() | ||
381 | { | ||
382 | return vampireModelEClass; | ||
383 | } | ||
384 | |||
385 | /** | ||
386 | * <!-- begin-user-doc --> | ||
387 | * <!-- end-user-doc --> | ||
388 | * @generated | ||
389 | */ | ||
390 | public EReference getVampireModel_Includes() | ||
391 | { | ||
392 | return (EReference)vampireModelEClass.getEStructuralFeatures().get(0); | ||
393 | } | ||
394 | |||
395 | /** | ||
396 | * <!-- begin-user-doc --> | ||
397 | * <!-- end-user-doc --> | ||
398 | * @generated | ||
399 | */ | ||
400 | public EReference getVampireModel_Comments() | ||
401 | { | ||
402 | return (EReference)vampireModelEClass.getEStructuralFeatures().get(1); | ||
403 | } | ||
404 | |||
405 | /** | ||
406 | * <!-- begin-user-doc --> | ||
407 | * <!-- end-user-doc --> | ||
408 | * @generated | ||
409 | */ | ||
410 | public EReference getVampireModel_Confirmations() | ||
411 | { | ||
412 | return (EReference)vampireModelEClass.getEStructuralFeatures().get(2); | ||
413 | } | ||
414 | |||
415 | /** | ||
416 | * <!-- begin-user-doc --> | ||
417 | * <!-- end-user-doc --> | ||
418 | * @generated | ||
419 | */ | ||
420 | public EReference getVampireModel_Formulas() | ||
421 | { | ||
422 | return (EReference)vampireModelEClass.getEStructuralFeatures().get(3); | ||
423 | } | ||
424 | |||
425 | /** | ||
426 | * <!-- begin-user-doc --> | ||
427 | * <!-- end-user-doc --> | ||
428 | * @generated | ||
429 | */ | ||
430 | public EReference getVampireModel_Tfformulas() | ||
431 | { | ||
432 | return (EReference)vampireModelEClass.getEStructuralFeatures().get(4); | ||
433 | } | ||
434 | |||
435 | /** | ||
436 | * <!-- begin-user-doc --> | ||
437 | * <!-- end-user-doc --> | ||
438 | * @generated | ||
439 | */ | ||
440 | public EClass getVLSInclude() | ||
441 | { | ||
442 | return vlsIncludeEClass; | ||
443 | } | ||
444 | |||
445 | /** | ||
446 | * <!-- begin-user-doc --> | ||
447 | * <!-- end-user-doc --> | ||
448 | * @generated | ||
449 | */ | ||
450 | public EAttribute getVLSInclude_FileName() | ||
451 | { | ||
452 | return (EAttribute)vlsIncludeEClass.getEStructuralFeatures().get(0); | ||
453 | } | ||
454 | |||
455 | /** | ||
456 | * <!-- begin-user-doc --> | ||
457 | * <!-- end-user-doc --> | ||
458 | * @generated | ||
459 | */ | ||
460 | public EReference getVLSInclude_Names() | ||
461 | { | ||
462 | return (EReference)vlsIncludeEClass.getEStructuralFeatures().get(1); | ||
463 | } | ||
464 | |||
465 | /** | ||
466 | * <!-- begin-user-doc --> | ||
467 | * <!-- end-user-doc --> | ||
468 | * @generated | ||
469 | */ | ||
470 | public EClass getVLSName() | ||
471 | { | ||
472 | return vlsNameEClass; | ||
473 | } | ||
474 | |||
475 | /** | ||
476 | * <!-- begin-user-doc --> | ||
477 | * <!-- end-user-doc --> | ||
478 | * @generated | ||
479 | */ | ||
480 | public EAttribute getVLSName_Name() | ||
481 | { | ||
482 | return (EAttribute)vlsNameEClass.getEStructuralFeatures().get(0); | ||
483 | } | ||
484 | |||
485 | /** | ||
486 | * <!-- begin-user-doc --> | ||
487 | * <!-- end-user-doc --> | ||
488 | * @generated | ||
489 | */ | ||
490 | public EClass getVLSComment() | ||
491 | { | ||
492 | return vlsCommentEClass; | ||
493 | } | ||
494 | |||
495 | /** | ||
496 | * <!-- begin-user-doc --> | ||
497 | * <!-- end-user-doc --> | ||
498 | * @generated | ||
499 | */ | ||
500 | public EAttribute getVLSComment_Comment() | ||
501 | { | ||
502 | return (EAttribute)vlsCommentEClass.getEStructuralFeatures().get(0); | ||
503 | } | ||
504 | |||
505 | /** | ||
506 | * <!-- begin-user-doc --> | ||
507 | * <!-- end-user-doc --> | ||
508 | * @generated | ||
509 | */ | ||
510 | public EClass getVLSConfirmations() | ||
511 | { | ||
512 | return vlsConfirmationsEClass; | ||
513 | } | ||
514 | |||
515 | /** | ||
516 | * <!-- begin-user-doc --> | ||
517 | * <!-- end-user-doc --> | ||
518 | * @generated | ||
519 | */ | ||
520 | public EClass getVLSSatisfiable() | ||
521 | { | ||
522 | return vlsSatisfiableEClass; | ||
523 | } | ||
524 | |||
525 | /** | ||
526 | * <!-- begin-user-doc --> | ||
527 | * <!-- end-user-doc --> | ||
528 | * @generated | ||
529 | */ | ||
530 | public EClass getVLSFofFormula() | ||
531 | { | ||
532 | return vlsFofFormulaEClass; | ||
533 | } | ||
534 | |||
535 | /** | ||
536 | * <!-- begin-user-doc --> | ||
537 | * <!-- end-user-doc --> | ||
538 | * @generated | ||
539 | */ | ||
540 | public EAttribute getVLSFofFormula_Name() | ||
541 | { | ||
542 | return (EAttribute)vlsFofFormulaEClass.getEStructuralFeatures().get(0); | ||
543 | } | ||
544 | |||
545 | /** | ||
546 | * <!-- begin-user-doc --> | ||
547 | * <!-- end-user-doc --> | ||
548 | * @generated | ||
549 | */ | ||
550 | public EAttribute getVLSFofFormula_FofRole() | ||
551 | { | ||
552 | return (EAttribute)vlsFofFormulaEClass.getEStructuralFeatures().get(1); | ||
553 | } | ||
554 | |||
555 | /** | ||
556 | * <!-- begin-user-doc --> | ||
557 | * <!-- end-user-doc --> | ||
558 | * @generated | ||
559 | */ | ||
560 | public EReference getVLSFofFormula_FofFormula() | ||
561 | { | ||
562 | return (EReference)vlsFofFormulaEClass.getEStructuralFeatures().get(2); | ||
563 | } | ||
564 | |||
565 | /** | ||
566 | * <!-- begin-user-doc --> | ||
567 | * <!-- end-user-doc --> | ||
568 | * @generated | ||
569 | */ | ||
570 | public EReference getVLSFofFormula_Annotations() | ||
571 | { | ||
572 | return (EReference)vlsFofFormulaEClass.getEStructuralFeatures().get(3); | ||
573 | } | ||
574 | |||
575 | /** | ||
576 | * <!-- begin-user-doc --> | ||
577 | * <!-- end-user-doc --> | ||
578 | * @generated | ||
579 | */ | ||
580 | public EClass getVLSTffFormula() | ||
581 | { | ||
582 | return vlsTffFormulaEClass; | ||
583 | } | ||
584 | |||
585 | /** | ||
586 | * <!-- begin-user-doc --> | ||
587 | * <!-- end-user-doc --> | ||
588 | * @generated | ||
589 | */ | ||
590 | public EAttribute getVLSTffFormula_Name() | ||
591 | { | ||
592 | return (EAttribute)vlsTffFormulaEClass.getEStructuralFeatures().get(0); | ||
593 | } | ||
594 | |||
595 | /** | ||
596 | * <!-- begin-user-doc --> | ||
597 | * <!-- end-user-doc --> | ||
598 | * @generated | ||
599 | */ | ||
600 | public EAttribute getVLSTffFormula_FofRole() | ||
601 | { | ||
602 | return (EAttribute)vlsTffFormulaEClass.getEStructuralFeatures().get(1); | ||
603 | } | ||
604 | |||
605 | /** | ||
606 | * <!-- begin-user-doc --> | ||
607 | * <!-- end-user-doc --> | ||
608 | * @generated | ||
609 | */ | ||
610 | public EReference getVLSTffFormula_FofFormula() | ||
611 | { | ||
612 | return (EReference)vlsTffFormulaEClass.getEStructuralFeatures().get(2); | ||
613 | } | ||
614 | |||
615 | /** | ||
616 | * <!-- begin-user-doc --> | ||
617 | * <!-- end-user-doc --> | ||
618 | * @generated | ||
619 | */ | ||
620 | public EReference getVLSTffFormula_Annotations() | ||
621 | { | ||
622 | return (EReference)vlsTffFormulaEClass.getEStructuralFeatures().get(3); | ||
623 | } | ||
624 | |||
625 | /** | ||
626 | * <!-- begin-user-doc --> | ||
627 | * <!-- end-user-doc --> | ||
628 | * @generated | ||
629 | */ | ||
630 | public EClass getVLSAnnotation() | ||
631 | { | ||
632 | return vlsAnnotationEClass; | ||
633 | } | ||
634 | |||
635 | /** | ||
636 | * <!-- begin-user-doc --> | ||
637 | * <!-- end-user-doc --> | ||
638 | * @generated | ||
639 | */ | ||
640 | public EAttribute getVLSAnnotation_Name() | ||
641 | { | ||
642 | return (EAttribute)vlsAnnotationEClass.getEStructuralFeatures().get(0); | ||
643 | } | ||
644 | |||
645 | /** | ||
646 | * <!-- begin-user-doc --> | ||
647 | * <!-- end-user-doc --> | ||
648 | * @generated | ||
649 | */ | ||
650 | public EReference getVLSAnnotation_Followup() | ||
651 | { | ||
652 | return (EReference)vlsAnnotationEClass.getEStructuralFeatures().get(1); | ||
653 | } | ||
654 | |||
655 | /** | ||
656 | * <!-- begin-user-doc --> | ||
657 | * <!-- end-user-doc --> | ||
658 | * @generated | ||
659 | */ | ||
660 | public EReference getVLSAnnotation_Terms() | ||
661 | { | ||
662 | return (EReference)vlsAnnotationEClass.getEStructuralFeatures().get(2); | ||
663 | } | ||
664 | |||
665 | /** | ||
666 | * <!-- begin-user-doc --> | ||
667 | * <!-- end-user-doc --> | ||
668 | * @generated | ||
669 | */ | ||
670 | public EClass getVLSTerm() | ||
671 | { | ||
672 | return vlsTermEClass; | ||
673 | } | ||
674 | |||
675 | /** | ||
676 | * <!-- begin-user-doc --> | ||
677 | * <!-- end-user-doc --> | ||
678 | * @generated | ||
679 | */ | ||
680 | public EClass getVLSVariable() | ||
681 | { | ||
682 | return vlsVariableEClass; | ||
683 | } | ||
684 | |||
685 | /** | ||
686 | * <!-- begin-user-doc --> | ||
687 | * <!-- end-user-doc --> | ||
688 | * @generated | ||
689 | */ | ||
690 | public EAttribute getVLSVariable_Name() | ||
691 | { | ||
692 | return (EAttribute)vlsVariableEClass.getEStructuralFeatures().get(0); | ||
693 | } | ||
694 | |||
695 | /** | ||
696 | * <!-- begin-user-doc --> | ||
697 | * <!-- end-user-doc --> | ||
698 | * @generated | ||
699 | */ | ||
700 | public EClass getVLSFunctionAsTerm() | ||
701 | { | ||
702 | return vlsFunctionAsTermEClass; | ||
703 | } | ||
704 | |||
705 | /** | ||
706 | * <!-- begin-user-doc --> | ||
707 | * <!-- end-user-doc --> | ||
708 | * @generated | ||
709 | */ | ||
710 | public EAttribute getVLSFunctionAsTerm_Functor() | ||
711 | { | ||
712 | return (EAttribute)vlsFunctionAsTermEClass.getEStructuralFeatures().get(0); | ||
713 | } | ||
714 | |||
715 | /** | ||
716 | * <!-- begin-user-doc --> | ||
717 | * <!-- end-user-doc --> | ||
718 | * @generated | ||
719 | */ | ||
720 | public EReference getVLSFunctionAsTerm_Terms() | ||
721 | { | ||
722 | return (EReference)vlsFunctionAsTermEClass.getEStructuralFeatures().get(1); | ||
723 | } | ||
724 | |||
725 | /** | ||
726 | * <!-- begin-user-doc --> | ||
727 | * <!-- end-user-doc --> | ||
728 | * @generated | ||
729 | */ | ||
730 | public EClass getVLSDefinedTerm() | ||
731 | { | ||
732 | return vlsDefinedTermEClass; | ||
733 | } | ||
734 | |||
735 | /** | ||
736 | * <!-- begin-user-doc --> | ||
737 | * <!-- end-user-doc --> | ||
738 | * @generated | ||
739 | */ | ||
740 | public EAttribute getVLSDefinedTerm_Value() | ||
741 | { | ||
742 | return (EAttribute)vlsDefinedTermEClass.getEStructuralFeatures().get(0); | ||
743 | } | ||
744 | |||
745 | /** | ||
746 | * <!-- begin-user-doc --> | ||
747 | * <!-- end-user-doc --> | ||
748 | * @generated | ||
749 | */ | ||
750 | public EClass getVLSEquivalent() | ||
751 | { | ||
752 | return vlsEquivalentEClass; | ||
753 | } | ||
754 | |||
755 | /** | ||
756 | * <!-- begin-user-doc --> | ||
757 | * <!-- end-user-doc --> | ||
758 | * @generated | ||
759 | */ | ||
760 | public EReference getVLSEquivalent_Left() | ||
761 | { | ||
762 | return (EReference)vlsEquivalentEClass.getEStructuralFeatures().get(0); | ||
763 | } | ||
764 | |||
765 | /** | ||
766 | * <!-- begin-user-doc --> | ||
767 | * <!-- end-user-doc --> | ||
768 | * @generated | ||
769 | */ | ||
770 | public EReference getVLSEquivalent_Right() | ||
771 | { | ||
772 | return (EReference)vlsEquivalentEClass.getEStructuralFeatures().get(1); | ||
773 | } | ||
774 | |||
775 | /** | ||
776 | * <!-- begin-user-doc --> | ||
777 | * <!-- end-user-doc --> | ||
778 | * @generated | ||
779 | */ | ||
780 | public EClass getVLSImplies() | ||
781 | { | ||
782 | return vlsImpliesEClass; | ||
783 | } | ||
784 | |||
785 | /** | ||
786 | * <!-- begin-user-doc --> | ||
787 | * <!-- end-user-doc --> | ||
788 | * @generated | ||
789 | */ | ||
790 | public EReference getVLSImplies_Left() | ||
791 | { | ||
792 | return (EReference)vlsImpliesEClass.getEStructuralFeatures().get(0); | ||
793 | } | ||
794 | |||
795 | /** | ||
796 | * <!-- begin-user-doc --> | ||
797 | * <!-- end-user-doc --> | ||
798 | * @generated | ||
799 | */ | ||
800 | public EReference getVLSImplies_Right() | ||
801 | { | ||
802 | return (EReference)vlsImpliesEClass.getEStructuralFeatures().get(1); | ||
803 | } | ||
804 | |||
805 | /** | ||
806 | * <!-- begin-user-doc --> | ||
807 | * <!-- end-user-doc --> | ||
808 | * @generated | ||
809 | */ | ||
810 | public EClass getVLSRevImplies() | ||
811 | { | ||
812 | return vlsRevImpliesEClass; | ||
813 | } | ||
814 | |||
815 | /** | ||
816 | * <!-- begin-user-doc --> | ||
817 | * <!-- end-user-doc --> | ||
818 | * @generated | ||
819 | */ | ||
820 | public EReference getVLSRevImplies_Left() | ||
821 | { | ||
822 | return (EReference)vlsRevImpliesEClass.getEStructuralFeatures().get(0); | ||
823 | } | ||
824 | |||
825 | /** | ||
826 | * <!-- begin-user-doc --> | ||
827 | * <!-- end-user-doc --> | ||
828 | * @generated | ||
829 | */ | ||
830 | public EReference getVLSRevImplies_Right() | ||
831 | { | ||
832 | return (EReference)vlsRevImpliesEClass.getEStructuralFeatures().get(1); | ||
833 | } | ||
834 | |||
835 | /** | ||
836 | * <!-- begin-user-doc --> | ||
837 | * <!-- end-user-doc --> | ||
838 | * @generated | ||
839 | */ | ||
840 | public EClass getVLSXnor() | ||
841 | { | ||
842 | return vlsXnorEClass; | ||
843 | } | ||
844 | |||
845 | /** | ||
846 | * <!-- begin-user-doc --> | ||
847 | * <!-- end-user-doc --> | ||
848 | * @generated | ||
849 | */ | ||
850 | public EReference getVLSXnor_Left() | ||
851 | { | ||
852 | return (EReference)vlsXnorEClass.getEStructuralFeatures().get(0); | ||
853 | } | ||
854 | |||
855 | /** | ||
856 | * <!-- begin-user-doc --> | ||
857 | * <!-- end-user-doc --> | ||
858 | * @generated | ||
859 | */ | ||
860 | public EReference getVLSXnor_Right() | ||
861 | { | ||
862 | return (EReference)vlsXnorEClass.getEStructuralFeatures().get(1); | ||
863 | } | ||
864 | |||
865 | /** | ||
866 | * <!-- begin-user-doc --> | ||
867 | * <!-- end-user-doc --> | ||
868 | * @generated | ||
869 | */ | ||
870 | public EClass getVLSNor() | ||
871 | { | ||
872 | return vlsNorEClass; | ||
873 | } | ||
874 | |||
875 | /** | ||
876 | * <!-- begin-user-doc --> | ||
877 | * <!-- end-user-doc --> | ||
878 | * @generated | ||
879 | */ | ||
880 | public EReference getVLSNor_Left() | ||
881 | { | ||
882 | return (EReference)vlsNorEClass.getEStructuralFeatures().get(0); | ||
883 | } | ||
884 | |||
885 | /** | ||
886 | * <!-- begin-user-doc --> | ||
887 | * <!-- end-user-doc --> | ||
888 | * @generated | ||
889 | */ | ||
890 | public EReference getVLSNor_Right() | ||
891 | { | ||
892 | return (EReference)vlsNorEClass.getEStructuralFeatures().get(1); | ||
893 | } | ||
894 | |||
895 | /** | ||
896 | * <!-- begin-user-doc --> | ||
897 | * <!-- end-user-doc --> | ||
898 | * @generated | ||
899 | */ | ||
900 | public EClass getVLSNand() | ||
901 | { | ||
902 | return vlsNandEClass; | ||
903 | } | ||
904 | |||
905 | /** | ||
906 | * <!-- begin-user-doc --> | ||
907 | * <!-- end-user-doc --> | ||
908 | * @generated | ||
909 | */ | ||
910 | public EReference getVLSNand_Left() | ||
911 | { | ||
912 | return (EReference)vlsNandEClass.getEStructuralFeatures().get(0); | ||
913 | } | ||
914 | |||
915 | /** | ||
916 | * <!-- begin-user-doc --> | ||
917 | * <!-- end-user-doc --> | ||
918 | * @generated | ||
919 | */ | ||
920 | public EReference getVLSNand_Right() | ||
921 | { | ||
922 | return (EReference)vlsNandEClass.getEStructuralFeatures().get(1); | ||
923 | } | ||
924 | |||
925 | /** | ||
926 | * <!-- begin-user-doc --> | ||
927 | * <!-- end-user-doc --> | ||
928 | * @generated | ||
929 | */ | ||
930 | public EClass getVLSAnd() | ||
931 | { | ||
932 | return vlsAndEClass; | ||
933 | } | ||
934 | |||
935 | /** | ||
936 | * <!-- begin-user-doc --> | ||
937 | * <!-- end-user-doc --> | ||
938 | * @generated | ||
939 | */ | ||
940 | public EReference getVLSAnd_Left() | ||
941 | { | ||
942 | return (EReference)vlsAndEClass.getEStructuralFeatures().get(0); | ||
943 | } | ||
944 | |||
945 | /** | ||
946 | * <!-- begin-user-doc --> | ||
947 | * <!-- end-user-doc --> | ||
948 | * @generated | ||
949 | */ | ||
950 | public EReference getVLSAnd_Right() | ||
951 | { | ||
952 | return (EReference)vlsAndEClass.getEStructuralFeatures().get(1); | ||
953 | } | ||
954 | |||
955 | /** | ||
956 | * <!-- begin-user-doc --> | ||
957 | * <!-- end-user-doc --> | ||
958 | * @generated | ||
959 | */ | ||
960 | public EClass getVLSOr() | ||
961 | { | ||
962 | return vlsOrEClass; | ||
963 | } | ||
964 | |||
965 | /** | ||
966 | * <!-- begin-user-doc --> | ||
967 | * <!-- end-user-doc --> | ||
968 | * @generated | ||
969 | */ | ||
970 | public EReference getVLSOr_Left() | ||
971 | { | ||
972 | return (EReference)vlsOrEClass.getEStructuralFeatures().get(0); | ||
973 | } | ||
974 | |||
975 | /** | ||
976 | * <!-- begin-user-doc --> | ||
977 | * <!-- end-user-doc --> | ||
978 | * @generated | ||
979 | */ | ||
980 | public EReference getVLSOr_Right() | ||
981 | { | ||
982 | return (EReference)vlsOrEClass.getEStructuralFeatures().get(1); | ||
983 | } | ||
984 | |||
985 | /** | ||
986 | * <!-- begin-user-doc --> | ||
987 | * <!-- end-user-doc --> | ||
988 | * @generated | ||
989 | */ | ||
990 | public EClass getVLSUniversalQuantifier() | ||
991 | { | ||
992 | return vlsUniversalQuantifierEClass; | ||
993 | } | ||
994 | |||
995 | /** | ||
996 | * <!-- begin-user-doc --> | ||
997 | * <!-- end-user-doc --> | ||
998 | * @generated | ||
999 | */ | ||
1000 | public EReference getVLSUniversalQuantifier_Variables() | ||
1001 | { | ||
1002 | return (EReference)vlsUniversalQuantifierEClass.getEStructuralFeatures().get(0); | ||
1003 | } | ||
1004 | |||
1005 | /** | ||
1006 | * <!-- begin-user-doc --> | ||
1007 | * <!-- end-user-doc --> | ||
1008 | * @generated | ||
1009 | */ | ||
1010 | public EReference getVLSUniversalQuantifier_Operand() | ||
1011 | { | ||
1012 | return (EReference)vlsUniversalQuantifierEClass.getEStructuralFeatures().get(1); | ||
1013 | } | ||
1014 | |||
1015 | /** | ||
1016 | * <!-- begin-user-doc --> | ||
1017 | * <!-- end-user-doc --> | ||
1018 | * @generated | ||
1019 | */ | ||
1020 | public EClass getVLSExistentialQuantifier() | ||
1021 | { | ||
1022 | return vlsExistentialQuantifierEClass; | ||
1023 | } | ||
1024 | |||
1025 | /** | ||
1026 | * <!-- begin-user-doc --> | ||
1027 | * <!-- end-user-doc --> | ||
1028 | * @generated | ||
1029 | */ | ||
1030 | public EReference getVLSExistentialQuantifier_Variables() | ||
1031 | { | ||
1032 | return (EReference)vlsExistentialQuantifierEClass.getEStructuralFeatures().get(0); | ||
1033 | } | ||
1034 | |||
1035 | /** | ||
1036 | * <!-- begin-user-doc --> | ||
1037 | * <!-- end-user-doc --> | ||
1038 | * @generated | ||
1039 | */ | ||
1040 | public EReference getVLSExistentialQuantifier_Operand() | ||
1041 | { | ||
1042 | return (EReference)vlsExistentialQuantifierEClass.getEStructuralFeatures().get(1); | ||
1043 | } | ||
1044 | |||
1045 | /** | ||
1046 | * <!-- begin-user-doc --> | ||
1047 | * <!-- end-user-doc --> | ||
1048 | * @generated | ||
1049 | */ | ||
1050 | public EClass getVLSUnaryNegation() | ||
1051 | { | ||
1052 | return vlsUnaryNegationEClass; | ||
1053 | } | ||
1054 | |||
1055 | /** | ||
1056 | * <!-- begin-user-doc --> | ||
1057 | * <!-- end-user-doc --> | ||
1058 | * @generated | ||
1059 | */ | ||
1060 | public EReference getVLSUnaryNegation_Operand() | ||
1061 | { | ||
1062 | return (EReference)vlsUnaryNegationEClass.getEStructuralFeatures().get(0); | ||
1063 | } | ||
1064 | |||
1065 | /** | ||
1066 | * <!-- begin-user-doc --> | ||
1067 | * <!-- end-user-doc --> | ||
1068 | * @generated | ||
1069 | */ | ||
1070 | public EClass getVLSInequality() | ||
1071 | { | ||
1072 | return vlsInequalityEClass; | ||
1073 | } | ||
1074 | |||
1075 | /** | ||
1076 | * <!-- begin-user-doc --> | ||
1077 | * <!-- end-user-doc --> | ||
1078 | * @generated | ||
1079 | */ | ||
1080 | public EReference getVLSInequality_Left() | ||
1081 | { | ||
1082 | return (EReference)vlsInequalityEClass.getEStructuralFeatures().get(0); | ||
1083 | } | ||
1084 | |||
1085 | /** | ||
1086 | * <!-- begin-user-doc --> | ||
1087 | * <!-- end-user-doc --> | ||
1088 | * @generated | ||
1089 | */ | ||
1090 | public EReference getVLSInequality_Right() | ||
1091 | { | ||
1092 | return (EReference)vlsInequalityEClass.getEStructuralFeatures().get(1); | ||
1093 | } | ||
1094 | |||
1095 | /** | ||
1096 | * <!-- begin-user-doc --> | ||
1097 | * <!-- end-user-doc --> | ||
1098 | * @generated | ||
1099 | */ | ||
1100 | public EClass getVLSEquality() | ||
1101 | { | ||
1102 | return vlsEqualityEClass; | ||
1103 | } | ||
1104 | |||
1105 | /** | ||
1106 | * <!-- begin-user-doc --> | ||
1107 | * <!-- end-user-doc --> | ||
1108 | * @generated | ||
1109 | */ | ||
1110 | public EReference getVLSEquality_Left() | ||
1111 | { | ||
1112 | return (EReference)vlsEqualityEClass.getEStructuralFeatures().get(0); | ||
1113 | } | ||
1114 | |||
1115 | /** | ||
1116 | * <!-- begin-user-doc --> | ||
1117 | * <!-- end-user-doc --> | ||
1118 | * @generated | ||
1119 | */ | ||
1120 | public EReference getVLSEquality_Right() | ||
1121 | { | ||
1122 | return (EReference)vlsEqualityEClass.getEStructuralFeatures().get(1); | ||
1123 | } | ||
1124 | |||
1125 | /** | ||
1126 | * <!-- begin-user-doc --> | ||
1127 | * <!-- end-user-doc --> | ||
1128 | * @generated | ||
1129 | */ | ||
1130 | public EClass getVLSAssignment() | ||
1131 | { | ||
1132 | return vlsAssignmentEClass; | ||
1133 | } | ||
1134 | |||
1135 | /** | ||
1136 | * <!-- begin-user-doc --> | ||
1137 | * <!-- end-user-doc --> | ||
1138 | * @generated | ||
1139 | */ | ||
1140 | public EReference getVLSAssignment_Left() | ||
1141 | { | ||
1142 | return (EReference)vlsAssignmentEClass.getEStructuralFeatures().get(0); | ||
1143 | } | ||
1144 | |||
1145 | /** | ||
1146 | * <!-- begin-user-doc --> | ||
1147 | * <!-- end-user-doc --> | ||
1148 | * @generated | ||
1149 | */ | ||
1150 | public EReference getVLSAssignment_Right() | ||
1151 | { | ||
1152 | return (EReference)vlsAssignmentEClass.getEStructuralFeatures().get(1); | ||
1153 | } | ||
1154 | |||
1155 | /** | ||
1156 | * <!-- begin-user-doc --> | ||
1157 | * <!-- end-user-doc --> | ||
1158 | * @generated | ||
1159 | */ | ||
1160 | public EClass getVLSConstant() | ||
1161 | { | ||
1162 | return vlsConstantEClass; | ||
1163 | } | ||
1164 | |||
1165 | /** | ||
1166 | * <!-- begin-user-doc --> | ||
1167 | * <!-- end-user-doc --> | ||
1168 | * @generated | ||
1169 | */ | ||
1170 | public EAttribute getVLSConstant_Name() | ||
1171 | { | ||
1172 | return (EAttribute)vlsConstantEClass.getEStructuralFeatures().get(0); | ||
1173 | } | ||
1174 | |||
1175 | /** | ||
1176 | * <!-- begin-user-doc --> | ||
1177 | * <!-- end-user-doc --> | ||
1178 | * @generated | ||
1179 | */ | ||
1180 | public EClass getVLSTrue() | ||
1181 | { | ||
1182 | return vlsTrueEClass; | ||
1183 | } | ||
1184 | |||
1185 | /** | ||
1186 | * <!-- begin-user-doc --> | ||
1187 | * <!-- end-user-doc --> | ||
1188 | * @generated | ||
1189 | */ | ||
1190 | public EClass getVLSFalse() | ||
1191 | { | ||
1192 | return vlsFalseEClass; | ||
1193 | } | ||
1194 | |||
1195 | /** | ||
1196 | * <!-- begin-user-doc --> | ||
1197 | * <!-- end-user-doc --> | ||
1198 | * @generated | ||
1199 | */ | ||
1200 | public EClass getVLSFunction() | ||
1201 | { | ||
1202 | return vlsFunctionEClass; | ||
1203 | } | ||
1204 | |||
1205 | /** | ||
1206 | * <!-- begin-user-doc --> | ||
1207 | * <!-- end-user-doc --> | ||
1208 | * @generated | ||
1209 | */ | ||
1210 | public EAttribute getVLSFunction_Constant() | ||
1211 | { | ||
1212 | return (EAttribute)vlsFunctionEClass.getEStructuralFeatures().get(0); | ||
1213 | } | ||
1214 | |||
1215 | /** | ||
1216 | * <!-- begin-user-doc --> | ||
1217 | * <!-- end-user-doc --> | ||
1218 | * @generated | ||
1219 | */ | ||
1220 | public EReference getVLSFunction_Terms() | ||
1221 | { | ||
1222 | return (EReference)vlsFunctionEClass.getEStructuralFeatures().get(1); | ||
1223 | } | ||
1224 | |||
1225 | /** | ||
1226 | * <!-- begin-user-doc --> | ||
1227 | * <!-- end-user-doc --> | ||
1228 | * @generated | ||
1229 | */ | ||
1230 | public EClass getVLSLess() | ||
1231 | { | ||
1232 | return vlsLessEClass; | ||
1233 | } | ||
1234 | |||
1235 | /** | ||
1236 | * <!-- begin-user-doc --> | ||
1237 | * <!-- end-user-doc --> | ||
1238 | * @generated | ||
1239 | */ | ||
1240 | public EAttribute getVLSLess_Name() | ||
1241 | { | ||
1242 | return (EAttribute)vlsLessEClass.getEStructuralFeatures().get(0); | ||
1243 | } | ||
1244 | |||
1245 | /** | ||
1246 | * <!-- begin-user-doc --> | ||
1247 | * <!-- end-user-doc --> | ||
1248 | * @generated | ||
1249 | */ | ||
1250 | public EReference getVLSLess_Terms() | ||
1251 | { | ||
1252 | return (EReference)vlsLessEClass.getEStructuralFeatures().get(1); | ||
1253 | } | ||
1254 | |||
1255 | /** | ||
1256 | * <!-- begin-user-doc --> | ||
1257 | * <!-- end-user-doc --> | ||
1258 | * @generated | ||
1259 | */ | ||
1260 | public EClass getVLSInt() | ||
1261 | { | ||
1262 | return vlsIntEClass; | ||
1263 | } | ||
1264 | |||
1265 | /** | ||
1266 | * <!-- begin-user-doc --> | ||
1267 | * <!-- end-user-doc --> | ||
1268 | * @generated | ||
1269 | */ | ||
1270 | public EClass getVLSReal() | ||
1271 | { | ||
1272 | return vlsRealEClass; | ||
1273 | } | ||
1274 | |||
1275 | /** | ||
1276 | * <!-- begin-user-doc --> | ||
1277 | * <!-- end-user-doc --> | ||
1278 | * @generated | ||
1279 | */ | ||
1280 | public EClass getVLSRational() | ||
1281 | { | ||
1282 | return vlsRationalEClass; | ||
1283 | } | ||
1284 | |||
1285 | /** | ||
1286 | * <!-- begin-user-doc --> | ||
1287 | * <!-- end-user-doc --> | ||
1288 | * @generated | ||
1289 | */ | ||
1290 | public EClass getVLSDoubleQuote() | ||
1291 | { | ||
1292 | return vlsDoubleQuoteEClass; | ||
1293 | } | ||
1294 | |||
1295 | /** | ||
1296 | * <!-- begin-user-doc --> | ||
1297 | * <!-- end-user-doc --> | ||
1298 | * @generated | ||
1299 | */ | ||
1300 | public VampireLanguageFactory getVampireLanguageFactory() | ||
1301 | { | ||
1302 | return (VampireLanguageFactory)getEFactoryInstance(); | ||
1303 | } | ||
1304 | |||
1305 | /** | ||
1306 | * <!-- begin-user-doc --> | ||
1307 | * <!-- end-user-doc --> | ||
1308 | * @generated | ||
1309 | */ | ||
1310 | private boolean isCreated = false; | ||
1311 | |||
1312 | /** | ||
1313 | * Creates the meta-model objects for the package. This method is | ||
1314 | * guarded to have no affect on any invocation but its first. | ||
1315 | * <!-- begin-user-doc --> | ||
1316 | * <!-- end-user-doc --> | ||
1317 | * @generated | ||
1318 | */ | ||
1319 | public void createPackageContents() | ||
1320 | { | ||
1321 | if (isCreated) return; | ||
1322 | isCreated = true; | ||
1323 | |||
1324 | // Create classes and their features | ||
1325 | vampireModelEClass = createEClass(VAMPIRE_MODEL); | ||
1326 | createEReference(vampireModelEClass, VAMPIRE_MODEL__INCLUDES); | ||
1327 | createEReference(vampireModelEClass, VAMPIRE_MODEL__COMMENTS); | ||
1328 | createEReference(vampireModelEClass, VAMPIRE_MODEL__CONFIRMATIONS); | ||
1329 | createEReference(vampireModelEClass, VAMPIRE_MODEL__FORMULAS); | ||
1330 | createEReference(vampireModelEClass, VAMPIRE_MODEL__TFFORMULAS); | ||
1331 | |||
1332 | vlsIncludeEClass = createEClass(VLS_INCLUDE); | ||
1333 | createEAttribute(vlsIncludeEClass, VLS_INCLUDE__FILE_NAME); | ||
1334 | createEReference(vlsIncludeEClass, VLS_INCLUDE__NAMES); | ||
1335 | |||
1336 | vlsNameEClass = createEClass(VLS_NAME); | ||
1337 | createEAttribute(vlsNameEClass, VLS_NAME__NAME); | ||
1338 | |||
1339 | vlsCommentEClass = createEClass(VLS_COMMENT); | ||
1340 | createEAttribute(vlsCommentEClass, VLS_COMMENT__COMMENT); | ||
1341 | |||
1342 | vlsConfirmationsEClass = createEClass(VLS_CONFIRMATIONS); | ||
1343 | |||
1344 | vlsSatisfiableEClass = createEClass(VLS_SATISFIABLE); | ||
1345 | |||
1346 | vlsFofFormulaEClass = createEClass(VLS_FOF_FORMULA); | ||
1347 | createEAttribute(vlsFofFormulaEClass, VLS_FOF_FORMULA__NAME); | ||
1348 | createEAttribute(vlsFofFormulaEClass, VLS_FOF_FORMULA__FOF_ROLE); | ||
1349 | createEReference(vlsFofFormulaEClass, VLS_FOF_FORMULA__FOF_FORMULA); | ||
1350 | createEReference(vlsFofFormulaEClass, VLS_FOF_FORMULA__ANNOTATIONS); | ||
1351 | |||
1352 | vlsTffFormulaEClass = createEClass(VLS_TFF_FORMULA); | ||
1353 | createEAttribute(vlsTffFormulaEClass, VLS_TFF_FORMULA__NAME); | ||
1354 | createEAttribute(vlsTffFormulaEClass, VLS_TFF_FORMULA__FOF_ROLE); | ||
1355 | createEReference(vlsTffFormulaEClass, VLS_TFF_FORMULA__FOF_FORMULA); | ||
1356 | createEReference(vlsTffFormulaEClass, VLS_TFF_FORMULA__ANNOTATIONS); | ||
1357 | |||
1358 | vlsAnnotationEClass = createEClass(VLS_ANNOTATION); | ||
1359 | createEAttribute(vlsAnnotationEClass, VLS_ANNOTATION__NAME); | ||
1360 | createEReference(vlsAnnotationEClass, VLS_ANNOTATION__FOLLOWUP); | ||
1361 | createEReference(vlsAnnotationEClass, VLS_ANNOTATION__TERMS); | ||
1362 | |||
1363 | vlsTermEClass = createEClass(VLS_TERM); | ||
1364 | |||
1365 | vlsVariableEClass = createEClass(VLS_VARIABLE); | ||
1366 | createEAttribute(vlsVariableEClass, VLS_VARIABLE__NAME); | ||
1367 | |||
1368 | vlsFunctionAsTermEClass = createEClass(VLS_FUNCTION_AS_TERM); | ||
1369 | createEAttribute(vlsFunctionAsTermEClass, VLS_FUNCTION_AS_TERM__FUNCTOR); | ||
1370 | createEReference(vlsFunctionAsTermEClass, VLS_FUNCTION_AS_TERM__TERMS); | ||
1371 | |||
1372 | vlsDefinedTermEClass = createEClass(VLS_DEFINED_TERM); | ||
1373 | createEAttribute(vlsDefinedTermEClass, VLS_DEFINED_TERM__VALUE); | ||
1374 | |||
1375 | vlsEquivalentEClass = createEClass(VLS_EQUIVALENT); | ||
1376 | createEReference(vlsEquivalentEClass, VLS_EQUIVALENT__LEFT); | ||
1377 | createEReference(vlsEquivalentEClass, VLS_EQUIVALENT__RIGHT); | ||
1378 | |||
1379 | vlsImpliesEClass = createEClass(VLS_IMPLIES); | ||
1380 | createEReference(vlsImpliesEClass, VLS_IMPLIES__LEFT); | ||
1381 | createEReference(vlsImpliesEClass, VLS_IMPLIES__RIGHT); | ||
1382 | |||
1383 | vlsRevImpliesEClass = createEClass(VLS_REV_IMPLIES); | ||
1384 | createEReference(vlsRevImpliesEClass, VLS_REV_IMPLIES__LEFT); | ||
1385 | createEReference(vlsRevImpliesEClass, VLS_REV_IMPLIES__RIGHT); | ||
1386 | |||
1387 | vlsXnorEClass = createEClass(VLS_XNOR); | ||
1388 | createEReference(vlsXnorEClass, VLS_XNOR__LEFT); | ||
1389 | createEReference(vlsXnorEClass, VLS_XNOR__RIGHT); | ||
1390 | |||
1391 | vlsNorEClass = createEClass(VLS_NOR); | ||
1392 | createEReference(vlsNorEClass, VLS_NOR__LEFT); | ||
1393 | createEReference(vlsNorEClass, VLS_NOR__RIGHT); | ||
1394 | |||
1395 | vlsNandEClass = createEClass(VLS_NAND); | ||
1396 | createEReference(vlsNandEClass, VLS_NAND__LEFT); | ||
1397 | createEReference(vlsNandEClass, VLS_NAND__RIGHT); | ||
1398 | |||
1399 | vlsAndEClass = createEClass(VLS_AND); | ||
1400 | createEReference(vlsAndEClass, VLS_AND__LEFT); | ||
1401 | createEReference(vlsAndEClass, VLS_AND__RIGHT); | ||
1402 | |||
1403 | vlsOrEClass = createEClass(VLS_OR); | ||
1404 | createEReference(vlsOrEClass, VLS_OR__LEFT); | ||
1405 | createEReference(vlsOrEClass, VLS_OR__RIGHT); | ||
1406 | |||
1407 | vlsUniversalQuantifierEClass = createEClass(VLS_UNIVERSAL_QUANTIFIER); | ||
1408 | createEReference(vlsUniversalQuantifierEClass, VLS_UNIVERSAL_QUANTIFIER__VARIABLES); | ||
1409 | createEReference(vlsUniversalQuantifierEClass, VLS_UNIVERSAL_QUANTIFIER__OPERAND); | ||
1410 | |||
1411 | vlsExistentialQuantifierEClass = createEClass(VLS_EXISTENTIAL_QUANTIFIER); | ||
1412 | createEReference(vlsExistentialQuantifierEClass, VLS_EXISTENTIAL_QUANTIFIER__VARIABLES); | ||
1413 | createEReference(vlsExistentialQuantifierEClass, VLS_EXISTENTIAL_QUANTIFIER__OPERAND); | ||
1414 | |||
1415 | vlsUnaryNegationEClass = createEClass(VLS_UNARY_NEGATION); | ||
1416 | createEReference(vlsUnaryNegationEClass, VLS_UNARY_NEGATION__OPERAND); | ||
1417 | |||
1418 | vlsInequalityEClass = createEClass(VLS_INEQUALITY); | ||
1419 | createEReference(vlsInequalityEClass, VLS_INEQUALITY__LEFT); | ||
1420 | createEReference(vlsInequalityEClass, VLS_INEQUALITY__RIGHT); | ||
1421 | |||
1422 | vlsEqualityEClass = createEClass(VLS_EQUALITY); | ||
1423 | createEReference(vlsEqualityEClass, VLS_EQUALITY__LEFT); | ||
1424 | createEReference(vlsEqualityEClass, VLS_EQUALITY__RIGHT); | ||
1425 | |||
1426 | vlsAssignmentEClass = createEClass(VLS_ASSIGNMENT); | ||
1427 | createEReference(vlsAssignmentEClass, VLS_ASSIGNMENT__LEFT); | ||
1428 | createEReference(vlsAssignmentEClass, VLS_ASSIGNMENT__RIGHT); | ||
1429 | |||
1430 | vlsConstantEClass = createEClass(VLS_CONSTANT); | ||
1431 | createEAttribute(vlsConstantEClass, VLS_CONSTANT__NAME); | ||
1432 | |||
1433 | vlsTrueEClass = createEClass(VLS_TRUE); | ||
1434 | |||
1435 | vlsFalseEClass = createEClass(VLS_FALSE); | ||
1436 | |||
1437 | vlsFunctionEClass = createEClass(VLS_FUNCTION); | ||
1438 | createEAttribute(vlsFunctionEClass, VLS_FUNCTION__CONSTANT); | ||
1439 | createEReference(vlsFunctionEClass, VLS_FUNCTION__TERMS); | ||
1440 | |||
1441 | vlsLessEClass = createEClass(VLS_LESS); | ||
1442 | createEAttribute(vlsLessEClass, VLS_LESS__NAME); | ||
1443 | createEReference(vlsLessEClass, VLS_LESS__TERMS); | ||
1444 | |||
1445 | vlsIntEClass = createEClass(VLS_INT); | ||
1446 | |||
1447 | vlsRealEClass = createEClass(VLS_REAL); | ||
1448 | |||
1449 | vlsRationalEClass = createEClass(VLS_RATIONAL); | ||
1450 | |||
1451 | vlsDoubleQuoteEClass = createEClass(VLS_DOUBLE_QUOTE); | ||
1452 | } | ||
1453 | |||
1454 | /** | ||
1455 | * <!-- begin-user-doc --> | ||
1456 | * <!-- end-user-doc --> | ||
1457 | * @generated | ||
1458 | */ | ||
1459 | private boolean isInitialized = false; | ||
1460 | |||
1461 | /** | ||
1462 | * Complete the initialization of the package and its meta-model. This | ||
1463 | * method is guarded to have no affect on any invocation but its first. | ||
1464 | * <!-- begin-user-doc --> | ||
1465 | * <!-- end-user-doc --> | ||
1466 | * @generated | ||
1467 | */ | ||
1468 | public void initializePackageContents() | ||
1469 | { | ||
1470 | if (isInitialized) return; | ||
1471 | isInitialized = true; | ||
1472 | |||
1473 | // Initialize package | ||
1474 | setName(eNAME); | ||
1475 | setNsPrefix(eNS_PREFIX); | ||
1476 | setNsURI(eNS_URI); | ||
1477 | |||
1478 | // Create type parameters | ||
1479 | |||
1480 | // Set bounds for type parameters | ||
1481 | |||
1482 | // Add supertypes to classes | ||
1483 | vlsSatisfiableEClass.getESuperTypes().add(this.getVLSConfirmations()); | ||
1484 | vlsVariableEClass.getESuperTypes().add(this.getVLSTerm()); | ||
1485 | vlsFunctionAsTermEClass.getESuperTypes().add(this.getVLSTerm()); | ||
1486 | vlsDefinedTermEClass.getESuperTypes().add(this.getVLSTerm()); | ||
1487 | vlsEquivalentEClass.getESuperTypes().add(this.getVLSTerm()); | ||
1488 | vlsImpliesEClass.getESuperTypes().add(this.getVLSTerm()); | ||
1489 | vlsRevImpliesEClass.getESuperTypes().add(this.getVLSTerm()); | ||
1490 | vlsXnorEClass.getESuperTypes().add(this.getVLSTerm()); | ||
1491 | vlsNorEClass.getESuperTypes().add(this.getVLSTerm()); | ||
1492 | vlsNandEClass.getESuperTypes().add(this.getVLSTerm()); | ||
1493 | vlsAndEClass.getESuperTypes().add(this.getVLSTerm()); | ||
1494 | vlsOrEClass.getESuperTypes().add(this.getVLSTerm()); | ||
1495 | vlsUniversalQuantifierEClass.getESuperTypes().add(this.getVLSTerm()); | ||
1496 | vlsExistentialQuantifierEClass.getESuperTypes().add(this.getVLSTerm()); | ||
1497 | vlsUnaryNegationEClass.getESuperTypes().add(this.getVLSTerm()); | ||
1498 | vlsInequalityEClass.getESuperTypes().add(this.getVLSTerm()); | ||
1499 | vlsEqualityEClass.getESuperTypes().add(this.getVLSTerm()); | ||
1500 | vlsAssignmentEClass.getESuperTypes().add(this.getVLSTerm()); | ||
1501 | vlsConstantEClass.getESuperTypes().add(this.getVLSTerm()); | ||
1502 | vlsTrueEClass.getESuperTypes().add(this.getVLSTerm()); | ||
1503 | vlsFalseEClass.getESuperTypes().add(this.getVLSTerm()); | ||
1504 | vlsFunctionEClass.getESuperTypes().add(this.getVLSTerm()); | ||
1505 | vlsLessEClass.getESuperTypes().add(this.getVLSTerm()); | ||
1506 | vlsIntEClass.getESuperTypes().add(this.getVLSDefinedTerm()); | ||
1507 | vlsRealEClass.getESuperTypes().add(this.getVLSDefinedTerm()); | ||
1508 | vlsRationalEClass.getESuperTypes().add(this.getVLSDefinedTerm()); | ||
1509 | vlsDoubleQuoteEClass.getESuperTypes().add(this.getVLSDefinedTerm()); | ||
1510 | |||
1511 | // Initialize classes and features; add operations and parameters | ||
1512 | initEClass(vampireModelEClass, VampireModel.class, "VampireModel", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1513 | initEReference(getVampireModel_Includes(), this.getVLSInclude(), null, "includes", null, 0, -1, VampireModel.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1514 | initEReference(getVampireModel_Comments(), this.getVLSComment(), null, "comments", null, 0, -1, VampireModel.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1515 | initEReference(getVampireModel_Confirmations(), this.getVLSConfirmations(), null, "confirmations", null, 0, -1, VampireModel.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1516 | initEReference(getVampireModel_Formulas(), this.getVLSFofFormula(), null, "formulas", null, 0, -1, VampireModel.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1517 | initEReference(getVampireModel_Tfformulas(), this.getVLSTffFormula(), null, "tfformulas", null, 0, -1, VampireModel.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1518 | |||
1519 | initEClass(vlsIncludeEClass, VLSInclude.class, "VLSInclude", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1520 | initEAttribute(getVLSInclude_FileName(), ecorePackage.getEString(), "fileName", null, 0, 1, VLSInclude.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1521 | initEReference(getVLSInclude_Names(), this.getVLSName(), null, "names", null, 0, -1, VLSInclude.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1522 | |||
1523 | initEClass(vlsNameEClass, VLSName.class, "VLSName", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1524 | initEAttribute(getVLSName_Name(), ecorePackage.getEString(), "name", null, 0, 1, VLSName.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1525 | |||
1526 | initEClass(vlsCommentEClass, VLSComment.class, "VLSComment", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1527 | initEAttribute(getVLSComment_Comment(), ecorePackage.getEString(), "comment", null, 0, 1, VLSComment.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1528 | |||
1529 | initEClass(vlsConfirmationsEClass, VLSConfirmations.class, "VLSConfirmations", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1530 | |||
1531 | initEClass(vlsSatisfiableEClass, VLSSatisfiable.class, "VLSSatisfiable", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1532 | |||
1533 | initEClass(vlsFofFormulaEClass, VLSFofFormula.class, "VLSFofFormula", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1534 | initEAttribute(getVLSFofFormula_Name(), ecorePackage.getEString(), "name", null, 0, 1, VLSFofFormula.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1535 | initEAttribute(getVLSFofFormula_FofRole(), ecorePackage.getEString(), "fofRole", null, 0, 1, VLSFofFormula.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1536 | initEReference(getVLSFofFormula_FofFormula(), this.getVLSTerm(), null, "fofFormula", null, 0, 1, VLSFofFormula.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1537 | initEReference(getVLSFofFormula_Annotations(), this.getVLSAnnotation(), null, "annotations", null, 0, 1, VLSFofFormula.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1538 | |||
1539 | initEClass(vlsTffFormulaEClass, VLSTffFormula.class, "VLSTffFormula", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1540 | initEAttribute(getVLSTffFormula_Name(), ecorePackage.getEString(), "name", null, 0, 1, VLSTffFormula.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1541 | initEAttribute(getVLSTffFormula_FofRole(), ecorePackage.getEString(), "fofRole", null, 0, 1, VLSTffFormula.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1542 | initEReference(getVLSTffFormula_FofFormula(), this.getVLSTerm(), null, "fofFormula", null, 0, 1, VLSTffFormula.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1543 | initEReference(getVLSTffFormula_Annotations(), this.getVLSAnnotation(), null, "annotations", null, 0, 1, VLSTffFormula.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1544 | |||
1545 | initEClass(vlsAnnotationEClass, VLSAnnotation.class, "VLSAnnotation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1546 | initEAttribute(getVLSAnnotation_Name(), ecorePackage.getEString(), "name", null, 0, 1, VLSAnnotation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1547 | initEReference(getVLSAnnotation_Followup(), this.getVLSAnnotation(), null, "followup", null, 0, 1, VLSAnnotation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1548 | initEReference(getVLSAnnotation_Terms(), this.getVLSAnnotation(), null, "terms", null, 0, -1, VLSAnnotation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1549 | |||
1550 | initEClass(vlsTermEClass, VLSTerm.class, "VLSTerm", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1551 | |||
1552 | initEClass(vlsVariableEClass, VLSVariable.class, "VLSVariable", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1553 | initEAttribute(getVLSVariable_Name(), ecorePackage.getEString(), "name", null, 0, 1, VLSVariable.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1554 | |||
1555 | initEClass(vlsFunctionAsTermEClass, VLSFunctionAsTerm.class, "VLSFunctionAsTerm", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1556 | initEAttribute(getVLSFunctionAsTerm_Functor(), ecorePackage.getEString(), "functor", null, 0, 1, VLSFunctionAsTerm.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1557 | initEReference(getVLSFunctionAsTerm_Terms(), this.getVLSTerm(), null, "terms", null, 0, -1, VLSFunctionAsTerm.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1558 | |||
1559 | initEClass(vlsDefinedTermEClass, VLSDefinedTerm.class, "VLSDefinedTerm", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1560 | initEAttribute(getVLSDefinedTerm_Value(), ecorePackage.getEString(), "value", null, 0, 1, VLSDefinedTerm.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1561 | |||
1562 | initEClass(vlsEquivalentEClass, VLSEquivalent.class, "VLSEquivalent", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1563 | initEReference(getVLSEquivalent_Left(), this.getVLSTerm(), null, "left", null, 0, 1, VLSEquivalent.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1564 | initEReference(getVLSEquivalent_Right(), this.getVLSTerm(), null, "right", null, 0, 1, VLSEquivalent.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1565 | |||
1566 | initEClass(vlsImpliesEClass, VLSImplies.class, "VLSImplies", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1567 | initEReference(getVLSImplies_Left(), this.getVLSTerm(), null, "left", null, 0, 1, VLSImplies.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1568 | initEReference(getVLSImplies_Right(), this.getVLSTerm(), null, "right", null, 0, 1, VLSImplies.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1569 | |||
1570 | initEClass(vlsRevImpliesEClass, VLSRevImplies.class, "VLSRevImplies", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1571 | initEReference(getVLSRevImplies_Left(), this.getVLSTerm(), null, "left", null, 0, 1, VLSRevImplies.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1572 | initEReference(getVLSRevImplies_Right(), this.getVLSTerm(), null, "right", null, 0, 1, VLSRevImplies.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1573 | |||
1574 | initEClass(vlsXnorEClass, VLSXnor.class, "VLSXnor", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1575 | initEReference(getVLSXnor_Left(), this.getVLSTerm(), null, "left", null, 0, 1, VLSXnor.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1576 | initEReference(getVLSXnor_Right(), this.getVLSTerm(), null, "right", null, 0, 1, VLSXnor.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1577 | |||
1578 | initEClass(vlsNorEClass, VLSNor.class, "VLSNor", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1579 | initEReference(getVLSNor_Left(), this.getVLSTerm(), null, "left", null, 0, 1, VLSNor.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1580 | initEReference(getVLSNor_Right(), this.getVLSTerm(), null, "right", null, 0, 1, VLSNor.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1581 | |||
1582 | initEClass(vlsNandEClass, VLSNand.class, "VLSNand", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1583 | initEReference(getVLSNand_Left(), this.getVLSTerm(), null, "left", null, 0, 1, VLSNand.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1584 | initEReference(getVLSNand_Right(), this.getVLSTerm(), null, "right", null, 0, 1, VLSNand.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1585 | |||
1586 | initEClass(vlsAndEClass, VLSAnd.class, "VLSAnd", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1587 | initEReference(getVLSAnd_Left(), this.getVLSTerm(), null, "left", null, 0, 1, VLSAnd.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1588 | initEReference(getVLSAnd_Right(), this.getVLSTerm(), null, "right", null, 0, 1, VLSAnd.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1589 | |||
1590 | initEClass(vlsOrEClass, VLSOr.class, "VLSOr", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1591 | initEReference(getVLSOr_Left(), this.getVLSTerm(), null, "left", null, 0, 1, VLSOr.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1592 | initEReference(getVLSOr_Right(), this.getVLSTerm(), null, "right", null, 0, 1, VLSOr.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1593 | |||
1594 | initEClass(vlsUniversalQuantifierEClass, VLSUniversalQuantifier.class, "VLSUniversalQuantifier", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1595 | initEReference(getVLSUniversalQuantifier_Variables(), this.getVLSVariable(), null, "variables", null, 0, -1, VLSUniversalQuantifier.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1596 | initEReference(getVLSUniversalQuantifier_Operand(), this.getVLSTerm(), null, "operand", null, 0, 1, VLSUniversalQuantifier.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1597 | |||
1598 | initEClass(vlsExistentialQuantifierEClass, VLSExistentialQuantifier.class, "VLSExistentialQuantifier", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1599 | initEReference(getVLSExistentialQuantifier_Variables(), this.getVLSVariable(), null, "variables", null, 0, -1, VLSExistentialQuantifier.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1600 | initEReference(getVLSExistentialQuantifier_Operand(), this.getVLSTerm(), null, "operand", null, 0, 1, VLSExistentialQuantifier.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1601 | |||
1602 | initEClass(vlsUnaryNegationEClass, VLSUnaryNegation.class, "VLSUnaryNegation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1603 | initEReference(getVLSUnaryNegation_Operand(), this.getVLSTerm(), null, "operand", null, 0, 1, VLSUnaryNegation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1604 | |||
1605 | initEClass(vlsInequalityEClass, VLSInequality.class, "VLSInequality", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1606 | initEReference(getVLSInequality_Left(), this.getVLSTerm(), null, "left", null, 0, 1, VLSInequality.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1607 | initEReference(getVLSInequality_Right(), this.getVLSTerm(), null, "right", null, 0, 1, VLSInequality.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1608 | |||
1609 | initEClass(vlsEqualityEClass, VLSEquality.class, "VLSEquality", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1610 | initEReference(getVLSEquality_Left(), this.getVLSTerm(), null, "left", null, 0, 1, VLSEquality.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1611 | initEReference(getVLSEquality_Right(), this.getVLSTerm(), null, "right", null, 0, 1, VLSEquality.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1612 | |||
1613 | initEClass(vlsAssignmentEClass, VLSAssignment.class, "VLSAssignment", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1614 | initEReference(getVLSAssignment_Left(), this.getVLSTerm(), null, "left", null, 0, 1, VLSAssignment.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1615 | initEReference(getVLSAssignment_Right(), this.getVLSTerm(), null, "right", null, 0, 1, VLSAssignment.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1616 | |||
1617 | initEClass(vlsConstantEClass, VLSConstant.class, "VLSConstant", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1618 | initEAttribute(getVLSConstant_Name(), ecorePackage.getEString(), "name", null, 0, 1, VLSConstant.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1619 | |||
1620 | initEClass(vlsTrueEClass, VLSTrue.class, "VLSTrue", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1621 | |||
1622 | initEClass(vlsFalseEClass, VLSFalse.class, "VLSFalse", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1623 | |||
1624 | initEClass(vlsFunctionEClass, VLSFunction.class, "VLSFunction", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1625 | initEAttribute(getVLSFunction_Constant(), ecorePackage.getEString(), "constant", null, 0, 1, VLSFunction.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1626 | initEReference(getVLSFunction_Terms(), this.getVLSTerm(), null, "terms", null, 0, -1, VLSFunction.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1627 | |||
1628 | initEClass(vlsLessEClass, VLSLess.class, "VLSLess", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1629 | initEAttribute(getVLSLess_Name(), ecorePackage.getEString(), "name", null, 0, 1, VLSLess.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1630 | initEReference(getVLSLess_Terms(), this.getVLSTerm(), null, "terms", null, 0, -1, VLSLess.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1631 | |||
1632 | initEClass(vlsIntEClass, VLSInt.class, "VLSInt", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1633 | |||
1634 | initEClass(vlsRealEClass, VLSReal.class, "VLSReal", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1635 | |||
1636 | initEClass(vlsRationalEClass, VLSRational.class, "VLSRational", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1637 | |||
1638 | initEClass(vlsDoubleQuoteEClass, VLSDoubleQuote.class, "VLSDoubleQuote", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1639 | |||
1640 | // Create resource | ||
1641 | createResource(eNS_URI); | ||
1642 | } | ||
1643 | |||
1644 | } //VampireLanguagePackageImpl | ||