aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VampireLanguagePackage.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/VampireLanguagePackage.java')
-rw-r--r--Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VampireLanguagePackage.java2809
1 files changed, 2809 insertions, 0 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VampireLanguagePackage.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VampireLanguagePackage.java
new file mode 100644
index 00000000..f1519839
--- /dev/null
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VampireLanguagePackage.java
@@ -0,0 +1,2809 @@
1/**
2 * generated by Xtext 2.12.0
3 */
4package ca.mcgill.ecse.dslreasoner.vampireLanguage;
5
6import org.eclipse.emf.ecore.EAttribute;
7import org.eclipse.emf.ecore.EClass;
8import org.eclipse.emf.ecore.EPackage;
9import org.eclipse.emf.ecore.EReference;
10
11/**
12 * <!-- begin-user-doc -->
13 * The <b>Package</b> for the model.
14 * It contains accessors for the meta objects to represent
15 * <ul>
16 * <li>each class,</li>
17 * <li>each feature of each class,</li>
18 * <li>each enum,</li>
19 * <li>and each data type</li>
20 * </ul>
21 * <!-- end-user-doc -->
22 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguageFactory
23 * @model kind="package"
24 * @generated
25 */
26public interface VampireLanguagePackage extends EPackage
27{
28 /**
29 * The package name.
30 * <!-- begin-user-doc -->
31 * <!-- end-user-doc -->
32 * @generated
33 */
34 String eNAME = "vampireLanguage";
35
36 /**
37 * The package namespace URI.
38 * <!-- begin-user-doc -->
39 * <!-- end-user-doc -->
40 * @generated
41 */
42 String eNS_URI = "http://www.mcgill.ca/ecse/dslreasoner/VampireLanguage";
43
44 /**
45 * The package namespace name.
46 * <!-- begin-user-doc -->
47 * <!-- end-user-doc -->
48 * @generated
49 */
50 String eNS_PREFIX = "vampireLanguage";
51
52 /**
53 * The singleton instance of the package.
54 * <!-- begin-user-doc -->
55 * <!-- end-user-doc -->
56 * @generated
57 */
58 VampireLanguagePackage eINSTANCE = ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl.init();
59
60 /**
61 * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireModelImpl <em>Vampire Model</em>}' class.
62 * <!-- begin-user-doc -->
63 * <!-- end-user-doc -->
64 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireModelImpl
65 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVampireModel()
66 * @generated
67 */
68 int VAMPIRE_MODEL = 0;
69
70 /**
71 * The feature id for the '<em><b>Includes</b></em>' containment reference list.
72 * <!-- begin-user-doc -->
73 * <!-- end-user-doc -->
74 * @generated
75 * @ordered
76 */
77 int VAMPIRE_MODEL__INCLUDES = 0;
78
79 /**
80 * The feature id for the '<em><b>Comments</b></em>' containment reference list.
81 * <!-- begin-user-doc -->
82 * <!-- end-user-doc -->
83 * @generated
84 * @ordered
85 */
86 int VAMPIRE_MODEL__COMMENTS = 1;
87
88 /**
89 * The feature id for the '<em><b>Formulas</b></em>' containment reference list.
90 * <!-- begin-user-doc -->
91 * <!-- end-user-doc -->
92 * @generated
93 * @ordered
94 */
95 int VAMPIRE_MODEL__FORMULAS = 2;
96
97 /**
98 * The number of structural features of the '<em>Vampire Model</em>' class.
99 * <!-- begin-user-doc -->
100 * <!-- end-user-doc -->
101 * @generated
102 * @ordered
103 */
104 int VAMPIRE_MODEL_FEATURE_COUNT = 3;
105
106 /**
107 * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSIncludeImpl <em>VLS Include</em>}' class.
108 * <!-- begin-user-doc -->
109 * <!-- end-user-doc -->
110 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSIncludeImpl
111 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSInclude()
112 * @generated
113 */
114 int VLS_INCLUDE = 1;
115
116 /**
117 * The feature id for the '<em><b>File Name</b></em>' attribute.
118 * <!-- begin-user-doc -->
119 * <!-- end-user-doc -->
120 * @generated
121 * @ordered
122 */
123 int VLS_INCLUDE__FILE_NAME = 0;
124
125 /**
126 * The feature id for the '<em><b>Names</b></em>' containment reference list.
127 * <!-- begin-user-doc -->
128 * <!-- end-user-doc -->
129 * @generated
130 * @ordered
131 */
132 int VLS_INCLUDE__NAMES = 1;
133
134 /**
135 * The number of structural features of the '<em>VLS Include</em>' class.
136 * <!-- begin-user-doc -->
137 * <!-- end-user-doc -->
138 * @generated
139 * @ordered
140 */
141 int VLS_INCLUDE_FEATURE_COUNT = 2;
142
143 /**
144 * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSNameImpl <em>VLS Name</em>}' class.
145 * <!-- begin-user-doc -->
146 * <!-- end-user-doc -->
147 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSNameImpl
148 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSName()
149 * @generated
150 */
151 int VLS_NAME = 2;
152
153 /**
154 * The feature id for the '<em><b>Name</b></em>' attribute.
155 * <!-- begin-user-doc -->
156 * <!-- end-user-doc -->
157 * @generated
158 * @ordered
159 */
160 int VLS_NAME__NAME = 0;
161
162 /**
163 * The number of structural features of the '<em>VLS Name</em>' class.
164 * <!-- begin-user-doc -->
165 * <!-- end-user-doc -->
166 * @generated
167 * @ordered
168 */
169 int VLS_NAME_FEATURE_COUNT = 1;
170
171 /**
172 * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSCommentImpl <em>VLS Comment</em>}' class.
173 * <!-- begin-user-doc -->
174 * <!-- end-user-doc -->
175 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSCommentImpl
176 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSComment()
177 * @generated
178 */
179 int VLS_COMMENT = 3;
180
181 /**
182 * The feature id for the '<em><b>Comment</b></em>' attribute.
183 * <!-- begin-user-doc -->
184 * <!-- end-user-doc -->
185 * @generated
186 * @ordered
187 */
188 int VLS_COMMENT__COMMENT = 0;
189
190 /**
191 * The number of structural features of the '<em>VLS Comment</em>' class.
192 * <!-- begin-user-doc -->
193 * <!-- end-user-doc -->
194 * @generated
195 * @ordered
196 */
197 int VLS_COMMENT_FEATURE_COUNT = 1;
198
199 /**
200 * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSFofFormulaImpl <em>VLS Fof Formula</em>}' class.
201 * <!-- begin-user-doc -->
202 * <!-- end-user-doc -->
203 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSFofFormulaImpl
204 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSFofFormula()
205 * @generated
206 */
207 int VLS_FOF_FORMULA = 4;
208
209 /**
210 * The feature id for the '<em><b>Name</b></em>' attribute.
211 * <!-- begin-user-doc -->
212 * <!-- end-user-doc -->
213 * @generated
214 * @ordered
215 */
216 int VLS_FOF_FORMULA__NAME = 0;
217
218 /**
219 * The feature id for the '<em><b>Fof Role</b></em>' attribute.
220 * <!-- begin-user-doc -->
221 * <!-- end-user-doc -->
222 * @generated
223 * @ordered
224 */
225 int VLS_FOF_FORMULA__FOF_ROLE = 1;
226
227 /**
228 * The feature id for the '<em><b>Fof Formula</b></em>' containment reference.
229 * <!-- begin-user-doc -->
230 * <!-- end-user-doc -->
231 * @generated
232 * @ordered
233 */
234 int VLS_FOF_FORMULA__FOF_FORMULA = 2;
235
236 /**
237 * The feature id for the '<em><b>Annotations</b></em>' containment reference.
238 * <!-- begin-user-doc -->
239 * <!-- end-user-doc -->
240 * @generated
241 * @ordered
242 */
243 int VLS_FOF_FORMULA__ANNOTATIONS = 3;
244
245 /**
246 * The number of structural features of the '<em>VLS Fof Formula</em>' class.
247 * <!-- begin-user-doc -->
248 * <!-- end-user-doc -->
249 * @generated
250 * @ordered
251 */
252 int VLS_FOF_FORMULA_FEATURE_COUNT = 4;
253
254 /**
255 * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSAnnotationImpl <em>VLS Annotation</em>}' class.
256 * <!-- begin-user-doc -->
257 * <!-- end-user-doc -->
258 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSAnnotationImpl
259 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSAnnotation()
260 * @generated
261 */
262 int VLS_ANNOTATION = 5;
263
264 /**
265 * The feature id for the '<em><b>Name</b></em>' attribute.
266 * <!-- begin-user-doc -->
267 * <!-- end-user-doc -->
268 * @generated
269 * @ordered
270 */
271 int VLS_ANNOTATION__NAME = 0;
272
273 /**
274 * The feature id for the '<em><b>Followup</b></em>' containment reference.
275 * <!-- begin-user-doc -->
276 * <!-- end-user-doc -->
277 * @generated
278 * @ordered
279 */
280 int VLS_ANNOTATION__FOLLOWUP = 1;
281
282 /**
283 * The feature id for the '<em><b>Terms</b></em>' containment reference list.
284 * <!-- begin-user-doc -->
285 * <!-- end-user-doc -->
286 * @generated
287 * @ordered
288 */
289 int VLS_ANNOTATION__TERMS = 2;
290
291 /**
292 * The number of structural features of the '<em>VLS Annotation</em>' class.
293 * <!-- begin-user-doc -->
294 * <!-- end-user-doc -->
295 * @generated
296 * @ordered
297 */
298 int VLS_ANNOTATION_FEATURE_COUNT = 3;
299
300 /**
301 * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSTermImpl <em>VLS Term</em>}' class.
302 * <!-- begin-user-doc -->
303 * <!-- end-user-doc -->
304 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSTermImpl
305 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSTerm()
306 * @generated
307 */
308 int VLS_TERM = 6;
309
310 /**
311 * The number of structural features of the '<em>VLS Term</em>' class.
312 * <!-- begin-user-doc -->
313 * <!-- end-user-doc -->
314 * @generated
315 * @ordered
316 */
317 int VLS_TERM_FEATURE_COUNT = 0;
318
319 /**
320 * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSVariableImpl <em>VLS Variable</em>}' class.
321 * <!-- begin-user-doc -->
322 * <!-- end-user-doc -->
323 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSVariableImpl
324 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSVariable()
325 * @generated
326 */
327 int VLS_VARIABLE = 7;
328
329 /**
330 * The feature id for the '<em><b>Name</b></em>' attribute.
331 * <!-- begin-user-doc -->
332 * <!-- end-user-doc -->
333 * @generated
334 * @ordered
335 */
336 int VLS_VARIABLE__NAME = VLS_TERM_FEATURE_COUNT + 0;
337
338 /**
339 * The number of structural features of the '<em>VLS Variable</em>' class.
340 * <!-- begin-user-doc -->
341 * <!-- end-user-doc -->
342 * @generated
343 * @ordered
344 */
345 int VLS_VARIABLE_FEATURE_COUNT = VLS_TERM_FEATURE_COUNT + 1;
346
347 /**
348 * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSFunctionFofImpl <em>VLS Function Fof</em>}' class.
349 * <!-- begin-user-doc -->
350 * <!-- end-user-doc -->
351 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSFunctionFofImpl
352 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSFunctionFof()
353 * @generated
354 */
355 int VLS_FUNCTION_FOF = 8;
356
357 /**
358 * The feature id for the '<em><b>Functor</b></em>' attribute.
359 * <!-- begin-user-doc -->
360 * <!-- end-user-doc -->
361 * @generated
362 * @ordered
363 */
364 int VLS_FUNCTION_FOF__FUNCTOR = VLS_TERM_FEATURE_COUNT + 0;
365
366 /**
367 * The feature id for the '<em><b>Terms</b></em>' containment reference list.
368 * <!-- begin-user-doc -->
369 * <!-- end-user-doc -->
370 * @generated
371 * @ordered
372 */
373 int VLS_FUNCTION_FOF__TERMS = VLS_TERM_FEATURE_COUNT + 1;
374
375 /**
376 * The number of structural features of the '<em>VLS Function Fof</em>' class.
377 * <!-- begin-user-doc -->
378 * <!-- end-user-doc -->
379 * @generated
380 * @ordered
381 */
382 int VLS_FUNCTION_FOF_FEATURE_COUNT = VLS_TERM_FEATURE_COUNT + 2;
383
384 /**
385 * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSDefinedTermImpl <em>VLS Defined Term</em>}' class.
386 * <!-- begin-user-doc -->
387 * <!-- end-user-doc -->
388 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSDefinedTermImpl
389 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSDefinedTerm()
390 * @generated
391 */
392 int VLS_DEFINED_TERM = 9;
393
394 /**
395 * The feature id for the '<em><b>Value</b></em>' attribute.
396 * <!-- begin-user-doc -->
397 * <!-- end-user-doc -->
398 * @generated
399 * @ordered
400 */
401 int VLS_DEFINED_TERM__VALUE = VLS_TERM_FEATURE_COUNT + 0;
402
403 /**
404 * The number of structural features of the '<em>VLS Defined Term</em>' class.
405 * <!-- begin-user-doc -->
406 * <!-- end-user-doc -->
407 * @generated
408 * @ordered
409 */
410 int VLS_DEFINED_TERM_FEATURE_COUNT = VLS_TERM_FEATURE_COUNT + 1;
411
412 /**
413 * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSEquivalentImpl <em>VLS Equivalent</em>}' class.
414 * <!-- begin-user-doc -->
415 * <!-- end-user-doc -->
416 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSEquivalentImpl
417 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSEquivalent()
418 * @generated
419 */
420 int VLS_EQUIVALENT = 10;
421
422 /**
423 * The feature id for the '<em><b>Left</b></em>' containment reference.
424 * <!-- begin-user-doc -->
425 * <!-- end-user-doc -->
426 * @generated
427 * @ordered
428 */
429 int VLS_EQUIVALENT__LEFT = VLS_TERM_FEATURE_COUNT + 0;
430
431 /**
432 * The feature id for the '<em><b>Right</b></em>' containment reference.
433 * <!-- begin-user-doc -->
434 * <!-- end-user-doc -->
435 * @generated
436 * @ordered
437 */
438 int VLS_EQUIVALENT__RIGHT = VLS_TERM_FEATURE_COUNT + 1;
439
440 /**
441 * The number of structural features of the '<em>VLS Equivalent</em>' class.
442 * <!-- begin-user-doc -->
443 * <!-- end-user-doc -->
444 * @generated
445 * @ordered
446 */
447 int VLS_EQUIVALENT_FEATURE_COUNT = VLS_TERM_FEATURE_COUNT + 2;
448
449 /**
450 * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSImpliesImpl <em>VLS Implies</em>}' class.
451 * <!-- begin-user-doc -->
452 * <!-- end-user-doc -->
453 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSImpliesImpl
454 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSImplies()
455 * @generated
456 */
457 int VLS_IMPLIES = 11;
458
459 /**
460 * The feature id for the '<em><b>Left</b></em>' containment reference.
461 * <!-- begin-user-doc -->
462 * <!-- end-user-doc -->
463 * @generated
464 * @ordered
465 */
466 int VLS_IMPLIES__LEFT = VLS_TERM_FEATURE_COUNT + 0;
467
468 /**
469 * The feature id for the '<em><b>Right</b></em>' containment reference.
470 * <!-- begin-user-doc -->
471 * <!-- end-user-doc -->
472 * @generated
473 * @ordered
474 */
475 int VLS_IMPLIES__RIGHT = VLS_TERM_FEATURE_COUNT + 1;
476
477 /**
478 * The number of structural features of the '<em>VLS Implies</em>' class.
479 * <!-- begin-user-doc -->
480 * <!-- end-user-doc -->
481 * @generated
482 * @ordered
483 */
484 int VLS_IMPLIES_FEATURE_COUNT = VLS_TERM_FEATURE_COUNT + 2;
485
486 /**
487 * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSRevImpliesImpl <em>VLS Rev Implies</em>}' class.
488 * <!-- begin-user-doc -->
489 * <!-- end-user-doc -->
490 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSRevImpliesImpl
491 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSRevImplies()
492 * @generated
493 */
494 int VLS_REV_IMPLIES = 12;
495
496 /**
497 * The feature id for the '<em><b>Left</b></em>' containment reference.
498 * <!-- begin-user-doc -->
499 * <!-- end-user-doc -->
500 * @generated
501 * @ordered
502 */
503 int VLS_REV_IMPLIES__LEFT = VLS_TERM_FEATURE_COUNT + 0;
504
505 /**
506 * The feature id for the '<em><b>Right</b></em>' containment reference.
507 * <!-- begin-user-doc -->
508 * <!-- end-user-doc -->
509 * @generated
510 * @ordered
511 */
512 int VLS_REV_IMPLIES__RIGHT = VLS_TERM_FEATURE_COUNT + 1;
513
514 /**
515 * The number of structural features of the '<em>VLS Rev Implies</em>' class.
516 * <!-- begin-user-doc -->
517 * <!-- end-user-doc -->
518 * @generated
519 * @ordered
520 */
521 int VLS_REV_IMPLIES_FEATURE_COUNT = VLS_TERM_FEATURE_COUNT + 2;
522
523 /**
524 * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSXnorImpl <em>VLS Xnor</em>}' class.
525 * <!-- begin-user-doc -->
526 * <!-- end-user-doc -->
527 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSXnorImpl
528 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSXnor()
529 * @generated
530 */
531 int VLS_XNOR = 13;
532
533 /**
534 * The feature id for the '<em><b>Left</b></em>' containment reference.
535 * <!-- begin-user-doc -->
536 * <!-- end-user-doc -->
537 * @generated
538 * @ordered
539 */
540 int VLS_XNOR__LEFT = VLS_TERM_FEATURE_COUNT + 0;
541
542 /**
543 * The feature id for the '<em><b>Right</b></em>' containment reference.
544 * <!-- begin-user-doc -->
545 * <!-- end-user-doc -->
546 * @generated
547 * @ordered
548 */
549 int VLS_XNOR__RIGHT = VLS_TERM_FEATURE_COUNT + 1;
550
551 /**
552 * The number of structural features of the '<em>VLS Xnor</em>' class.
553 * <!-- begin-user-doc -->
554 * <!-- end-user-doc -->
555 * @generated
556 * @ordered
557 */
558 int VLS_XNOR_FEATURE_COUNT = VLS_TERM_FEATURE_COUNT + 2;
559
560 /**
561 * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSNorImpl <em>VLS Nor</em>}' class.
562 * <!-- begin-user-doc -->
563 * <!-- end-user-doc -->
564 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSNorImpl
565 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSNor()
566 * @generated
567 */
568 int VLS_NOR = 14;
569
570 /**
571 * The feature id for the '<em><b>Left</b></em>' containment reference.
572 * <!-- begin-user-doc -->
573 * <!-- end-user-doc -->
574 * @generated
575 * @ordered
576 */
577 int VLS_NOR__LEFT = VLS_TERM_FEATURE_COUNT + 0;
578
579 /**
580 * The feature id for the '<em><b>Right</b></em>' containment reference.
581 * <!-- begin-user-doc -->
582 * <!-- end-user-doc -->
583 * @generated
584 * @ordered
585 */
586 int VLS_NOR__RIGHT = VLS_TERM_FEATURE_COUNT + 1;
587
588 /**
589 * The number of structural features of the '<em>VLS Nor</em>' class.
590 * <!-- begin-user-doc -->
591 * <!-- end-user-doc -->
592 * @generated
593 * @ordered
594 */
595 int VLS_NOR_FEATURE_COUNT = VLS_TERM_FEATURE_COUNT + 2;
596
597 /**
598 * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSNandImpl <em>VLS Nand</em>}' class.
599 * <!-- begin-user-doc -->
600 * <!-- end-user-doc -->
601 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSNandImpl
602 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSNand()
603 * @generated
604 */
605 int VLS_NAND = 15;
606
607 /**
608 * The feature id for the '<em><b>Left</b></em>' containment reference.
609 * <!-- begin-user-doc -->
610 * <!-- end-user-doc -->
611 * @generated
612 * @ordered
613 */
614 int VLS_NAND__LEFT = VLS_TERM_FEATURE_COUNT + 0;
615
616 /**
617 * The feature id for the '<em><b>Right</b></em>' containment reference.
618 * <!-- begin-user-doc -->
619 * <!-- end-user-doc -->
620 * @generated
621 * @ordered
622 */
623 int VLS_NAND__RIGHT = VLS_TERM_FEATURE_COUNT + 1;
624
625 /**
626 * The number of structural features of the '<em>VLS Nand</em>' class.
627 * <!-- begin-user-doc -->
628 * <!-- end-user-doc -->
629 * @generated
630 * @ordered
631 */
632 int VLS_NAND_FEATURE_COUNT = VLS_TERM_FEATURE_COUNT + 2;
633
634 /**
635 * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSAndImpl <em>VLS And</em>}' class.
636 * <!-- begin-user-doc -->
637 * <!-- end-user-doc -->
638 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSAndImpl
639 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSAnd()
640 * @generated
641 */
642 int VLS_AND = 16;
643
644 /**
645 * The feature id for the '<em><b>Left</b></em>' containment reference.
646 * <!-- begin-user-doc -->
647 * <!-- end-user-doc -->
648 * @generated
649 * @ordered
650 */
651 int VLS_AND__LEFT = VLS_TERM_FEATURE_COUNT + 0;
652
653 /**
654 * The feature id for the '<em><b>Right</b></em>' containment reference.
655 * <!-- begin-user-doc -->
656 * <!-- end-user-doc -->
657 * @generated
658 * @ordered
659 */
660 int VLS_AND__RIGHT = VLS_TERM_FEATURE_COUNT + 1;
661
662 /**
663 * The number of structural features of the '<em>VLS And</em>' class.
664 * <!-- begin-user-doc -->
665 * <!-- end-user-doc -->
666 * @generated
667 * @ordered
668 */
669 int VLS_AND_FEATURE_COUNT = VLS_TERM_FEATURE_COUNT + 2;
670
671 /**
672 * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSOrImpl <em>VLS Or</em>}' class.
673 * <!-- begin-user-doc -->
674 * <!-- end-user-doc -->
675 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSOrImpl
676 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSOr()
677 * @generated
678 */
679 int VLS_OR = 17;
680
681 /**
682 * The feature id for the '<em><b>Left</b></em>' containment reference.
683 * <!-- begin-user-doc -->
684 * <!-- end-user-doc -->
685 * @generated
686 * @ordered
687 */
688 int VLS_OR__LEFT = VLS_TERM_FEATURE_COUNT + 0;
689
690 /**
691 * The feature id for the '<em><b>Right</b></em>' containment reference.
692 * <!-- begin-user-doc -->
693 * <!-- end-user-doc -->
694 * @generated
695 * @ordered
696 */
697 int VLS_OR__RIGHT = VLS_TERM_FEATURE_COUNT + 1;
698
699 /**
700 * The number of structural features of the '<em>VLS Or</em>' class.
701 * <!-- begin-user-doc -->
702 * <!-- end-user-doc -->
703 * @generated
704 * @ordered
705 */
706 int VLS_OR_FEATURE_COUNT = VLS_TERM_FEATURE_COUNT + 2;
707
708 /**
709 * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSUniversalQuantifierImpl <em>VLS Universal Quantifier</em>}' class.
710 * <!-- begin-user-doc -->
711 * <!-- end-user-doc -->
712 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSUniversalQuantifierImpl
713 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSUniversalQuantifier()
714 * @generated
715 */
716 int VLS_UNIVERSAL_QUANTIFIER = 18;
717
718 /**
719 * The feature id for the '<em><b>Variables</b></em>' containment reference list.
720 * <!-- begin-user-doc -->
721 * <!-- end-user-doc -->
722 * @generated
723 * @ordered
724 */
725 int VLS_UNIVERSAL_QUANTIFIER__VARIABLES = VLS_TERM_FEATURE_COUNT + 0;
726
727 /**
728 * The feature id for the '<em><b>Operand</b></em>' containment reference.
729 * <!-- begin-user-doc -->
730 * <!-- end-user-doc -->
731 * @generated
732 * @ordered
733 */
734 int VLS_UNIVERSAL_QUANTIFIER__OPERAND = VLS_TERM_FEATURE_COUNT + 1;
735
736 /**
737 * The number of structural features of the '<em>VLS Universal Quantifier</em>' class.
738 * <!-- begin-user-doc -->
739 * <!-- end-user-doc -->
740 * @generated
741 * @ordered
742 */
743 int VLS_UNIVERSAL_QUANTIFIER_FEATURE_COUNT = VLS_TERM_FEATURE_COUNT + 2;
744
745 /**
746 * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSExistentialQuantifierImpl <em>VLS Existential Quantifier</em>}' class.
747 * <!-- begin-user-doc -->
748 * <!-- end-user-doc -->
749 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSExistentialQuantifierImpl
750 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSExistentialQuantifier()
751 * @generated
752 */
753 int VLS_EXISTENTIAL_QUANTIFIER = 19;
754
755 /**
756 * The feature id for the '<em><b>Variables</b></em>' containment reference list.
757 * <!-- begin-user-doc -->
758 * <!-- end-user-doc -->
759 * @generated
760 * @ordered
761 */
762 int VLS_EXISTENTIAL_QUANTIFIER__VARIABLES = VLS_TERM_FEATURE_COUNT + 0;
763
764 /**
765 * The feature id for the '<em><b>Operand</b></em>' containment reference.
766 * <!-- begin-user-doc -->
767 * <!-- end-user-doc -->
768 * @generated
769 * @ordered
770 */
771 int VLS_EXISTENTIAL_QUANTIFIER__OPERAND = VLS_TERM_FEATURE_COUNT + 1;
772
773 /**
774 * The number of structural features of the '<em>VLS Existential Quantifier</em>' class.
775 * <!-- begin-user-doc -->
776 * <!-- end-user-doc -->
777 * @generated
778 * @ordered
779 */
780 int VLS_EXISTENTIAL_QUANTIFIER_FEATURE_COUNT = VLS_TERM_FEATURE_COUNT + 2;
781
782 /**
783 * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSUnaryNegationImpl <em>VLS Unary Negation</em>}' class.
784 * <!-- begin-user-doc -->
785 * <!-- end-user-doc -->
786 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSUnaryNegationImpl
787 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSUnaryNegation()
788 * @generated
789 */
790 int VLS_UNARY_NEGATION = 20;
791
792 /**
793 * The feature id for the '<em><b>Operand</b></em>' containment reference.
794 * <!-- begin-user-doc -->
795 * <!-- end-user-doc -->
796 * @generated
797 * @ordered
798 */
799 int VLS_UNARY_NEGATION__OPERAND = VLS_TERM_FEATURE_COUNT + 0;
800
801 /**
802 * The number of structural features of the '<em>VLS Unary Negation</em>' class.
803 * <!-- begin-user-doc -->
804 * <!-- end-user-doc -->
805 * @generated
806 * @ordered
807 */
808 int VLS_UNARY_NEGATION_FEATURE_COUNT = VLS_TERM_FEATURE_COUNT + 1;
809
810 /**
811 * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSInequalityImpl <em>VLS Inequality</em>}' class.
812 * <!-- begin-user-doc -->
813 * <!-- end-user-doc -->
814 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSInequalityImpl
815 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSInequality()
816 * @generated
817 */
818 int VLS_INEQUALITY = 21;
819
820 /**
821 * The feature id for the '<em><b>Left</b></em>' containment reference.
822 * <!-- begin-user-doc -->
823 * <!-- end-user-doc -->
824 * @generated
825 * @ordered
826 */
827 int VLS_INEQUALITY__LEFT = VLS_TERM_FEATURE_COUNT + 0;
828
829 /**
830 * The feature id for the '<em><b>Right</b></em>' containment reference.
831 * <!-- begin-user-doc -->
832 * <!-- end-user-doc -->
833 * @generated
834 * @ordered
835 */
836 int VLS_INEQUALITY__RIGHT = VLS_TERM_FEATURE_COUNT + 1;
837
838 /**
839 * The number of structural features of the '<em>VLS Inequality</em>' class.
840 * <!-- begin-user-doc -->
841 * <!-- end-user-doc -->
842 * @generated
843 * @ordered
844 */
845 int VLS_INEQUALITY_FEATURE_COUNT = VLS_TERM_FEATURE_COUNT + 2;
846
847 /**
848 * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSEqualityImpl <em>VLS Equality</em>}' class.
849 * <!-- begin-user-doc -->
850 * <!-- end-user-doc -->
851 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSEqualityImpl
852 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSEquality()
853 * @generated
854 */
855 int VLS_EQUALITY = 22;
856
857 /**
858 * The feature id for the '<em><b>Left</b></em>' containment reference.
859 * <!-- begin-user-doc -->
860 * <!-- end-user-doc -->
861 * @generated
862 * @ordered
863 */
864 int VLS_EQUALITY__LEFT = VLS_TERM_FEATURE_COUNT + 0;
865
866 /**
867 * The feature id for the '<em><b>Right</b></em>' containment reference.
868 * <!-- begin-user-doc -->
869 * <!-- end-user-doc -->
870 * @generated
871 * @ordered
872 */
873 int VLS_EQUALITY__RIGHT = VLS_TERM_FEATURE_COUNT + 1;
874
875 /**
876 * The number of structural features of the '<em>VLS Equality</em>' class.
877 * <!-- begin-user-doc -->
878 * <!-- end-user-doc -->
879 * @generated
880 * @ordered
881 */
882 int VLS_EQUALITY_FEATURE_COUNT = VLS_TERM_FEATURE_COUNT + 2;
883
884 /**
885 * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSAssignmentImpl <em>VLS Assignment</em>}' class.
886 * <!-- begin-user-doc -->
887 * <!-- end-user-doc -->
888 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSAssignmentImpl
889 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSAssignment()
890 * @generated
891 */
892 int VLS_ASSIGNMENT = 23;
893
894 /**
895 * The feature id for the '<em><b>Left</b></em>' containment reference.
896 * <!-- begin-user-doc -->
897 * <!-- end-user-doc -->
898 * @generated
899 * @ordered
900 */
901 int VLS_ASSIGNMENT__LEFT = VLS_TERM_FEATURE_COUNT + 0;
902
903 /**
904 * The feature id for the '<em><b>Right</b></em>' containment reference.
905 * <!-- begin-user-doc -->
906 * <!-- end-user-doc -->
907 * @generated
908 * @ordered
909 */
910 int VLS_ASSIGNMENT__RIGHT = VLS_TERM_FEATURE_COUNT + 1;
911
912 /**
913 * The number of structural features of the '<em>VLS Assignment</em>' class.
914 * <!-- begin-user-doc -->
915 * <!-- end-user-doc -->
916 * @generated
917 * @ordered
918 */
919 int VLS_ASSIGNMENT_FEATURE_COUNT = VLS_TERM_FEATURE_COUNT + 2;
920
921 /**
922 * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSConstantImpl <em>VLS Constant</em>}' class.
923 * <!-- begin-user-doc -->
924 * <!-- end-user-doc -->
925 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSConstantImpl
926 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSConstant()
927 * @generated
928 */
929 int VLS_CONSTANT = 24;
930
931 /**
932 * The feature id for the '<em><b>Name</b></em>' attribute.
933 * <!-- begin-user-doc -->
934 * <!-- end-user-doc -->
935 * @generated
936 * @ordered
937 */
938 int VLS_CONSTANT__NAME = VLS_TERM_FEATURE_COUNT + 0;
939
940 /**
941 * The number of structural features of the '<em>VLS Constant</em>' class.
942 * <!-- begin-user-doc -->
943 * <!-- end-user-doc -->
944 * @generated
945 * @ordered
946 */
947 int VLS_CONSTANT_FEATURE_COUNT = VLS_TERM_FEATURE_COUNT + 1;
948
949 /**
950 * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSTrueImpl <em>VLS True</em>}' class.
951 * <!-- begin-user-doc -->
952 * <!-- end-user-doc -->
953 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSTrueImpl
954 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSTrue()
955 * @generated
956 */
957 int VLS_TRUE = 25;
958
959 /**
960 * The number of structural features of the '<em>VLS True</em>' class.
961 * <!-- begin-user-doc -->
962 * <!-- end-user-doc -->
963 * @generated
964 * @ordered
965 */
966 int VLS_TRUE_FEATURE_COUNT = VLS_TERM_FEATURE_COUNT + 0;
967
968 /**
969 * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSFalseImpl <em>VLS False</em>}' class.
970 * <!-- begin-user-doc -->
971 * <!-- end-user-doc -->
972 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSFalseImpl
973 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSFalse()
974 * @generated
975 */
976 int VLS_FALSE = 26;
977
978 /**
979 * The number of structural features of the '<em>VLS False</em>' class.
980 * <!-- begin-user-doc -->
981 * <!-- end-user-doc -->
982 * @generated
983 * @ordered
984 */
985 int VLS_FALSE_FEATURE_COUNT = VLS_TERM_FEATURE_COUNT + 0;
986
987 /**
988 * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSFunctionImpl <em>VLS Function</em>}' class.
989 * <!-- begin-user-doc -->
990 * <!-- end-user-doc -->
991 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSFunctionImpl
992 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSFunction()
993 * @generated
994 */
995 int VLS_FUNCTION = 27;
996
997 /**
998 * The feature id for the '<em><b>Constant</b></em>' attribute.
999 * <!-- begin-user-doc -->
1000 * <!-- end-user-doc -->
1001 * @generated
1002 * @ordered
1003 */
1004 int VLS_FUNCTION__CONSTANT = VLS_TERM_FEATURE_COUNT + 0;
1005
1006 /**
1007 * The feature id for the '<em><b>Terms</b></em>' containment reference list.
1008 * <!-- begin-user-doc -->
1009 * <!-- end-user-doc -->
1010 * @generated
1011 * @ordered
1012 */
1013 int VLS_FUNCTION__TERMS = VLS_TERM_FEATURE_COUNT + 1;
1014
1015 /**
1016 * The number of structural features of the '<em>VLS Function</em>' class.
1017 * <!-- begin-user-doc -->
1018 * <!-- end-user-doc -->
1019 * @generated
1020 * @ordered
1021 */
1022 int VLS_FUNCTION_FEATURE_COUNT = VLS_TERM_FEATURE_COUNT + 2;
1023
1024 /**
1025 * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSLessImpl <em>VLS Less</em>}' class.
1026 * <!-- begin-user-doc -->
1027 * <!-- end-user-doc -->
1028 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSLessImpl
1029 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSLess()
1030 * @generated
1031 */
1032 int VLS_LESS = 28;
1033
1034 /**
1035 * The feature id for the '<em><b>Name</b></em>' attribute.
1036 * <!-- begin-user-doc -->
1037 * <!-- end-user-doc -->
1038 * @generated
1039 * @ordered
1040 */
1041 int VLS_LESS__NAME = VLS_TERM_FEATURE_COUNT + 0;
1042
1043 /**
1044 * The feature id for the '<em><b>Terms</b></em>' containment reference list.
1045 * <!-- begin-user-doc -->
1046 * <!-- end-user-doc -->
1047 * @generated
1048 * @ordered
1049 */
1050 int VLS_LESS__TERMS = VLS_TERM_FEATURE_COUNT + 1;
1051
1052 /**
1053 * The number of structural features of the '<em>VLS Less</em>' class.
1054 * <!-- begin-user-doc -->
1055 * <!-- end-user-doc -->
1056 * @generated
1057 * @ordered
1058 */
1059 int VLS_LESS_FEATURE_COUNT = VLS_TERM_FEATURE_COUNT + 2;
1060
1061 /**
1062 * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSIntImpl <em>VLS Int</em>}' class.
1063 * <!-- begin-user-doc -->
1064 * <!-- end-user-doc -->
1065 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSIntImpl
1066 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSInt()
1067 * @generated
1068 */
1069 int VLS_INT = 29;
1070
1071 /**
1072 * The feature id for the '<em><b>Value</b></em>' attribute.
1073 * <!-- begin-user-doc -->
1074 * <!-- end-user-doc -->
1075 * @generated
1076 * @ordered
1077 */
1078 int VLS_INT__VALUE = VLS_DEFINED_TERM__VALUE;
1079
1080 /**
1081 * The number of structural features of the '<em>VLS Int</em>' class.
1082 * <!-- begin-user-doc -->
1083 * <!-- end-user-doc -->
1084 * @generated
1085 * @ordered
1086 */
1087 int VLS_INT_FEATURE_COUNT = VLS_DEFINED_TERM_FEATURE_COUNT + 0;
1088
1089 /**
1090 * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSRealImpl <em>VLS Real</em>}' class.
1091 * <!-- begin-user-doc -->
1092 * <!-- end-user-doc -->
1093 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSRealImpl
1094 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSReal()
1095 * @generated
1096 */
1097 int VLS_REAL = 30;
1098
1099 /**
1100 * The feature id for the '<em><b>Value</b></em>' attribute.
1101 * <!-- begin-user-doc -->
1102 * <!-- end-user-doc -->
1103 * @generated
1104 * @ordered
1105 */
1106 int VLS_REAL__VALUE = VLS_DEFINED_TERM__VALUE;
1107
1108 /**
1109 * The number of structural features of the '<em>VLS Real</em>' class.
1110 * <!-- begin-user-doc -->
1111 * <!-- end-user-doc -->
1112 * @generated
1113 * @ordered
1114 */
1115 int VLS_REAL_FEATURE_COUNT = VLS_DEFINED_TERM_FEATURE_COUNT + 0;
1116
1117 /**
1118 * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSRationalImpl <em>VLS Rational</em>}' class.
1119 * <!-- begin-user-doc -->
1120 * <!-- end-user-doc -->
1121 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSRationalImpl
1122 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSRational()
1123 * @generated
1124 */
1125 int VLS_RATIONAL = 31;
1126
1127 /**
1128 * The feature id for the '<em><b>Value</b></em>' attribute.
1129 * <!-- begin-user-doc -->
1130 * <!-- end-user-doc -->
1131 * @generated
1132 * @ordered
1133 */
1134 int VLS_RATIONAL__VALUE = VLS_DEFINED_TERM__VALUE;
1135
1136 /**
1137 * The number of structural features of the '<em>VLS Rational</em>' class.
1138 * <!-- begin-user-doc -->
1139 * <!-- end-user-doc -->
1140 * @generated
1141 * @ordered
1142 */
1143 int VLS_RATIONAL_FEATURE_COUNT = VLS_DEFINED_TERM_FEATURE_COUNT + 0;
1144
1145 /**
1146 * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSDoubleQuoteImpl <em>VLS Double Quote</em>}' class.
1147 * <!-- begin-user-doc -->
1148 * <!-- end-user-doc -->
1149 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSDoubleQuoteImpl
1150 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSDoubleQuote()
1151 * @generated
1152 */
1153 int VLS_DOUBLE_QUOTE = 32;
1154
1155 /**
1156 * The feature id for the '<em><b>Value</b></em>' attribute.
1157 * <!-- begin-user-doc -->
1158 * <!-- end-user-doc -->
1159 * @generated
1160 * @ordered
1161 */
1162 int VLS_DOUBLE_QUOTE__VALUE = VLS_DEFINED_TERM__VALUE;
1163
1164 /**
1165 * The number of structural features of the '<em>VLS Double Quote</em>' class.
1166 * <!-- begin-user-doc -->
1167 * <!-- end-user-doc -->
1168 * @generated
1169 * @ordered
1170 */
1171 int VLS_DOUBLE_QUOTE_FEATURE_COUNT = VLS_DEFINED_TERM_FEATURE_COUNT + 0;
1172
1173
1174 /**
1175 * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireModel <em>Vampire Model</em>}'.
1176 * <!-- begin-user-doc -->
1177 * <!-- end-user-doc -->
1178 * @return the meta object for class '<em>Vampire Model</em>'.
1179 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireModel
1180 * @generated
1181 */
1182 EClass getVampireModel();
1183
1184 /**
1185 * Returns the meta object for the containment reference list '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireModel#getIncludes <em>Includes</em>}'.
1186 * <!-- begin-user-doc -->
1187 * <!-- end-user-doc -->
1188 * @return the meta object for the containment reference list '<em>Includes</em>'.
1189 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireModel#getIncludes()
1190 * @see #getVampireModel()
1191 * @generated
1192 */
1193 EReference getVampireModel_Includes();
1194
1195 /**
1196 * Returns the meta object for the containment reference list '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireModel#getComments <em>Comments</em>}'.
1197 * <!-- begin-user-doc -->
1198 * <!-- end-user-doc -->
1199 * @return the meta object for the containment reference list '<em>Comments</em>'.
1200 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireModel#getComments()
1201 * @see #getVampireModel()
1202 * @generated
1203 */
1204 EReference getVampireModel_Comments();
1205
1206 /**
1207 * Returns the meta object for the containment reference list '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireModel#getFormulas <em>Formulas</em>}'.
1208 * <!-- begin-user-doc -->
1209 * <!-- end-user-doc -->
1210 * @return the meta object for the containment reference list '<em>Formulas</em>'.
1211 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireModel#getFormulas()
1212 * @see #getVampireModel()
1213 * @generated
1214 */
1215 EReference getVampireModel_Formulas();
1216
1217 /**
1218 * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSInclude <em>VLS Include</em>}'.
1219 * <!-- begin-user-doc -->
1220 * <!-- end-user-doc -->
1221 * @return the meta object for class '<em>VLS Include</em>'.
1222 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSInclude
1223 * @generated
1224 */
1225 EClass getVLSInclude();
1226
1227 /**
1228 * Returns the meta object for the attribute '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSInclude#getFileName <em>File Name</em>}'.
1229 * <!-- begin-user-doc -->
1230 * <!-- end-user-doc -->
1231 * @return the meta object for the attribute '<em>File Name</em>'.
1232 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSInclude#getFileName()
1233 * @see #getVLSInclude()
1234 * @generated
1235 */
1236 EAttribute getVLSInclude_FileName();
1237
1238 /**
1239 * Returns the meta object for the containment reference list '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSInclude#getNames <em>Names</em>}'.
1240 * <!-- begin-user-doc -->
1241 * <!-- end-user-doc -->
1242 * @return the meta object for the containment reference list '<em>Names</em>'.
1243 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSInclude#getNames()
1244 * @see #getVLSInclude()
1245 * @generated
1246 */
1247 EReference getVLSInclude_Names();
1248
1249 /**
1250 * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSName <em>VLS Name</em>}'.
1251 * <!-- begin-user-doc -->
1252 * <!-- end-user-doc -->
1253 * @return the meta object for class '<em>VLS Name</em>'.
1254 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSName
1255 * @generated
1256 */
1257 EClass getVLSName();
1258
1259 /**
1260 * Returns the meta object for the attribute '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSName#getName <em>Name</em>}'.
1261 * <!-- begin-user-doc -->
1262 * <!-- end-user-doc -->
1263 * @return the meta object for the attribute '<em>Name</em>'.
1264 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSName#getName()
1265 * @see #getVLSName()
1266 * @generated
1267 */
1268 EAttribute getVLSName_Name();
1269
1270 /**
1271 * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSComment <em>VLS Comment</em>}'.
1272 * <!-- begin-user-doc -->
1273 * <!-- end-user-doc -->
1274 * @return the meta object for class '<em>VLS Comment</em>'.
1275 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSComment
1276 * @generated
1277 */
1278 EClass getVLSComment();
1279
1280 /**
1281 * Returns the meta object for the attribute '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSComment#getComment <em>Comment</em>}'.
1282 * <!-- begin-user-doc -->
1283 * <!-- end-user-doc -->
1284 * @return the meta object for the attribute '<em>Comment</em>'.
1285 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSComment#getComment()
1286 * @see #getVLSComment()
1287 * @generated
1288 */
1289 EAttribute getVLSComment_Comment();
1290
1291 /**
1292 * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFofFormula <em>VLS Fof Formula</em>}'.
1293 * <!-- begin-user-doc -->
1294 * <!-- end-user-doc -->
1295 * @return the meta object for class '<em>VLS Fof Formula</em>'.
1296 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFofFormula
1297 * @generated
1298 */
1299 EClass getVLSFofFormula();
1300
1301 /**
1302 * Returns the meta object for the attribute '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFofFormula#getName <em>Name</em>}'.
1303 * <!-- begin-user-doc -->
1304 * <!-- end-user-doc -->
1305 * @return the meta object for the attribute '<em>Name</em>'.
1306 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFofFormula#getName()
1307 * @see #getVLSFofFormula()
1308 * @generated
1309 */
1310 EAttribute getVLSFofFormula_Name();
1311
1312 /**
1313 * Returns the meta object for the attribute '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFofFormula#getFofRole <em>Fof Role</em>}'.
1314 * <!-- begin-user-doc -->
1315 * <!-- end-user-doc -->
1316 * @return the meta object for the attribute '<em>Fof Role</em>'.
1317 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFofFormula#getFofRole()
1318 * @see #getVLSFofFormula()
1319 * @generated
1320 */
1321 EAttribute getVLSFofFormula_FofRole();
1322
1323 /**
1324 * Returns the meta object for the containment reference '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFofFormula#getFofFormula <em>Fof Formula</em>}'.
1325 * <!-- begin-user-doc -->
1326 * <!-- end-user-doc -->
1327 * @return the meta object for the containment reference '<em>Fof Formula</em>'.
1328 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFofFormula#getFofFormula()
1329 * @see #getVLSFofFormula()
1330 * @generated
1331 */
1332 EReference getVLSFofFormula_FofFormula();
1333
1334 /**
1335 * Returns the meta object for the containment reference '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFofFormula#getAnnotations <em>Annotations</em>}'.
1336 * <!-- begin-user-doc -->
1337 * <!-- end-user-doc -->
1338 * @return the meta object for the containment reference '<em>Annotations</em>'.
1339 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFofFormula#getAnnotations()
1340 * @see #getVLSFofFormula()
1341 * @generated
1342 */
1343 EReference getVLSFofFormula_Annotations();
1344
1345 /**
1346 * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSAnnotation <em>VLS Annotation</em>}'.
1347 * <!-- begin-user-doc -->
1348 * <!-- end-user-doc -->
1349 * @return the meta object for class '<em>VLS Annotation</em>'.
1350 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSAnnotation
1351 * @generated
1352 */
1353 EClass getVLSAnnotation();
1354
1355 /**
1356 * Returns the meta object for the attribute '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSAnnotation#getName <em>Name</em>}'.
1357 * <!-- begin-user-doc -->
1358 * <!-- end-user-doc -->
1359 * @return the meta object for the attribute '<em>Name</em>'.
1360 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSAnnotation#getName()
1361 * @see #getVLSAnnotation()
1362 * @generated
1363 */
1364 EAttribute getVLSAnnotation_Name();
1365
1366 /**
1367 * Returns the meta object for the containment reference '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSAnnotation#getFollowup <em>Followup</em>}'.
1368 * <!-- begin-user-doc -->
1369 * <!-- end-user-doc -->
1370 * @return the meta object for the containment reference '<em>Followup</em>'.
1371 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSAnnotation#getFollowup()
1372 * @see #getVLSAnnotation()
1373 * @generated
1374 */
1375 EReference getVLSAnnotation_Followup();
1376
1377 /**
1378 * Returns the meta object for the containment reference list '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSAnnotation#getTerms <em>Terms</em>}'.
1379 * <!-- begin-user-doc -->
1380 * <!-- end-user-doc -->
1381 * @return the meta object for the containment reference list '<em>Terms</em>'.
1382 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSAnnotation#getTerms()
1383 * @see #getVLSAnnotation()
1384 * @generated
1385 */
1386 EReference getVLSAnnotation_Terms();
1387
1388 /**
1389 * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTerm <em>VLS Term</em>}'.
1390 * <!-- begin-user-doc -->
1391 * <!-- end-user-doc -->
1392 * @return the meta object for class '<em>VLS Term</em>'.
1393 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTerm
1394 * @generated
1395 */
1396 EClass getVLSTerm();
1397
1398 /**
1399 * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariable <em>VLS Variable</em>}'.
1400 * <!-- begin-user-doc -->
1401 * <!-- end-user-doc -->
1402 * @return the meta object for class '<em>VLS Variable</em>'.
1403 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariable
1404 * @generated
1405 */
1406 EClass getVLSVariable();
1407
1408 /**
1409 * Returns the meta object for the attribute '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariable#getName <em>Name</em>}'.
1410 * <!-- begin-user-doc -->
1411 * <!-- end-user-doc -->
1412 * @return the meta object for the attribute '<em>Name</em>'.
1413 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariable#getName()
1414 * @see #getVLSVariable()
1415 * @generated
1416 */
1417 EAttribute getVLSVariable_Name();
1418
1419 /**
1420 * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunctionFof <em>VLS Function Fof</em>}'.
1421 * <!-- begin-user-doc -->
1422 * <!-- end-user-doc -->
1423 * @return the meta object for class '<em>VLS Function Fof</em>'.
1424 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunctionFof
1425 * @generated
1426 */
1427 EClass getVLSFunctionFof();
1428
1429 /**
1430 * Returns the meta object for the attribute '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunctionFof#getFunctor <em>Functor</em>}'.
1431 * <!-- begin-user-doc -->
1432 * <!-- end-user-doc -->
1433 * @return the meta object for the attribute '<em>Functor</em>'.
1434 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunctionFof#getFunctor()
1435 * @see #getVLSFunctionFof()
1436 * @generated
1437 */
1438 EAttribute getVLSFunctionFof_Functor();
1439
1440 /**
1441 * Returns the meta object for the containment reference list '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunctionFof#getTerms <em>Terms</em>}'.
1442 * <!-- begin-user-doc -->
1443 * <!-- end-user-doc -->
1444 * @return the meta object for the containment reference list '<em>Terms</em>'.
1445 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunctionFof#getTerms()
1446 * @see #getVLSFunctionFof()
1447 * @generated
1448 */
1449 EReference getVLSFunctionFof_Terms();
1450
1451 /**
1452 * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSDefinedTerm <em>VLS Defined Term</em>}'.
1453 * <!-- begin-user-doc -->
1454 * <!-- end-user-doc -->
1455 * @return the meta object for class '<em>VLS Defined Term</em>'.
1456 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSDefinedTerm
1457 * @generated
1458 */
1459 EClass getVLSDefinedTerm();
1460
1461 /**
1462 * Returns the meta object for the attribute '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSDefinedTerm#getValue <em>Value</em>}'.
1463 * <!-- begin-user-doc -->
1464 * <!-- end-user-doc -->
1465 * @return the meta object for the attribute '<em>Value</em>'.
1466 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSDefinedTerm#getValue()
1467 * @see #getVLSDefinedTerm()
1468 * @generated
1469 */
1470 EAttribute getVLSDefinedTerm_Value();
1471
1472 /**
1473 * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSEquivalent <em>VLS Equivalent</em>}'.
1474 * <!-- begin-user-doc -->
1475 * <!-- end-user-doc -->
1476 * @return the meta object for class '<em>VLS Equivalent</em>'.
1477 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSEquivalent
1478 * @generated
1479 */
1480 EClass getVLSEquivalent();
1481
1482 /**
1483 * Returns the meta object for the containment reference '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSEquivalent#getLeft <em>Left</em>}'.
1484 * <!-- begin-user-doc -->
1485 * <!-- end-user-doc -->
1486 * @return the meta object for the containment reference '<em>Left</em>'.
1487 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSEquivalent#getLeft()
1488 * @see #getVLSEquivalent()
1489 * @generated
1490 */
1491 EReference getVLSEquivalent_Left();
1492
1493 /**
1494 * Returns the meta object for the containment reference '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSEquivalent#getRight <em>Right</em>}'.
1495 * <!-- begin-user-doc -->
1496 * <!-- end-user-doc -->
1497 * @return the meta object for the containment reference '<em>Right</em>'.
1498 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSEquivalent#getRight()
1499 * @see #getVLSEquivalent()
1500 * @generated
1501 */
1502 EReference getVLSEquivalent_Right();
1503
1504 /**
1505 * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSImplies <em>VLS Implies</em>}'.
1506 * <!-- begin-user-doc -->
1507 * <!-- end-user-doc -->
1508 * @return the meta object for class '<em>VLS Implies</em>'.
1509 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSImplies
1510 * @generated
1511 */
1512 EClass getVLSImplies();
1513
1514 /**
1515 * Returns the meta object for the containment reference '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSImplies#getLeft <em>Left</em>}'.
1516 * <!-- begin-user-doc -->
1517 * <!-- end-user-doc -->
1518 * @return the meta object for the containment reference '<em>Left</em>'.
1519 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSImplies#getLeft()
1520 * @see #getVLSImplies()
1521 * @generated
1522 */
1523 EReference getVLSImplies_Left();
1524
1525 /**
1526 * Returns the meta object for the containment reference '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSImplies#getRight <em>Right</em>}'.
1527 * <!-- begin-user-doc -->
1528 * <!-- end-user-doc -->
1529 * @return the meta object for the containment reference '<em>Right</em>'.
1530 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSImplies#getRight()
1531 * @see #getVLSImplies()
1532 * @generated
1533 */
1534 EReference getVLSImplies_Right();
1535
1536 /**
1537 * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSRevImplies <em>VLS Rev Implies</em>}'.
1538 * <!-- begin-user-doc -->
1539 * <!-- end-user-doc -->
1540 * @return the meta object for class '<em>VLS Rev Implies</em>'.
1541 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSRevImplies
1542 * @generated
1543 */
1544 EClass getVLSRevImplies();
1545
1546 /**
1547 * Returns the meta object for the containment reference '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSRevImplies#getLeft <em>Left</em>}'.
1548 * <!-- begin-user-doc -->
1549 * <!-- end-user-doc -->
1550 * @return the meta object for the containment reference '<em>Left</em>'.
1551 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSRevImplies#getLeft()
1552 * @see #getVLSRevImplies()
1553 * @generated
1554 */
1555 EReference getVLSRevImplies_Left();
1556
1557 /**
1558 * Returns the meta object for the containment reference '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSRevImplies#getRight <em>Right</em>}'.
1559 * <!-- begin-user-doc -->
1560 * <!-- end-user-doc -->
1561 * @return the meta object for the containment reference '<em>Right</em>'.
1562 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSRevImplies#getRight()
1563 * @see #getVLSRevImplies()
1564 * @generated
1565 */
1566 EReference getVLSRevImplies_Right();
1567
1568 /**
1569 * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSXnor <em>VLS Xnor</em>}'.
1570 * <!-- begin-user-doc -->
1571 * <!-- end-user-doc -->
1572 * @return the meta object for class '<em>VLS Xnor</em>'.
1573 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSXnor
1574 * @generated
1575 */
1576 EClass getVLSXnor();
1577
1578 /**
1579 * Returns the meta object for the containment reference '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSXnor#getLeft <em>Left</em>}'.
1580 * <!-- begin-user-doc -->
1581 * <!-- end-user-doc -->
1582 * @return the meta object for the containment reference '<em>Left</em>'.
1583 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSXnor#getLeft()
1584 * @see #getVLSXnor()
1585 * @generated
1586 */
1587 EReference getVLSXnor_Left();
1588
1589 /**
1590 * Returns the meta object for the containment reference '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSXnor#getRight <em>Right</em>}'.
1591 * <!-- begin-user-doc -->
1592 * <!-- end-user-doc -->
1593 * @return the meta object for the containment reference '<em>Right</em>'.
1594 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSXnor#getRight()
1595 * @see #getVLSXnor()
1596 * @generated
1597 */
1598 EReference getVLSXnor_Right();
1599
1600 /**
1601 * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSNor <em>VLS Nor</em>}'.
1602 * <!-- begin-user-doc -->
1603 * <!-- end-user-doc -->
1604 * @return the meta object for class '<em>VLS Nor</em>'.
1605 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSNor
1606 * @generated
1607 */
1608 EClass getVLSNor();
1609
1610 /**
1611 * Returns the meta object for the containment reference '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSNor#getLeft <em>Left</em>}'.
1612 * <!-- begin-user-doc -->
1613 * <!-- end-user-doc -->
1614 * @return the meta object for the containment reference '<em>Left</em>'.
1615 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSNor#getLeft()
1616 * @see #getVLSNor()
1617 * @generated
1618 */
1619 EReference getVLSNor_Left();
1620
1621 /**
1622 * Returns the meta object for the containment reference '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSNor#getRight <em>Right</em>}'.
1623 * <!-- begin-user-doc -->
1624 * <!-- end-user-doc -->
1625 * @return the meta object for the containment reference '<em>Right</em>'.
1626 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSNor#getRight()
1627 * @see #getVLSNor()
1628 * @generated
1629 */
1630 EReference getVLSNor_Right();
1631
1632 /**
1633 * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSNand <em>VLS Nand</em>}'.
1634 * <!-- begin-user-doc -->
1635 * <!-- end-user-doc -->
1636 * @return the meta object for class '<em>VLS Nand</em>'.
1637 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSNand
1638 * @generated
1639 */
1640 EClass getVLSNand();
1641
1642 /**
1643 * Returns the meta object for the containment reference '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSNand#getLeft <em>Left</em>}'.
1644 * <!-- begin-user-doc -->
1645 * <!-- end-user-doc -->
1646 * @return the meta object for the containment reference '<em>Left</em>'.
1647 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSNand#getLeft()
1648 * @see #getVLSNand()
1649 * @generated
1650 */
1651 EReference getVLSNand_Left();
1652
1653 /**
1654 * Returns the meta object for the containment reference '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSNand#getRight <em>Right</em>}'.
1655 * <!-- begin-user-doc -->
1656 * <!-- end-user-doc -->
1657 * @return the meta object for the containment reference '<em>Right</em>'.
1658 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSNand#getRight()
1659 * @see #getVLSNand()
1660 * @generated
1661 */
1662 EReference getVLSNand_Right();
1663
1664 /**
1665 * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSAnd <em>VLS And</em>}'.
1666 * <!-- begin-user-doc -->
1667 * <!-- end-user-doc -->
1668 * @return the meta object for class '<em>VLS And</em>'.
1669 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSAnd
1670 * @generated
1671 */
1672 EClass getVLSAnd();
1673
1674 /**
1675 * Returns the meta object for the containment reference '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSAnd#getLeft <em>Left</em>}'.
1676 * <!-- begin-user-doc -->
1677 * <!-- end-user-doc -->
1678 * @return the meta object for the containment reference '<em>Left</em>'.
1679 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSAnd#getLeft()
1680 * @see #getVLSAnd()
1681 * @generated
1682 */
1683 EReference getVLSAnd_Left();
1684
1685 /**
1686 * Returns the meta object for the containment reference '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSAnd#getRight <em>Right</em>}'.
1687 * <!-- begin-user-doc -->
1688 * <!-- end-user-doc -->
1689 * @return the meta object for the containment reference '<em>Right</em>'.
1690 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSAnd#getRight()
1691 * @see #getVLSAnd()
1692 * @generated
1693 */
1694 EReference getVLSAnd_Right();
1695
1696 /**
1697 * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSOr <em>VLS Or</em>}'.
1698 * <!-- begin-user-doc -->
1699 * <!-- end-user-doc -->
1700 * @return the meta object for class '<em>VLS Or</em>'.
1701 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSOr
1702 * @generated
1703 */
1704 EClass getVLSOr();
1705
1706 /**
1707 * Returns the meta object for the containment reference '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSOr#getLeft <em>Left</em>}'.
1708 * <!-- begin-user-doc -->
1709 * <!-- end-user-doc -->
1710 * @return the meta object for the containment reference '<em>Left</em>'.
1711 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSOr#getLeft()
1712 * @see #getVLSOr()
1713 * @generated
1714 */
1715 EReference getVLSOr_Left();
1716
1717 /**
1718 * Returns the meta object for the containment reference '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSOr#getRight <em>Right</em>}'.
1719 * <!-- begin-user-doc -->
1720 * <!-- end-user-doc -->
1721 * @return the meta object for the containment reference '<em>Right</em>'.
1722 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSOr#getRight()
1723 * @see #getVLSOr()
1724 * @generated
1725 */
1726 EReference getVLSOr_Right();
1727
1728 /**
1729 * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSUniversalQuantifier <em>VLS Universal Quantifier</em>}'.
1730 * <!-- begin-user-doc -->
1731 * <!-- end-user-doc -->
1732 * @return the meta object for class '<em>VLS Universal Quantifier</em>'.
1733 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSUniversalQuantifier
1734 * @generated
1735 */
1736 EClass getVLSUniversalQuantifier();
1737
1738 /**
1739 * Returns the meta object for the containment reference list '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSUniversalQuantifier#getVariables <em>Variables</em>}'.
1740 * <!-- begin-user-doc -->
1741 * <!-- end-user-doc -->
1742 * @return the meta object for the containment reference list '<em>Variables</em>'.
1743 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSUniversalQuantifier#getVariables()
1744 * @see #getVLSUniversalQuantifier()
1745 * @generated
1746 */
1747 EReference getVLSUniversalQuantifier_Variables();
1748
1749 /**
1750 * Returns the meta object for the containment reference '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSUniversalQuantifier#getOperand <em>Operand</em>}'.
1751 * <!-- begin-user-doc -->
1752 * <!-- end-user-doc -->
1753 * @return the meta object for the containment reference '<em>Operand</em>'.
1754 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSUniversalQuantifier#getOperand()
1755 * @see #getVLSUniversalQuantifier()
1756 * @generated
1757 */
1758 EReference getVLSUniversalQuantifier_Operand();
1759
1760 /**
1761 * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSExistentialQuantifier <em>VLS Existential Quantifier</em>}'.
1762 * <!-- begin-user-doc -->
1763 * <!-- end-user-doc -->
1764 * @return the meta object for class '<em>VLS Existential Quantifier</em>'.
1765 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSExistentialQuantifier
1766 * @generated
1767 */
1768 EClass getVLSExistentialQuantifier();
1769
1770 /**
1771 * Returns the meta object for the containment reference list '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSExistentialQuantifier#getVariables <em>Variables</em>}'.
1772 * <!-- begin-user-doc -->
1773 * <!-- end-user-doc -->
1774 * @return the meta object for the containment reference list '<em>Variables</em>'.
1775 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSExistentialQuantifier#getVariables()
1776 * @see #getVLSExistentialQuantifier()
1777 * @generated
1778 */
1779 EReference getVLSExistentialQuantifier_Variables();
1780
1781 /**
1782 * Returns the meta object for the containment reference '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSExistentialQuantifier#getOperand <em>Operand</em>}'.
1783 * <!-- begin-user-doc -->
1784 * <!-- end-user-doc -->
1785 * @return the meta object for the containment reference '<em>Operand</em>'.
1786 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSExistentialQuantifier#getOperand()
1787 * @see #getVLSExistentialQuantifier()
1788 * @generated
1789 */
1790 EReference getVLSExistentialQuantifier_Operand();
1791
1792 /**
1793 * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSUnaryNegation <em>VLS Unary Negation</em>}'.
1794 * <!-- begin-user-doc -->
1795 * <!-- end-user-doc -->
1796 * @return the meta object for class '<em>VLS Unary Negation</em>'.
1797 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSUnaryNegation
1798 * @generated
1799 */
1800 EClass getVLSUnaryNegation();
1801
1802 /**
1803 * Returns the meta object for the containment reference '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSUnaryNegation#getOperand <em>Operand</em>}'.
1804 * <!-- begin-user-doc -->
1805 * <!-- end-user-doc -->
1806 * @return the meta object for the containment reference '<em>Operand</em>'.
1807 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSUnaryNegation#getOperand()
1808 * @see #getVLSUnaryNegation()
1809 * @generated
1810 */
1811 EReference getVLSUnaryNegation_Operand();
1812
1813 /**
1814 * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSInequality <em>VLS Inequality</em>}'.
1815 * <!-- begin-user-doc -->
1816 * <!-- end-user-doc -->
1817 * @return the meta object for class '<em>VLS Inequality</em>'.
1818 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSInequality
1819 * @generated
1820 */
1821 EClass getVLSInequality();
1822
1823 /**
1824 * Returns the meta object for the containment reference '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSInequality#getLeft <em>Left</em>}'.
1825 * <!-- begin-user-doc -->
1826 * <!-- end-user-doc -->
1827 * @return the meta object for the containment reference '<em>Left</em>'.
1828 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSInequality#getLeft()
1829 * @see #getVLSInequality()
1830 * @generated
1831 */
1832 EReference getVLSInequality_Left();
1833
1834 /**
1835 * Returns the meta object for the containment reference '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSInequality#getRight <em>Right</em>}'.
1836 * <!-- begin-user-doc -->
1837 * <!-- end-user-doc -->
1838 * @return the meta object for the containment reference '<em>Right</em>'.
1839 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSInequality#getRight()
1840 * @see #getVLSInequality()
1841 * @generated
1842 */
1843 EReference getVLSInequality_Right();
1844
1845 /**
1846 * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSEquality <em>VLS Equality</em>}'.
1847 * <!-- begin-user-doc -->
1848 * <!-- end-user-doc -->
1849 * @return the meta object for class '<em>VLS Equality</em>'.
1850 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSEquality
1851 * @generated
1852 */
1853 EClass getVLSEquality();
1854
1855 /**
1856 * Returns the meta object for the containment reference '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSEquality#getLeft <em>Left</em>}'.
1857 * <!-- begin-user-doc -->
1858 * <!-- end-user-doc -->
1859 * @return the meta object for the containment reference '<em>Left</em>'.
1860 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSEquality#getLeft()
1861 * @see #getVLSEquality()
1862 * @generated
1863 */
1864 EReference getVLSEquality_Left();
1865
1866 /**
1867 * Returns the meta object for the containment reference '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSEquality#getRight <em>Right</em>}'.
1868 * <!-- begin-user-doc -->
1869 * <!-- end-user-doc -->
1870 * @return the meta object for the containment reference '<em>Right</em>'.
1871 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSEquality#getRight()
1872 * @see #getVLSEquality()
1873 * @generated
1874 */
1875 EReference getVLSEquality_Right();
1876
1877 /**
1878 * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSAssignment <em>VLS Assignment</em>}'.
1879 * <!-- begin-user-doc -->
1880 * <!-- end-user-doc -->
1881 * @return the meta object for class '<em>VLS Assignment</em>'.
1882 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSAssignment
1883 * @generated
1884 */
1885 EClass getVLSAssignment();
1886
1887 /**
1888 * Returns the meta object for the containment reference '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSAssignment#getLeft <em>Left</em>}'.
1889 * <!-- begin-user-doc -->
1890 * <!-- end-user-doc -->
1891 * @return the meta object for the containment reference '<em>Left</em>'.
1892 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSAssignment#getLeft()
1893 * @see #getVLSAssignment()
1894 * @generated
1895 */
1896 EReference getVLSAssignment_Left();
1897
1898 /**
1899 * Returns the meta object for the containment reference '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSAssignment#getRight <em>Right</em>}'.
1900 * <!-- begin-user-doc -->
1901 * <!-- end-user-doc -->
1902 * @return the meta object for the containment reference '<em>Right</em>'.
1903 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSAssignment#getRight()
1904 * @see #getVLSAssignment()
1905 * @generated
1906 */
1907 EReference getVLSAssignment_Right();
1908
1909 /**
1910 * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSConstant <em>VLS Constant</em>}'.
1911 * <!-- begin-user-doc -->
1912 * <!-- end-user-doc -->
1913 * @return the meta object for class '<em>VLS Constant</em>'.
1914 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSConstant
1915 * @generated
1916 */
1917 EClass getVLSConstant();
1918
1919 /**
1920 * Returns the meta object for the attribute '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSConstant#getName <em>Name</em>}'.
1921 * <!-- begin-user-doc -->
1922 * <!-- end-user-doc -->
1923 * @return the meta object for the attribute '<em>Name</em>'.
1924 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSConstant#getName()
1925 * @see #getVLSConstant()
1926 * @generated
1927 */
1928 EAttribute getVLSConstant_Name();
1929
1930 /**
1931 * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTrue <em>VLS True</em>}'.
1932 * <!-- begin-user-doc -->
1933 * <!-- end-user-doc -->
1934 * @return the meta object for class '<em>VLS True</em>'.
1935 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTrue
1936 * @generated
1937 */
1938 EClass getVLSTrue();
1939
1940 /**
1941 * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFalse <em>VLS False</em>}'.
1942 * <!-- begin-user-doc -->
1943 * <!-- end-user-doc -->
1944 * @return the meta object for class '<em>VLS False</em>'.
1945 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFalse
1946 * @generated
1947 */
1948 EClass getVLSFalse();
1949
1950 /**
1951 * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunction <em>VLS Function</em>}'.
1952 * <!-- begin-user-doc -->
1953 * <!-- end-user-doc -->
1954 * @return the meta object for class '<em>VLS Function</em>'.
1955 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunction
1956 * @generated
1957 */
1958 EClass getVLSFunction();
1959
1960 /**
1961 * Returns the meta object for the attribute '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunction#getConstant <em>Constant</em>}'.
1962 * <!-- begin-user-doc -->
1963 * <!-- end-user-doc -->
1964 * @return the meta object for the attribute '<em>Constant</em>'.
1965 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunction#getConstant()
1966 * @see #getVLSFunction()
1967 * @generated
1968 */
1969 EAttribute getVLSFunction_Constant();
1970
1971 /**
1972 * Returns the meta object for the containment reference list '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunction#getTerms <em>Terms</em>}'.
1973 * <!-- begin-user-doc -->
1974 * <!-- end-user-doc -->
1975 * @return the meta object for the containment reference list '<em>Terms</em>'.
1976 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunction#getTerms()
1977 * @see #getVLSFunction()
1978 * @generated
1979 */
1980 EReference getVLSFunction_Terms();
1981
1982 /**
1983 * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSLess <em>VLS Less</em>}'.
1984 * <!-- begin-user-doc -->
1985 * <!-- end-user-doc -->
1986 * @return the meta object for class '<em>VLS Less</em>'.
1987 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSLess
1988 * @generated
1989 */
1990 EClass getVLSLess();
1991
1992 /**
1993 * Returns the meta object for the attribute '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSLess#getName <em>Name</em>}'.
1994 * <!-- begin-user-doc -->
1995 * <!-- end-user-doc -->
1996 * @return the meta object for the attribute '<em>Name</em>'.
1997 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSLess#getName()
1998 * @see #getVLSLess()
1999 * @generated
2000 */
2001 EAttribute getVLSLess_Name();
2002
2003 /**
2004 * Returns the meta object for the containment reference list '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSLess#getTerms <em>Terms</em>}'.
2005 * <!-- begin-user-doc -->
2006 * <!-- end-user-doc -->
2007 * @return the meta object for the containment reference list '<em>Terms</em>'.
2008 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSLess#getTerms()
2009 * @see #getVLSLess()
2010 * @generated
2011 */
2012 EReference getVLSLess_Terms();
2013
2014 /**
2015 * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSInt <em>VLS Int</em>}'.
2016 * <!-- begin-user-doc -->
2017 * <!-- end-user-doc -->
2018 * @return the meta object for class '<em>VLS Int</em>'.
2019 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSInt
2020 * @generated
2021 */
2022 EClass getVLSInt();
2023
2024 /**
2025 * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSReal <em>VLS Real</em>}'.
2026 * <!-- begin-user-doc -->
2027 * <!-- end-user-doc -->
2028 * @return the meta object for class '<em>VLS Real</em>'.
2029 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSReal
2030 * @generated
2031 */
2032 EClass getVLSReal();
2033
2034 /**
2035 * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSRational <em>VLS Rational</em>}'.
2036 * <!-- begin-user-doc -->
2037 * <!-- end-user-doc -->
2038 * @return the meta object for class '<em>VLS Rational</em>'.
2039 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSRational
2040 * @generated
2041 */
2042 EClass getVLSRational();
2043
2044 /**
2045 * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSDoubleQuote <em>VLS Double Quote</em>}'.
2046 * <!-- begin-user-doc -->
2047 * <!-- end-user-doc -->
2048 * @return the meta object for class '<em>VLS Double Quote</em>'.
2049 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSDoubleQuote
2050 * @generated
2051 */
2052 EClass getVLSDoubleQuote();
2053
2054 /**
2055 * Returns the factory that creates the instances of the model.
2056 * <!-- begin-user-doc -->
2057 * <!-- end-user-doc -->
2058 * @return the factory that creates the instances of the model.
2059 * @generated
2060 */
2061 VampireLanguageFactory getVampireLanguageFactory();
2062
2063 /**
2064 * <!-- begin-user-doc -->
2065 * Defines literals for the meta objects that represent
2066 * <ul>
2067 * <li>each class,</li>
2068 * <li>each feature of each class,</li>
2069 * <li>each enum,</li>
2070 * <li>and each data type</li>
2071 * </ul>
2072 * <!-- end-user-doc -->
2073 * @generated
2074 */
2075 interface Literals
2076 {
2077 /**
2078 * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireModelImpl <em>Vampire Model</em>}' class.
2079 * <!-- begin-user-doc -->
2080 * <!-- end-user-doc -->
2081 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireModelImpl
2082 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVampireModel()
2083 * @generated
2084 */
2085 EClass VAMPIRE_MODEL = eINSTANCE.getVampireModel();
2086
2087 /**
2088 * The meta object literal for the '<em><b>Includes</b></em>' containment reference list feature.
2089 * <!-- begin-user-doc -->
2090 * <!-- end-user-doc -->
2091 * @generated
2092 */
2093 EReference VAMPIRE_MODEL__INCLUDES = eINSTANCE.getVampireModel_Includes();
2094
2095 /**
2096 * The meta object literal for the '<em><b>Comments</b></em>' containment reference list feature.
2097 * <!-- begin-user-doc -->
2098 * <!-- end-user-doc -->
2099 * @generated
2100 */
2101 EReference VAMPIRE_MODEL__COMMENTS = eINSTANCE.getVampireModel_Comments();
2102
2103 /**
2104 * The meta object literal for the '<em><b>Formulas</b></em>' containment reference list feature.
2105 * <!-- begin-user-doc -->
2106 * <!-- end-user-doc -->
2107 * @generated
2108 */
2109 EReference VAMPIRE_MODEL__FORMULAS = eINSTANCE.getVampireModel_Formulas();
2110
2111 /**
2112 * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSIncludeImpl <em>VLS Include</em>}' class.
2113 * <!-- begin-user-doc -->
2114 * <!-- end-user-doc -->
2115 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSIncludeImpl
2116 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSInclude()
2117 * @generated
2118 */
2119 EClass VLS_INCLUDE = eINSTANCE.getVLSInclude();
2120
2121 /**
2122 * The meta object literal for the '<em><b>File Name</b></em>' attribute feature.
2123 * <!-- begin-user-doc -->
2124 * <!-- end-user-doc -->
2125 * @generated
2126 */
2127 EAttribute VLS_INCLUDE__FILE_NAME = eINSTANCE.getVLSInclude_FileName();
2128
2129 /**
2130 * The meta object literal for the '<em><b>Names</b></em>' containment reference list feature.
2131 * <!-- begin-user-doc -->
2132 * <!-- end-user-doc -->
2133 * @generated
2134 */
2135 EReference VLS_INCLUDE__NAMES = eINSTANCE.getVLSInclude_Names();
2136
2137 /**
2138 * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSNameImpl <em>VLS Name</em>}' class.
2139 * <!-- begin-user-doc -->
2140 * <!-- end-user-doc -->
2141 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSNameImpl
2142 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSName()
2143 * @generated
2144 */
2145 EClass VLS_NAME = eINSTANCE.getVLSName();
2146
2147 /**
2148 * The meta object literal for the '<em><b>Name</b></em>' attribute feature.
2149 * <!-- begin-user-doc -->
2150 * <!-- end-user-doc -->
2151 * @generated
2152 */
2153 EAttribute VLS_NAME__NAME = eINSTANCE.getVLSName_Name();
2154
2155 /**
2156 * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSCommentImpl <em>VLS Comment</em>}' class.
2157 * <!-- begin-user-doc -->
2158 * <!-- end-user-doc -->
2159 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSCommentImpl
2160 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSComment()
2161 * @generated
2162 */
2163 EClass VLS_COMMENT = eINSTANCE.getVLSComment();
2164
2165 /**
2166 * The meta object literal for the '<em><b>Comment</b></em>' attribute feature.
2167 * <!-- begin-user-doc -->
2168 * <!-- end-user-doc -->
2169 * @generated
2170 */
2171 EAttribute VLS_COMMENT__COMMENT = eINSTANCE.getVLSComment_Comment();
2172
2173 /**
2174 * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSFofFormulaImpl <em>VLS Fof Formula</em>}' class.
2175 * <!-- begin-user-doc -->
2176 * <!-- end-user-doc -->
2177 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSFofFormulaImpl
2178 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSFofFormula()
2179 * @generated
2180 */
2181 EClass VLS_FOF_FORMULA = eINSTANCE.getVLSFofFormula();
2182
2183 /**
2184 * The meta object literal for the '<em><b>Name</b></em>' attribute feature.
2185 * <!-- begin-user-doc -->
2186 * <!-- end-user-doc -->
2187 * @generated
2188 */
2189 EAttribute VLS_FOF_FORMULA__NAME = eINSTANCE.getVLSFofFormula_Name();
2190
2191 /**
2192 * The meta object literal for the '<em><b>Fof Role</b></em>' attribute feature.
2193 * <!-- begin-user-doc -->
2194 * <!-- end-user-doc -->
2195 * @generated
2196 */
2197 EAttribute VLS_FOF_FORMULA__FOF_ROLE = eINSTANCE.getVLSFofFormula_FofRole();
2198
2199 /**
2200 * The meta object literal for the '<em><b>Fof Formula</b></em>' containment reference feature.
2201 * <!-- begin-user-doc -->
2202 * <!-- end-user-doc -->
2203 * @generated
2204 */
2205 EReference VLS_FOF_FORMULA__FOF_FORMULA = eINSTANCE.getVLSFofFormula_FofFormula();
2206
2207 /**
2208 * The meta object literal for the '<em><b>Annotations</b></em>' containment reference feature.
2209 * <!-- begin-user-doc -->
2210 * <!-- end-user-doc -->
2211 * @generated
2212 */
2213 EReference VLS_FOF_FORMULA__ANNOTATIONS = eINSTANCE.getVLSFofFormula_Annotations();
2214
2215 /**
2216 * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSAnnotationImpl <em>VLS Annotation</em>}' class.
2217 * <!-- begin-user-doc -->
2218 * <!-- end-user-doc -->
2219 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSAnnotationImpl
2220 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSAnnotation()
2221 * @generated
2222 */
2223 EClass VLS_ANNOTATION = eINSTANCE.getVLSAnnotation();
2224
2225 /**
2226 * The meta object literal for the '<em><b>Name</b></em>' attribute feature.
2227 * <!-- begin-user-doc -->
2228 * <!-- end-user-doc -->
2229 * @generated
2230 */
2231 EAttribute VLS_ANNOTATION__NAME = eINSTANCE.getVLSAnnotation_Name();
2232
2233 /**
2234 * The meta object literal for the '<em><b>Followup</b></em>' containment reference feature.
2235 * <!-- begin-user-doc -->
2236 * <!-- end-user-doc -->
2237 * @generated
2238 */
2239 EReference VLS_ANNOTATION__FOLLOWUP = eINSTANCE.getVLSAnnotation_Followup();
2240
2241 /**
2242 * The meta object literal for the '<em><b>Terms</b></em>' containment reference list feature.
2243 * <!-- begin-user-doc -->
2244 * <!-- end-user-doc -->
2245 * @generated
2246 */
2247 EReference VLS_ANNOTATION__TERMS = eINSTANCE.getVLSAnnotation_Terms();
2248
2249 /**
2250 * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSTermImpl <em>VLS Term</em>}' class.
2251 * <!-- begin-user-doc -->
2252 * <!-- end-user-doc -->
2253 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSTermImpl
2254 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSTerm()
2255 * @generated
2256 */
2257 EClass VLS_TERM = eINSTANCE.getVLSTerm();
2258
2259 /**
2260 * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSVariableImpl <em>VLS Variable</em>}' class.
2261 * <!-- begin-user-doc -->
2262 * <!-- end-user-doc -->
2263 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSVariableImpl
2264 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSVariable()
2265 * @generated
2266 */
2267 EClass VLS_VARIABLE = eINSTANCE.getVLSVariable();
2268
2269 /**
2270 * The meta object literal for the '<em><b>Name</b></em>' attribute feature.
2271 * <!-- begin-user-doc -->
2272 * <!-- end-user-doc -->
2273 * @generated
2274 */
2275 EAttribute VLS_VARIABLE__NAME = eINSTANCE.getVLSVariable_Name();
2276
2277 /**
2278 * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSFunctionFofImpl <em>VLS Function Fof</em>}' class.
2279 * <!-- begin-user-doc -->
2280 * <!-- end-user-doc -->
2281 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSFunctionFofImpl
2282 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSFunctionFof()
2283 * @generated
2284 */
2285 EClass VLS_FUNCTION_FOF = eINSTANCE.getVLSFunctionFof();
2286
2287 /**
2288 * The meta object literal for the '<em><b>Functor</b></em>' attribute feature.
2289 * <!-- begin-user-doc -->
2290 * <!-- end-user-doc -->
2291 * @generated
2292 */
2293 EAttribute VLS_FUNCTION_FOF__FUNCTOR = eINSTANCE.getVLSFunctionFof_Functor();
2294
2295 /**
2296 * The meta object literal for the '<em><b>Terms</b></em>' containment reference list feature.
2297 * <!-- begin-user-doc -->
2298 * <!-- end-user-doc -->
2299 * @generated
2300 */
2301 EReference VLS_FUNCTION_FOF__TERMS = eINSTANCE.getVLSFunctionFof_Terms();
2302
2303 /**
2304 * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSDefinedTermImpl <em>VLS Defined Term</em>}' class.
2305 * <!-- begin-user-doc -->
2306 * <!-- end-user-doc -->
2307 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSDefinedTermImpl
2308 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSDefinedTerm()
2309 * @generated
2310 */
2311 EClass VLS_DEFINED_TERM = eINSTANCE.getVLSDefinedTerm();
2312
2313 /**
2314 * The meta object literal for the '<em><b>Value</b></em>' attribute feature.
2315 * <!-- begin-user-doc -->
2316 * <!-- end-user-doc -->
2317 * @generated
2318 */
2319 EAttribute VLS_DEFINED_TERM__VALUE = eINSTANCE.getVLSDefinedTerm_Value();
2320
2321 /**
2322 * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSEquivalentImpl <em>VLS Equivalent</em>}' class.
2323 * <!-- begin-user-doc -->
2324 * <!-- end-user-doc -->
2325 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSEquivalentImpl
2326 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSEquivalent()
2327 * @generated
2328 */
2329 EClass VLS_EQUIVALENT = eINSTANCE.getVLSEquivalent();
2330
2331 /**
2332 * The meta object literal for the '<em><b>Left</b></em>' containment reference feature.
2333 * <!-- begin-user-doc -->
2334 * <!-- end-user-doc -->
2335 * @generated
2336 */
2337 EReference VLS_EQUIVALENT__LEFT = eINSTANCE.getVLSEquivalent_Left();
2338
2339 /**
2340 * The meta object literal for the '<em><b>Right</b></em>' containment reference feature.
2341 * <!-- begin-user-doc -->
2342 * <!-- end-user-doc -->
2343 * @generated
2344 */
2345 EReference VLS_EQUIVALENT__RIGHT = eINSTANCE.getVLSEquivalent_Right();
2346
2347 /**
2348 * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSImpliesImpl <em>VLS Implies</em>}' class.
2349 * <!-- begin-user-doc -->
2350 * <!-- end-user-doc -->
2351 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSImpliesImpl
2352 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSImplies()
2353 * @generated
2354 */
2355 EClass VLS_IMPLIES = eINSTANCE.getVLSImplies();
2356
2357 /**
2358 * The meta object literal for the '<em><b>Left</b></em>' containment reference feature.
2359 * <!-- begin-user-doc -->
2360 * <!-- end-user-doc -->
2361 * @generated
2362 */
2363 EReference VLS_IMPLIES__LEFT = eINSTANCE.getVLSImplies_Left();
2364
2365 /**
2366 * The meta object literal for the '<em><b>Right</b></em>' containment reference feature.
2367 * <!-- begin-user-doc -->
2368 * <!-- end-user-doc -->
2369 * @generated
2370 */
2371 EReference VLS_IMPLIES__RIGHT = eINSTANCE.getVLSImplies_Right();
2372
2373 /**
2374 * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSRevImpliesImpl <em>VLS Rev Implies</em>}' class.
2375 * <!-- begin-user-doc -->
2376 * <!-- end-user-doc -->
2377 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSRevImpliesImpl
2378 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSRevImplies()
2379 * @generated
2380 */
2381 EClass VLS_REV_IMPLIES = eINSTANCE.getVLSRevImplies();
2382
2383 /**
2384 * The meta object literal for the '<em><b>Left</b></em>' containment reference feature.
2385 * <!-- begin-user-doc -->
2386 * <!-- end-user-doc -->
2387 * @generated
2388 */
2389 EReference VLS_REV_IMPLIES__LEFT = eINSTANCE.getVLSRevImplies_Left();
2390
2391 /**
2392 * The meta object literal for the '<em><b>Right</b></em>' containment reference feature.
2393 * <!-- begin-user-doc -->
2394 * <!-- end-user-doc -->
2395 * @generated
2396 */
2397 EReference VLS_REV_IMPLIES__RIGHT = eINSTANCE.getVLSRevImplies_Right();
2398
2399 /**
2400 * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSXnorImpl <em>VLS Xnor</em>}' class.
2401 * <!-- begin-user-doc -->
2402 * <!-- end-user-doc -->
2403 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSXnorImpl
2404 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSXnor()
2405 * @generated
2406 */
2407 EClass VLS_XNOR = eINSTANCE.getVLSXnor();
2408
2409 /**
2410 * The meta object literal for the '<em><b>Left</b></em>' containment reference feature.
2411 * <!-- begin-user-doc -->
2412 * <!-- end-user-doc -->
2413 * @generated
2414 */
2415 EReference VLS_XNOR__LEFT = eINSTANCE.getVLSXnor_Left();
2416
2417 /**
2418 * The meta object literal for the '<em><b>Right</b></em>' containment reference feature.
2419 * <!-- begin-user-doc -->
2420 * <!-- end-user-doc -->
2421 * @generated
2422 */
2423 EReference VLS_XNOR__RIGHT = eINSTANCE.getVLSXnor_Right();
2424
2425 /**
2426 * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSNorImpl <em>VLS Nor</em>}' class.
2427 * <!-- begin-user-doc -->
2428 * <!-- end-user-doc -->
2429 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSNorImpl
2430 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSNor()
2431 * @generated
2432 */
2433 EClass VLS_NOR = eINSTANCE.getVLSNor();
2434
2435 /**
2436 * The meta object literal for the '<em><b>Left</b></em>' containment reference feature.
2437 * <!-- begin-user-doc -->
2438 * <!-- end-user-doc -->
2439 * @generated
2440 */
2441 EReference VLS_NOR__LEFT = eINSTANCE.getVLSNor_Left();
2442
2443 /**
2444 * The meta object literal for the '<em><b>Right</b></em>' containment reference feature.
2445 * <!-- begin-user-doc -->
2446 * <!-- end-user-doc -->
2447 * @generated
2448 */
2449 EReference VLS_NOR__RIGHT = eINSTANCE.getVLSNor_Right();
2450
2451 /**
2452 * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSNandImpl <em>VLS Nand</em>}' class.
2453 * <!-- begin-user-doc -->
2454 * <!-- end-user-doc -->
2455 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSNandImpl
2456 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSNand()
2457 * @generated
2458 */
2459 EClass VLS_NAND = eINSTANCE.getVLSNand();
2460
2461 /**
2462 * The meta object literal for the '<em><b>Left</b></em>' containment reference feature.
2463 * <!-- begin-user-doc -->
2464 * <!-- end-user-doc -->
2465 * @generated
2466 */
2467 EReference VLS_NAND__LEFT = eINSTANCE.getVLSNand_Left();
2468
2469 /**
2470 * The meta object literal for the '<em><b>Right</b></em>' containment reference feature.
2471 * <!-- begin-user-doc -->
2472 * <!-- end-user-doc -->
2473 * @generated
2474 */
2475 EReference VLS_NAND__RIGHT = eINSTANCE.getVLSNand_Right();
2476
2477 /**
2478 * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSAndImpl <em>VLS And</em>}' class.
2479 * <!-- begin-user-doc -->
2480 * <!-- end-user-doc -->
2481 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSAndImpl
2482 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSAnd()
2483 * @generated
2484 */
2485 EClass VLS_AND = eINSTANCE.getVLSAnd();
2486
2487 /**
2488 * The meta object literal for the '<em><b>Left</b></em>' containment reference feature.
2489 * <!-- begin-user-doc -->
2490 * <!-- end-user-doc -->
2491 * @generated
2492 */
2493 EReference VLS_AND__LEFT = eINSTANCE.getVLSAnd_Left();
2494
2495 /**
2496 * The meta object literal for the '<em><b>Right</b></em>' containment reference feature.
2497 * <!-- begin-user-doc -->
2498 * <!-- end-user-doc -->
2499 * @generated
2500 */
2501 EReference VLS_AND__RIGHT = eINSTANCE.getVLSAnd_Right();
2502
2503 /**
2504 * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSOrImpl <em>VLS Or</em>}' class.
2505 * <!-- begin-user-doc -->
2506 * <!-- end-user-doc -->
2507 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSOrImpl
2508 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSOr()
2509 * @generated
2510 */
2511 EClass VLS_OR = eINSTANCE.getVLSOr();
2512
2513 /**
2514 * The meta object literal for the '<em><b>Left</b></em>' containment reference feature.
2515 * <!-- begin-user-doc -->
2516 * <!-- end-user-doc -->
2517 * @generated
2518 */
2519 EReference VLS_OR__LEFT = eINSTANCE.getVLSOr_Left();
2520
2521 /**
2522 * The meta object literal for the '<em><b>Right</b></em>' containment reference feature.
2523 * <!-- begin-user-doc -->
2524 * <!-- end-user-doc -->
2525 * @generated
2526 */
2527 EReference VLS_OR__RIGHT = eINSTANCE.getVLSOr_Right();
2528
2529 /**
2530 * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSUniversalQuantifierImpl <em>VLS Universal Quantifier</em>}' class.
2531 * <!-- begin-user-doc -->
2532 * <!-- end-user-doc -->
2533 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSUniversalQuantifierImpl
2534 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSUniversalQuantifier()
2535 * @generated
2536 */
2537 EClass VLS_UNIVERSAL_QUANTIFIER = eINSTANCE.getVLSUniversalQuantifier();
2538
2539 /**
2540 * The meta object literal for the '<em><b>Variables</b></em>' containment reference list feature.
2541 * <!-- begin-user-doc -->
2542 * <!-- end-user-doc -->
2543 * @generated
2544 */
2545 EReference VLS_UNIVERSAL_QUANTIFIER__VARIABLES = eINSTANCE.getVLSUniversalQuantifier_Variables();
2546
2547 /**
2548 * The meta object literal for the '<em><b>Operand</b></em>' containment reference feature.
2549 * <!-- begin-user-doc -->
2550 * <!-- end-user-doc -->
2551 * @generated
2552 */
2553 EReference VLS_UNIVERSAL_QUANTIFIER__OPERAND = eINSTANCE.getVLSUniversalQuantifier_Operand();
2554
2555 /**
2556 * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSExistentialQuantifierImpl <em>VLS Existential Quantifier</em>}' class.
2557 * <!-- begin-user-doc -->
2558 * <!-- end-user-doc -->
2559 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSExistentialQuantifierImpl
2560 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSExistentialQuantifier()
2561 * @generated
2562 */
2563 EClass VLS_EXISTENTIAL_QUANTIFIER = eINSTANCE.getVLSExistentialQuantifier();
2564
2565 /**
2566 * The meta object literal for the '<em><b>Variables</b></em>' containment reference list feature.
2567 * <!-- begin-user-doc -->
2568 * <!-- end-user-doc -->
2569 * @generated
2570 */
2571 EReference VLS_EXISTENTIAL_QUANTIFIER__VARIABLES = eINSTANCE.getVLSExistentialQuantifier_Variables();
2572
2573 /**
2574 * The meta object literal for the '<em><b>Operand</b></em>' containment reference feature.
2575 * <!-- begin-user-doc -->
2576 * <!-- end-user-doc -->
2577 * @generated
2578 */
2579 EReference VLS_EXISTENTIAL_QUANTIFIER__OPERAND = eINSTANCE.getVLSExistentialQuantifier_Operand();
2580
2581 /**
2582 * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSUnaryNegationImpl <em>VLS Unary Negation</em>}' class.
2583 * <!-- begin-user-doc -->
2584 * <!-- end-user-doc -->
2585 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSUnaryNegationImpl
2586 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSUnaryNegation()
2587 * @generated
2588 */
2589 EClass VLS_UNARY_NEGATION = eINSTANCE.getVLSUnaryNegation();
2590
2591 /**
2592 * The meta object literal for the '<em><b>Operand</b></em>' containment reference feature.
2593 * <!-- begin-user-doc -->
2594 * <!-- end-user-doc -->
2595 * @generated
2596 */
2597 EReference VLS_UNARY_NEGATION__OPERAND = eINSTANCE.getVLSUnaryNegation_Operand();
2598
2599 /**
2600 * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSInequalityImpl <em>VLS Inequality</em>}' class.
2601 * <!-- begin-user-doc -->
2602 * <!-- end-user-doc -->
2603 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSInequalityImpl
2604 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSInequality()
2605 * @generated
2606 */
2607 EClass VLS_INEQUALITY = eINSTANCE.getVLSInequality();
2608
2609 /**
2610 * The meta object literal for the '<em><b>Left</b></em>' containment reference feature.
2611 * <!-- begin-user-doc -->
2612 * <!-- end-user-doc -->
2613 * @generated
2614 */
2615 EReference VLS_INEQUALITY__LEFT = eINSTANCE.getVLSInequality_Left();
2616
2617 /**
2618 * The meta object literal for the '<em><b>Right</b></em>' containment reference feature.
2619 * <!-- begin-user-doc -->
2620 * <!-- end-user-doc -->
2621 * @generated
2622 */
2623 EReference VLS_INEQUALITY__RIGHT = eINSTANCE.getVLSInequality_Right();
2624
2625 /**
2626 * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSEqualityImpl <em>VLS Equality</em>}' class.
2627 * <!-- begin-user-doc -->
2628 * <!-- end-user-doc -->
2629 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSEqualityImpl
2630 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSEquality()
2631 * @generated
2632 */
2633 EClass VLS_EQUALITY = eINSTANCE.getVLSEquality();
2634
2635 /**
2636 * The meta object literal for the '<em><b>Left</b></em>' containment reference feature.
2637 * <!-- begin-user-doc -->
2638 * <!-- end-user-doc -->
2639 * @generated
2640 */
2641 EReference VLS_EQUALITY__LEFT = eINSTANCE.getVLSEquality_Left();
2642
2643 /**
2644 * The meta object literal for the '<em><b>Right</b></em>' containment reference feature.
2645 * <!-- begin-user-doc -->
2646 * <!-- end-user-doc -->
2647 * @generated
2648 */
2649 EReference VLS_EQUALITY__RIGHT = eINSTANCE.getVLSEquality_Right();
2650
2651 /**
2652 * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSAssignmentImpl <em>VLS Assignment</em>}' class.
2653 * <!-- begin-user-doc -->
2654 * <!-- end-user-doc -->
2655 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSAssignmentImpl
2656 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSAssignment()
2657 * @generated
2658 */
2659 EClass VLS_ASSIGNMENT = eINSTANCE.getVLSAssignment();
2660
2661 /**
2662 * The meta object literal for the '<em><b>Left</b></em>' containment reference feature.
2663 * <!-- begin-user-doc -->
2664 * <!-- end-user-doc -->
2665 * @generated
2666 */
2667 EReference VLS_ASSIGNMENT__LEFT = eINSTANCE.getVLSAssignment_Left();
2668
2669 /**
2670 * The meta object literal for the '<em><b>Right</b></em>' containment reference feature.
2671 * <!-- begin-user-doc -->
2672 * <!-- end-user-doc -->
2673 * @generated
2674 */
2675 EReference VLS_ASSIGNMENT__RIGHT = eINSTANCE.getVLSAssignment_Right();
2676
2677 /**
2678 * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSConstantImpl <em>VLS Constant</em>}' class.
2679 * <!-- begin-user-doc -->
2680 * <!-- end-user-doc -->
2681 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSConstantImpl
2682 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSConstant()
2683 * @generated
2684 */
2685 EClass VLS_CONSTANT = eINSTANCE.getVLSConstant();
2686
2687 /**
2688 * The meta object literal for the '<em><b>Name</b></em>' attribute feature.
2689 * <!-- begin-user-doc -->
2690 * <!-- end-user-doc -->
2691 * @generated
2692 */
2693 EAttribute VLS_CONSTANT__NAME = eINSTANCE.getVLSConstant_Name();
2694
2695 /**
2696 * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSTrueImpl <em>VLS True</em>}' class.
2697 * <!-- begin-user-doc -->
2698 * <!-- end-user-doc -->
2699 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSTrueImpl
2700 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSTrue()
2701 * @generated
2702 */
2703 EClass VLS_TRUE = eINSTANCE.getVLSTrue();
2704
2705 /**
2706 * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSFalseImpl <em>VLS False</em>}' class.
2707 * <!-- begin-user-doc -->
2708 * <!-- end-user-doc -->
2709 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSFalseImpl
2710 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSFalse()
2711 * @generated
2712 */
2713 EClass VLS_FALSE = eINSTANCE.getVLSFalse();
2714
2715 /**
2716 * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSFunctionImpl <em>VLS Function</em>}' class.
2717 * <!-- begin-user-doc -->
2718 * <!-- end-user-doc -->
2719 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSFunctionImpl
2720 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSFunction()
2721 * @generated
2722 */
2723 EClass VLS_FUNCTION = eINSTANCE.getVLSFunction();
2724
2725 /**
2726 * The meta object literal for the '<em><b>Constant</b></em>' attribute feature.
2727 * <!-- begin-user-doc -->
2728 * <!-- end-user-doc -->
2729 * @generated
2730 */
2731 EAttribute VLS_FUNCTION__CONSTANT = eINSTANCE.getVLSFunction_Constant();
2732
2733 /**
2734 * The meta object literal for the '<em><b>Terms</b></em>' containment reference list feature.
2735 * <!-- begin-user-doc -->
2736 * <!-- end-user-doc -->
2737 * @generated
2738 */
2739 EReference VLS_FUNCTION__TERMS = eINSTANCE.getVLSFunction_Terms();
2740
2741 /**
2742 * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSLessImpl <em>VLS Less</em>}' class.
2743 * <!-- begin-user-doc -->
2744 * <!-- end-user-doc -->
2745 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSLessImpl
2746 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSLess()
2747 * @generated
2748 */
2749 EClass VLS_LESS = eINSTANCE.getVLSLess();
2750
2751 /**
2752 * The meta object literal for the '<em><b>Name</b></em>' attribute feature.
2753 * <!-- begin-user-doc -->
2754 * <!-- end-user-doc -->
2755 * @generated
2756 */
2757 EAttribute VLS_LESS__NAME = eINSTANCE.getVLSLess_Name();
2758
2759 /**
2760 * The meta object literal for the '<em><b>Terms</b></em>' containment reference list feature.
2761 * <!-- begin-user-doc -->
2762 * <!-- end-user-doc -->
2763 * @generated
2764 */
2765 EReference VLS_LESS__TERMS = eINSTANCE.getVLSLess_Terms();
2766
2767 /**
2768 * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSIntImpl <em>VLS Int</em>}' class.
2769 * <!-- begin-user-doc -->
2770 * <!-- end-user-doc -->
2771 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSIntImpl
2772 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSInt()
2773 * @generated
2774 */
2775 EClass VLS_INT = eINSTANCE.getVLSInt();
2776
2777 /**
2778 * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSRealImpl <em>VLS Real</em>}' class.
2779 * <!-- begin-user-doc -->
2780 * <!-- end-user-doc -->
2781 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSRealImpl
2782 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSReal()
2783 * @generated
2784 */
2785 EClass VLS_REAL = eINSTANCE.getVLSReal();
2786
2787 /**
2788 * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSRationalImpl <em>VLS Rational</em>}' class.
2789 * <!-- begin-user-doc -->
2790 * <!-- end-user-doc -->
2791 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSRationalImpl
2792 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSRational()
2793 * @generated
2794 */
2795 EClass VLS_RATIONAL = eINSTANCE.getVLSRational();
2796
2797 /**
2798 * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSDoubleQuoteImpl <em>VLS Double Quote</em>}' class.
2799 * <!-- begin-user-doc -->
2800 * <!-- end-user-doc -->
2801 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSDoubleQuoteImpl
2802 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSDoubleQuote()
2803 * @generated
2804 */
2805 EClass VLS_DOUBLE_QUOTE = eINSTANCE.getVLSDoubleQuote();
2806
2807 }
2808
2809} //VampireLanguagePackage
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-28 18:23:36 +0000