aboutsummaryrefslogtreecommitdiffstats
path: root/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/LogiclanguagePackageImpl.java
diff options
context:
space:
mode:
authorLibravatar OszkarSemerath <oszka@152.66.252.189>2017-06-10 19:05:05 +0200
committerLibravatar OszkarSemerath <oszka@152.66.252.189>2017-06-10 19:05:05 +0200
commit60f01f46ba232ed6416054f0a6115cb2a9b70b4e (patch)
tree5edf8aeb07abc51f3fec63bbd15c926e1de09552 /Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/LogiclanguagePackageImpl.java
parentInitial commit, migrating from SVN (diff)
downloadVIATRA-Generator-60f01f46ba232ed6416054f0a6115cb2a9b70b4e.tar.gz
VIATRA-Generator-60f01f46ba232ed6416054f0a6115cb2a9b70b4e.tar.zst
VIATRA-Generator-60f01f46ba232ed6416054f0a6115cb2a9b70b4e.zip
Migrating Additional projects
Diffstat (limited to 'Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/LogiclanguagePackageImpl.java')
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/LogiclanguagePackageImpl.java2032
1 files changed, 2032 insertions, 0 deletions
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/LogiclanguagePackageImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/LogiclanguagePackageImpl.java
new file mode 100644
index 00000000..b73d679d
--- /dev/null
+++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/LogiclanguagePackageImpl.java
@@ -0,0 +1,2032 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl;
4
5import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.And;
6import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Assertion;
7import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.AtomicTerm;
8import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.BoolLiteral;
9import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.BoolOperation;
10import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.BoolTypeReference;
11import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.ComplexTypeReference;
12import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Constant;
13import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.ConstantDeclaration;
14import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.ConstantDefinition;
15import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement;
16import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Distinct;
17import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Divison;
18import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Equals;
19import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Exists;
20import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Forall;
21import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Function;
22import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.FunctionDeclaration;
23import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.FunctionDefinition;
24import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.IfThenElse;
25import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Iff;
26import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Impl;
27import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.InstanceOf;
28import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.IntLiteral;
29import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.IntOperation;
30import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.IntTypeReference;
31import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LessOrEqualThan;
32import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LessThan;
33import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LogiclanguageFactory;
34import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LogiclanguagePackage;
35import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Minus;
36import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Mod;
37import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.MoreOrEqualThan;
38import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.MoreThan;
39import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Multiply;
40import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Not;
41import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Or;
42import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Plus;
43import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.PrimitiveRelation;
44import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.PrimitiveTypeReference;
45import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.QuantifiedExpression;
46import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.RealLiteral;
47import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.RealTypeReference;
48import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Relation;
49import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.RelationDeclaration;
50import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.RelationDefinition;
51import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.SymbolicDeclaration;
52import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.SymbolicValue;
53import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Term;
54import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TermDescription;
55import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Type;
56import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TypeDeclaration;
57import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TypeDefinition;
58import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TypeDescriptor;
59import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TypeReference;
60import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.UnknownBecauseUninterpreted;
61import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Variable;
62
63import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage;
64
65import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.LogicproblemPackageImpl;
66
67import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultPackage;
68
69import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.LogicresultPackageImpl;
70
71import org.eclipse.emf.ecore.EAttribute;
72import org.eclipse.emf.ecore.EClass;
73import org.eclipse.emf.ecore.EPackage;
74import org.eclipse.emf.ecore.EReference;
75
76import org.eclipse.emf.ecore.impl.EPackageImpl;
77
78/**
79 * <!-- begin-user-doc -->
80 * An implementation of the model <b>Package</b>.
81 * <!-- end-user-doc -->
82 * @generated
83 */
84public class LogiclanguagePackageImpl extends EPackageImpl implements LogiclanguagePackage {
85 /**
86 * <!-- begin-user-doc -->
87 * <!-- end-user-doc -->
88 * @generated
89 */
90 private EClass typeEClass = null;
91
92 /**
93 * <!-- begin-user-doc -->
94 * <!-- end-user-doc -->
95 * @generated
96 */
97 private EClass definedElementEClass = null;
98
99 /**
100 * <!-- begin-user-doc -->
101 * <!-- end-user-doc -->
102 * @generated
103 */
104 private EClass typeDefinitionEClass = null;
105
106 /**
107 * <!-- begin-user-doc -->
108 * <!-- end-user-doc -->
109 * @generated
110 */
111 private EClass typeReferenceEClass = null;
112
113 /**
114 * <!-- begin-user-doc -->
115 * <!-- end-user-doc -->
116 * @generated
117 */
118 private EClass complexTypeReferenceEClass = null;
119
120 /**
121 * <!-- begin-user-doc -->
122 * <!-- end-user-doc -->
123 * @generated
124 */
125 private EClass primitiveTypeReferenceEClass = null;
126
127 /**
128 * <!-- begin-user-doc -->
129 * <!-- end-user-doc -->
130 * @generated
131 */
132 private EClass intTypeReferenceEClass = null;
133
134 /**
135 * <!-- begin-user-doc -->
136 * <!-- end-user-doc -->
137 * @generated
138 */
139 private EClass boolTypeReferenceEClass = null;
140
141 /**
142 * <!-- begin-user-doc -->
143 * <!-- end-user-doc -->
144 * @generated
145 */
146 private EClass realTypeReferenceEClass = null;
147
148 /**
149 * <!-- begin-user-doc -->
150 * <!-- end-user-doc -->
151 * @generated
152 */
153 private EClass functionEClass = null;
154
155 /**
156 * <!-- begin-user-doc -->
157 * <!-- end-user-doc -->
158 * @generated
159 */
160 private EClass termEClass = null;
161
162 /**
163 * <!-- begin-user-doc -->
164 * <!-- end-user-doc -->
165 * @generated
166 */
167 private EClass symbolicDeclarationEClass = null;
168
169 /**
170 * <!-- begin-user-doc -->
171 * <!-- end-user-doc -->
172 * @generated
173 */
174 private EClass symbolicValueEClass = null;
175
176 /**
177 * <!-- begin-user-doc -->
178 * <!-- end-user-doc -->
179 * @generated
180 */
181 private EClass atomicTermEClass = null;
182
183 /**
184 * <!-- begin-user-doc -->
185 * <!-- end-user-doc -->
186 * @generated
187 */
188 private EClass intLiteralEClass = null;
189
190 /**
191 * <!-- begin-user-doc -->
192 * <!-- end-user-doc -->
193 * @generated
194 */
195 private EClass boolLiteralEClass = null;
196
197 /**
198 * <!-- begin-user-doc -->
199 * <!-- end-user-doc -->
200 * @generated
201 */
202 private EClass realLiteralEClass = null;
203
204 /**
205 * <!-- begin-user-doc -->
206 * <!-- end-user-doc -->
207 * @generated
208 */
209 private EClass variableEClass = null;
210
211 /**
212 * <!-- begin-user-doc -->
213 * <!-- end-user-doc -->
214 * @generated
215 */
216 private EClass quantifiedExpressionEClass = null;
217
218 /**
219 * <!-- begin-user-doc -->
220 * <!-- end-user-doc -->
221 * @generated
222 */
223 private EClass existsEClass = null;
224
225 /**
226 * <!-- begin-user-doc -->
227 * <!-- end-user-doc -->
228 * @generated
229 */
230 private EClass forallEClass = null;
231
232 /**
233 * <!-- begin-user-doc -->
234 * <!-- end-user-doc -->
235 * @generated
236 */
237 private EClass boolOperationEClass = null;
238
239 /**
240 * <!-- begin-user-doc -->
241 * <!-- end-user-doc -->
242 * @generated
243 */
244 private EClass andEClass = null;
245
246 /**
247 * <!-- begin-user-doc -->
248 * <!-- end-user-doc -->
249 * @generated
250 */
251 private EClass orEClass = null;
252
253 /**
254 * <!-- begin-user-doc -->
255 * <!-- end-user-doc -->
256 * @generated
257 */
258 private EClass implEClass = null;
259
260 /**
261 * <!-- begin-user-doc -->
262 * <!-- end-user-doc -->
263 * @generated
264 */
265 private EClass notEClass = null;
266
267 /**
268 * <!-- begin-user-doc -->
269 * <!-- end-user-doc -->
270 * @generated
271 */
272 private EClass iffEClass = null;
273
274 /**
275 * <!-- begin-user-doc -->
276 * <!-- end-user-doc -->
277 * @generated
278 */
279 private EClass primitiveRelationEClass = null;
280
281 /**
282 * <!-- begin-user-doc -->
283 * <!-- end-user-doc -->
284 * @generated
285 */
286 private EClass equalsEClass = null;
287
288 /**
289 * <!-- begin-user-doc -->
290 * <!-- end-user-doc -->
291 * @generated
292 */
293 private EClass distinctEClass = null;
294
295 /**
296 * <!-- begin-user-doc -->
297 * <!-- end-user-doc -->
298 * @generated
299 */
300 private EClass lessThanEClass = null;
301
302 /**
303 * <!-- begin-user-doc -->
304 * <!-- end-user-doc -->
305 * @generated
306 */
307 private EClass moreThanEClass = null;
308
309 /**
310 * <!-- begin-user-doc -->
311 * <!-- end-user-doc -->
312 * @generated
313 */
314 private EClass lessOrEqualThanEClass = null;
315
316 /**
317 * <!-- begin-user-doc -->
318 * <!-- end-user-doc -->
319 * @generated
320 */
321 private EClass moreOrEqualThanEClass = null;
322
323 /**
324 * <!-- begin-user-doc -->
325 * <!-- end-user-doc -->
326 * @generated
327 */
328 private EClass intOperationEClass = null;
329
330 /**
331 * <!-- begin-user-doc -->
332 * <!-- end-user-doc -->
333 * @generated
334 */
335 private EClass plusEClass = null;
336
337 /**
338 * <!-- begin-user-doc -->
339 * <!-- end-user-doc -->
340 * @generated
341 */
342 private EClass minusEClass = null;
343
344 /**
345 * <!-- begin-user-doc -->
346 * <!-- end-user-doc -->
347 * @generated
348 */
349 private EClass multiplyEClass = null;
350
351 /**
352 * <!-- begin-user-doc -->
353 * <!-- end-user-doc -->
354 * @generated
355 */
356 private EClass divisonEClass = null;
357
358 /**
359 * <!-- begin-user-doc -->
360 * <!-- end-user-doc -->
361 * @generated
362 */
363 private EClass modEClass = null;
364
365 /**
366 * <!-- begin-user-doc -->
367 * <!-- end-user-doc -->
368 * @generated
369 */
370 private EClass typeDescriptorEClass = null;
371
372 /**
373 * <!-- begin-user-doc -->
374 * <!-- end-user-doc -->
375 * @generated
376 */
377 private EClass termDescriptionEClass = null;
378
379 /**
380 * <!-- begin-user-doc -->
381 * <!-- end-user-doc -->
382 * @generated
383 */
384 private EClass assertionEClass = null;
385
386 /**
387 * <!-- begin-user-doc -->
388 * <!-- end-user-doc -->
389 * @generated
390 */
391 private EClass relationEClass = null;
392
393 /**
394 * <!-- begin-user-doc -->
395 * <!-- end-user-doc -->
396 * @generated
397 */
398 private EClass constantEClass = null;
399
400 /**
401 * <!-- begin-user-doc -->
402 * <!-- end-user-doc -->
403 * @generated
404 */
405 private EClass constantDefinitionEClass = null;
406
407 /**
408 * <!-- begin-user-doc -->
409 * <!-- end-user-doc -->
410 * @generated
411 */
412 private EClass relationDefinitionEClass = null;
413
414 /**
415 * <!-- begin-user-doc -->
416 * <!-- end-user-doc -->
417 * @generated
418 */
419 private EClass functionDefinitionEClass = null;
420
421 /**
422 * <!-- begin-user-doc -->
423 * <!-- end-user-doc -->
424 * @generated
425 */
426 private EClass ifThenElseEClass = null;
427
428 /**
429 * <!-- begin-user-doc -->
430 * <!-- end-user-doc -->
431 * @generated
432 */
433 private EClass constantDeclarationEClass = null;
434
435 /**
436 * <!-- begin-user-doc -->
437 * <!-- end-user-doc -->
438 * @generated
439 */
440 private EClass relationDeclarationEClass = null;
441
442 /**
443 * <!-- begin-user-doc -->
444 * <!-- end-user-doc -->
445 * @generated
446 */
447 private EClass functionDeclarationEClass = null;
448
449 /**
450 * <!-- begin-user-doc -->
451 * <!-- end-user-doc -->
452 * @generated
453 */
454 private EClass typeDeclarationEClass = null;
455
456 /**
457 * <!-- begin-user-doc -->
458 * <!-- end-user-doc -->
459 * @generated
460 */
461 private EClass unknownBecauseUninterpretedEClass = null;
462
463 /**
464 * <!-- begin-user-doc -->
465 * <!-- end-user-doc -->
466 * @generated
467 */
468 private EClass instanceOfEClass = null;
469
470 /**
471 * Creates an instance of the model <b>Package</b>, registered with
472 * {@link org.eclipse.emf.ecore.EPackage.Registry EPackage.Registry} by the package
473 * package URI value.
474 * <p>Note: the correct way to create the package is via the static
475 * factory method {@link #init init()}, which also performs
476 * initialization of the package, or returns the registered package,
477 * if one already exists.
478 * <!-- begin-user-doc -->
479 * <!-- end-user-doc -->
480 * @see org.eclipse.emf.ecore.EPackage.Registry
481 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LogiclanguagePackage#eNS_URI
482 * @see #init()
483 * @generated
484 */
485 private LogiclanguagePackageImpl() {
486 super(eNS_URI, LogiclanguageFactory.eINSTANCE);
487 }
488
489 /**
490 * <!-- begin-user-doc -->
491 * <!-- end-user-doc -->
492 * @generated
493 */
494 private static boolean isInited = false;
495
496 /**
497 * Creates, registers, and initializes the <b>Package</b> for this model, and for any others upon which it depends.
498 *
499 * <p>This method is used to initialize {@link LogiclanguagePackage#eINSTANCE} when that field is accessed.
500 * Clients should not invoke it directly. Instead, they should simply access that field to obtain the package.
501 * <!-- begin-user-doc -->
502 * <!-- end-user-doc -->
503 * @see #eNS_URI
504 * @see #createPackageContents()
505 * @see #initializePackageContents()
506 * @generated
507 */
508 public static LogiclanguagePackage init() {
509 if (isInited) return (LogiclanguagePackage)EPackage.Registry.INSTANCE.getEPackage(LogiclanguagePackage.eNS_URI);
510
511 // Obtain or create and register package
512 LogiclanguagePackageImpl theLogiclanguagePackage = (LogiclanguagePackageImpl)(EPackage.Registry.INSTANCE.get(eNS_URI) instanceof LogiclanguagePackageImpl ? EPackage.Registry.INSTANCE.get(eNS_URI) : new LogiclanguagePackageImpl());
513
514 isInited = true;
515
516 // Obtain or create and register interdependencies
517 LogicproblemPackageImpl theLogicproblemPackage = (LogicproblemPackageImpl)(EPackage.Registry.INSTANCE.getEPackage(LogicproblemPackage.eNS_URI) instanceof LogicproblemPackageImpl ? EPackage.Registry.INSTANCE.getEPackage(LogicproblemPackage.eNS_URI) : LogicproblemPackage.eINSTANCE);
518 LogicresultPackageImpl theLogicresultPackage = (LogicresultPackageImpl)(EPackage.Registry.INSTANCE.getEPackage(LogicresultPackage.eNS_URI) instanceof LogicresultPackageImpl ? EPackage.Registry.INSTANCE.getEPackage(LogicresultPackage.eNS_URI) : LogicresultPackage.eINSTANCE);
519
520 // Create package meta-data objects
521 theLogiclanguagePackage.createPackageContents();
522 theLogicproblemPackage.createPackageContents();
523 theLogicresultPackage.createPackageContents();
524
525 // Initialize created meta-data
526 theLogiclanguagePackage.initializePackageContents();
527 theLogicproblemPackage.initializePackageContents();
528 theLogicresultPackage.initializePackageContents();
529
530 // Mark meta-data to indicate it can't be changed
531 theLogiclanguagePackage.freeze();
532
533
534 // Update the registry and return the package
535 EPackage.Registry.INSTANCE.put(LogiclanguagePackage.eNS_URI, theLogiclanguagePackage);
536 return theLogiclanguagePackage;
537 }
538
539 /**
540 * <!-- begin-user-doc -->
541 * <!-- end-user-doc -->
542 * @generated
543 */
544 public EClass getType() {
545 return typeEClass;
546 }
547
548 /**
549 * <!-- begin-user-doc -->
550 * <!-- end-user-doc -->
551 * @generated
552 */
553 public EAttribute getType_Name() {
554 return (EAttribute)typeEClass.getEStructuralFeatures().get(0);
555 }
556
557 /**
558 * <!-- begin-user-doc -->
559 * <!-- end-user-doc -->
560 * @generated
561 */
562 public EReference getType_Subtypes() {
563 return (EReference)typeEClass.getEStructuralFeatures().get(1);
564 }
565
566 /**
567 * <!-- begin-user-doc -->
568 * <!-- end-user-doc -->
569 * @generated
570 */
571 public EReference getType_Supertypes() {
572 return (EReference)typeEClass.getEStructuralFeatures().get(2);
573 }
574
575 /**
576 * <!-- begin-user-doc -->
577 * <!-- end-user-doc -->
578 * @generated
579 */
580 public EAttribute getType_IsAbstract() {
581 return (EAttribute)typeEClass.getEStructuralFeatures().get(3);
582 }
583
584 /**
585 * <!-- begin-user-doc -->
586 * <!-- end-user-doc -->
587 * @generated
588 */
589 public EClass getDefinedElement() {
590 return definedElementEClass;
591 }
592
593 /**
594 * <!-- begin-user-doc -->
595 * <!-- end-user-doc -->
596 * @generated
597 */
598 public EReference getDefinedElement_DefinedInType() {
599 return (EReference)definedElementEClass.getEStructuralFeatures().get(0);
600 }
601
602 /**
603 * <!-- begin-user-doc -->
604 * <!-- end-user-doc -->
605 * @generated
606 */
607 public EClass getTypeDefinition() {
608 return typeDefinitionEClass;
609 }
610
611 /**
612 * <!-- begin-user-doc -->
613 * <!-- end-user-doc -->
614 * @generated
615 */
616 public EReference getTypeDefinition_Elements() {
617 return (EReference)typeDefinitionEClass.getEStructuralFeatures().get(0);
618 }
619
620 /**
621 * <!-- begin-user-doc -->
622 * <!-- end-user-doc -->
623 * @generated
624 */
625 public EReference getTypeDefinition_Defines() {
626 return (EReference)typeDefinitionEClass.getEStructuralFeatures().get(1);
627 }
628
629 /**
630 * <!-- begin-user-doc -->
631 * <!-- end-user-doc -->
632 * @generated
633 */
634 public EClass getTypeReference() {
635 return typeReferenceEClass;
636 }
637
638 /**
639 * <!-- begin-user-doc -->
640 * <!-- end-user-doc -->
641 * @generated
642 */
643 public EClass getComplexTypeReference() {
644 return complexTypeReferenceEClass;
645 }
646
647 /**
648 * <!-- begin-user-doc -->
649 * <!-- end-user-doc -->
650 * @generated
651 */
652 public EReference getComplexTypeReference_Referred() {
653 return (EReference)complexTypeReferenceEClass.getEStructuralFeatures().get(0);
654 }
655
656 /**
657 * <!-- begin-user-doc -->
658 * <!-- end-user-doc -->
659 * @generated
660 */
661 public EClass getPrimitiveTypeReference() {
662 return primitiveTypeReferenceEClass;
663 }
664
665 /**
666 * <!-- begin-user-doc -->
667 * <!-- end-user-doc -->
668 * @generated
669 */
670 public EClass getIntTypeReference() {
671 return intTypeReferenceEClass;
672 }
673
674 /**
675 * <!-- begin-user-doc -->
676 * <!-- end-user-doc -->
677 * @generated
678 */
679 public EClass getBoolTypeReference() {
680 return boolTypeReferenceEClass;
681 }
682
683 /**
684 * <!-- begin-user-doc -->
685 * <!-- end-user-doc -->
686 * @generated
687 */
688 public EClass getRealTypeReference() {
689 return realTypeReferenceEClass;
690 }
691
692 /**
693 * <!-- begin-user-doc -->
694 * <!-- end-user-doc -->
695 * @generated
696 */
697 public EClass getFunction() {
698 return functionEClass;
699 }
700
701 /**
702 * <!-- begin-user-doc -->
703 * <!-- end-user-doc -->
704 * @generated
705 */
706 public EReference getFunction_Range() {
707 return (EReference)functionEClass.getEStructuralFeatures().get(0);
708 }
709
710 /**
711 * <!-- begin-user-doc -->
712 * <!-- end-user-doc -->
713 * @generated
714 */
715 public EReference getFunction_Parameters() {
716 return (EReference)functionEClass.getEStructuralFeatures().get(1);
717 }
718
719 /**
720 * <!-- begin-user-doc -->
721 * <!-- end-user-doc -->
722 * @generated
723 */
724 public EReference getFunction_Annotations() {
725 return (EReference)functionEClass.getEStructuralFeatures().get(2);
726 }
727
728 /**
729 * <!-- begin-user-doc -->
730 * <!-- end-user-doc -->
731 * @generated
732 */
733 public EClass getTerm() {
734 return termEClass;
735 }
736
737 /**
738 * <!-- begin-user-doc -->
739 * <!-- end-user-doc -->
740 * @generated
741 */
742 public EClass getSymbolicDeclaration() {
743 return symbolicDeclarationEClass;
744 }
745
746 /**
747 * <!-- begin-user-doc -->
748 * <!-- end-user-doc -->
749 * @generated
750 */
751 public EAttribute getSymbolicDeclaration_Name() {
752 return (EAttribute)symbolicDeclarationEClass.getEStructuralFeatures().get(0);
753 }
754
755 /**
756 * <!-- begin-user-doc -->
757 * <!-- end-user-doc -->
758 * @generated
759 */
760 public EClass getSymbolicValue() {
761 return symbolicValueEClass;
762 }
763
764 /**
765 * <!-- begin-user-doc -->
766 * <!-- end-user-doc -->
767 * @generated
768 */
769 public EReference getSymbolicValue_SymbolicReference() {
770 return (EReference)symbolicValueEClass.getEStructuralFeatures().get(0);
771 }
772
773 /**
774 * <!-- begin-user-doc -->
775 * <!-- end-user-doc -->
776 * @generated
777 */
778 public EReference getSymbolicValue_ParameterSubstitutions() {
779 return (EReference)symbolicValueEClass.getEStructuralFeatures().get(1);
780 }
781
782 /**
783 * <!-- begin-user-doc -->
784 * <!-- end-user-doc -->
785 * @generated
786 */
787 public EClass getAtomicTerm() {
788 return atomicTermEClass;
789 }
790
791 /**
792 * <!-- begin-user-doc -->
793 * <!-- end-user-doc -->
794 * @generated
795 */
796 public EClass getIntLiteral() {
797 return intLiteralEClass;
798 }
799
800 /**
801 * <!-- begin-user-doc -->
802 * <!-- end-user-doc -->
803 * @generated
804 */
805 public EAttribute getIntLiteral_Value() {
806 return (EAttribute)intLiteralEClass.getEStructuralFeatures().get(0);
807 }
808
809 /**
810 * <!-- begin-user-doc -->
811 * <!-- end-user-doc -->
812 * @generated
813 */
814 public EClass getBoolLiteral() {
815 return boolLiteralEClass;
816 }
817
818 /**
819 * <!-- begin-user-doc -->
820 * <!-- end-user-doc -->
821 * @generated
822 */
823 public EAttribute getBoolLiteral_Value() {
824 return (EAttribute)boolLiteralEClass.getEStructuralFeatures().get(0);
825 }
826
827 /**
828 * <!-- begin-user-doc -->
829 * <!-- end-user-doc -->
830 * @generated
831 */
832 public EClass getRealLiteral() {
833 return realLiteralEClass;
834 }
835
836 /**
837 * <!-- begin-user-doc -->
838 * <!-- end-user-doc -->
839 * @generated
840 */
841 public EAttribute getRealLiteral_Value() {
842 return (EAttribute)realLiteralEClass.getEStructuralFeatures().get(0);
843 }
844
845 /**
846 * <!-- begin-user-doc -->
847 * <!-- end-user-doc -->
848 * @generated
849 */
850 public EClass getVariable() {
851 return variableEClass;
852 }
853
854 /**
855 * <!-- begin-user-doc -->
856 * <!-- end-user-doc -->
857 * @generated
858 */
859 public EReference getVariable_Range() {
860 return (EReference)variableEClass.getEStructuralFeatures().get(0);
861 }
862
863 /**
864 * <!-- begin-user-doc -->
865 * <!-- end-user-doc -->
866 * @generated
867 */
868 public EClass getQuantifiedExpression() {
869 return quantifiedExpressionEClass;
870 }
871
872 /**
873 * <!-- begin-user-doc -->
874 * <!-- end-user-doc -->
875 * @generated
876 */
877 public EReference getQuantifiedExpression_QuantifiedVariables() {
878 return (EReference)quantifiedExpressionEClass.getEStructuralFeatures().get(0);
879 }
880
881 /**
882 * <!-- begin-user-doc -->
883 * <!-- end-user-doc -->
884 * @generated
885 */
886 public EReference getQuantifiedExpression_Expression() {
887 return (EReference)quantifiedExpressionEClass.getEStructuralFeatures().get(1);
888 }
889
890 /**
891 * <!-- begin-user-doc -->
892 * <!-- end-user-doc -->
893 * @generated
894 */
895 public EClass getExists() {
896 return existsEClass;
897 }
898
899 /**
900 * <!-- begin-user-doc -->
901 * <!-- end-user-doc -->
902 * @generated
903 */
904 public EClass getForall() {
905 return forallEClass;
906 }
907
908 /**
909 * <!-- begin-user-doc -->
910 * <!-- end-user-doc -->
911 * @generated
912 */
913 public EClass getBoolOperation() {
914 return boolOperationEClass;
915 }
916
917 /**
918 * <!-- begin-user-doc -->
919 * <!-- end-user-doc -->
920 * @generated
921 */
922 public EClass getAnd() {
923 return andEClass;
924 }
925
926 /**
927 * <!-- begin-user-doc -->
928 * <!-- end-user-doc -->
929 * @generated
930 */
931 public EReference getAnd_Operands() {
932 return (EReference)andEClass.getEStructuralFeatures().get(0);
933 }
934
935 /**
936 * <!-- begin-user-doc -->
937 * <!-- end-user-doc -->
938 * @generated
939 */
940 public EClass getOr() {
941 return orEClass;
942 }
943
944 /**
945 * <!-- begin-user-doc -->
946 * <!-- end-user-doc -->
947 * @generated
948 */
949 public EReference getOr_Operands() {
950 return (EReference)orEClass.getEStructuralFeatures().get(0);
951 }
952
953 /**
954 * <!-- begin-user-doc -->
955 * <!-- end-user-doc -->
956 * @generated
957 */
958 public EClass getImpl() {
959 return implEClass;
960 }
961
962 /**
963 * <!-- begin-user-doc -->
964 * <!-- end-user-doc -->
965 * @generated
966 */
967 public EReference getImpl_LeftOperand() {
968 return (EReference)implEClass.getEStructuralFeatures().get(0);
969 }
970
971 /**
972 * <!-- begin-user-doc -->
973 * <!-- end-user-doc -->
974 * @generated
975 */
976 public EReference getImpl_RightOperand() {
977 return (EReference)implEClass.getEStructuralFeatures().get(1);
978 }
979
980 /**
981 * <!-- begin-user-doc -->
982 * <!-- end-user-doc -->
983 * @generated
984 */
985 public EClass getNot() {
986 return notEClass;
987 }
988
989 /**
990 * <!-- begin-user-doc -->
991 * <!-- end-user-doc -->
992 * @generated
993 */
994 public EReference getNot_Operand() {
995 return (EReference)notEClass.getEStructuralFeatures().get(0);
996 }
997
998 /**
999 * <!-- begin-user-doc -->
1000 * <!-- end-user-doc -->
1001 * @generated
1002 */
1003 public EClass getIff() {
1004 return iffEClass;
1005 }
1006
1007 /**
1008 * <!-- begin-user-doc -->
1009 * <!-- end-user-doc -->
1010 * @generated
1011 */
1012 public EReference getIff_LeftOperand() {
1013 return (EReference)iffEClass.getEStructuralFeatures().get(0);
1014 }
1015
1016 /**
1017 * <!-- begin-user-doc -->
1018 * <!-- end-user-doc -->
1019 * @generated
1020 */
1021 public EReference getIff_RightOperand() {
1022 return (EReference)iffEClass.getEStructuralFeatures().get(1);
1023 }
1024
1025 /**
1026 * <!-- begin-user-doc -->
1027 * <!-- end-user-doc -->
1028 * @generated
1029 */
1030 public EClass getPrimitiveRelation() {
1031 return primitiveRelationEClass;
1032 }
1033
1034 /**
1035 * <!-- begin-user-doc -->
1036 * <!-- end-user-doc -->
1037 * @generated
1038 */
1039 public EClass getEquals() {
1040 return equalsEClass;
1041 }
1042
1043 /**
1044 * <!-- begin-user-doc -->
1045 * <!-- end-user-doc -->
1046 * @generated
1047 */
1048 public EReference getEquals_LeftOperand() {
1049 return (EReference)equalsEClass.getEStructuralFeatures().get(0);
1050 }
1051
1052 /**
1053 * <!-- begin-user-doc -->
1054 * <!-- end-user-doc -->
1055 * @generated
1056 */
1057 public EReference getEquals_RightOperand() {
1058 return (EReference)equalsEClass.getEStructuralFeatures().get(1);
1059 }
1060
1061 /**
1062 * <!-- begin-user-doc -->
1063 * <!-- end-user-doc -->
1064 * @generated
1065 */
1066 public EClass getDistinct() {
1067 return distinctEClass;
1068 }
1069
1070 /**
1071 * <!-- begin-user-doc -->
1072 * <!-- end-user-doc -->
1073 * @generated
1074 */
1075 public EReference getDistinct_Operands() {
1076 return (EReference)distinctEClass.getEStructuralFeatures().get(0);
1077 }
1078
1079 /**
1080 * <!-- begin-user-doc -->
1081 * <!-- end-user-doc -->
1082 * @generated
1083 */
1084 public EClass getLessThan() {
1085 return lessThanEClass;
1086 }
1087
1088 /**
1089 * <!-- begin-user-doc -->
1090 * <!-- end-user-doc -->
1091 * @generated
1092 */
1093 public EReference getLessThan_LeftOperand() {
1094 return (EReference)lessThanEClass.getEStructuralFeatures().get(0);
1095 }
1096
1097 /**
1098 * <!-- begin-user-doc -->
1099 * <!-- end-user-doc -->
1100 * @generated
1101 */
1102 public EReference getLessThan_RightOperand() {
1103 return (EReference)lessThanEClass.getEStructuralFeatures().get(1);
1104 }
1105
1106 /**
1107 * <!-- begin-user-doc -->
1108 * <!-- end-user-doc -->
1109 * @generated
1110 */
1111 public EClass getMoreThan() {
1112 return moreThanEClass;
1113 }
1114
1115 /**
1116 * <!-- begin-user-doc -->
1117 * <!-- end-user-doc -->
1118 * @generated
1119 */
1120 public EReference getMoreThan_LeftOperand() {
1121 return (EReference)moreThanEClass.getEStructuralFeatures().get(0);
1122 }
1123
1124 /**
1125 * <!-- begin-user-doc -->
1126 * <!-- end-user-doc -->
1127 * @generated
1128 */
1129 public EReference getMoreThan_RightOperand() {
1130 return (EReference)moreThanEClass.getEStructuralFeatures().get(1);
1131 }
1132
1133 /**
1134 * <!-- begin-user-doc -->
1135 * <!-- end-user-doc -->
1136 * @generated
1137 */
1138 public EClass getLessOrEqualThan() {
1139 return lessOrEqualThanEClass;
1140 }
1141
1142 /**
1143 * <!-- begin-user-doc -->
1144 * <!-- end-user-doc -->
1145 * @generated
1146 */
1147 public EReference getLessOrEqualThan_LeftOperand() {
1148 return (EReference)lessOrEqualThanEClass.getEStructuralFeatures().get(0);
1149 }
1150
1151 /**
1152 * <!-- begin-user-doc -->
1153 * <!-- end-user-doc -->
1154 * @generated
1155 */
1156 public EReference getLessOrEqualThan_RightOperand() {
1157 return (EReference)lessOrEqualThanEClass.getEStructuralFeatures().get(1);
1158 }
1159
1160 /**
1161 * <!-- begin-user-doc -->
1162 * <!-- end-user-doc -->
1163 * @generated
1164 */
1165 public EClass getMoreOrEqualThan() {
1166 return moreOrEqualThanEClass;
1167 }
1168
1169 /**
1170 * <!-- begin-user-doc -->
1171 * <!-- end-user-doc -->
1172 * @generated
1173 */
1174 public EReference getMoreOrEqualThan_LeftOperand() {
1175 return (EReference)moreOrEqualThanEClass.getEStructuralFeatures().get(0);
1176 }
1177
1178 /**
1179 * <!-- begin-user-doc -->
1180 * <!-- end-user-doc -->
1181 * @generated
1182 */
1183 public EReference getMoreOrEqualThan_RightOperand() {
1184 return (EReference)moreOrEqualThanEClass.getEStructuralFeatures().get(1);
1185 }
1186
1187 /**
1188 * <!-- begin-user-doc -->
1189 * <!-- end-user-doc -->
1190 * @generated
1191 */
1192 public EClass getIntOperation() {
1193 return intOperationEClass;
1194 }
1195
1196 /**
1197 * <!-- begin-user-doc -->
1198 * <!-- end-user-doc -->
1199 * @generated
1200 */
1201 public EReference getIntOperation_LeftOperand() {
1202 return (EReference)intOperationEClass.getEStructuralFeatures().get(0);
1203 }
1204
1205 /**
1206 * <!-- begin-user-doc -->
1207 * <!-- end-user-doc -->
1208 * @generated
1209 */
1210 public EReference getIntOperation_RightOperand() {
1211 return (EReference)intOperationEClass.getEStructuralFeatures().get(1);
1212 }
1213
1214 /**
1215 * <!-- begin-user-doc -->
1216 * <!-- end-user-doc -->
1217 * @generated
1218 */
1219 public EClass getPlus() {
1220 return plusEClass;
1221 }
1222
1223 /**
1224 * <!-- begin-user-doc -->
1225 * <!-- end-user-doc -->
1226 * @generated
1227 */
1228 public EClass getMinus() {
1229 return minusEClass;
1230 }
1231
1232 /**
1233 * <!-- begin-user-doc -->
1234 * <!-- end-user-doc -->
1235 * @generated
1236 */
1237 public EClass getMultiply() {
1238 return multiplyEClass;
1239 }
1240
1241 /**
1242 * <!-- begin-user-doc -->
1243 * <!-- end-user-doc -->
1244 * @generated
1245 */
1246 public EClass getDivison() {
1247 return divisonEClass;
1248 }
1249
1250 /**
1251 * <!-- begin-user-doc -->
1252 * <!-- end-user-doc -->
1253 * @generated
1254 */
1255 public EClass getMod() {
1256 return modEClass;
1257 }
1258
1259 /**
1260 * <!-- begin-user-doc -->
1261 * <!-- end-user-doc -->
1262 * @generated
1263 */
1264 public EClass getTypeDescriptor() {
1265 return typeDescriptorEClass;
1266 }
1267
1268 /**
1269 * <!-- begin-user-doc -->
1270 * <!-- end-user-doc -->
1271 * @generated
1272 */
1273 public EClass getTermDescription() {
1274 return termDescriptionEClass;
1275 }
1276
1277 /**
1278 * <!-- begin-user-doc -->
1279 * <!-- end-user-doc -->
1280 * @generated
1281 */
1282 public EClass getAssertion() {
1283 return assertionEClass;
1284 }
1285
1286 /**
1287 * <!-- begin-user-doc -->
1288 * <!-- end-user-doc -->
1289 * @generated
1290 */
1291 public EReference getAssertion_Value() {
1292 return (EReference)assertionEClass.getEStructuralFeatures().get(0);
1293 }
1294
1295 /**
1296 * <!-- begin-user-doc -->
1297 * <!-- end-user-doc -->
1298 * @generated
1299 */
1300 public EAttribute getAssertion_Name() {
1301 return (EAttribute)assertionEClass.getEStructuralFeatures().get(1);
1302 }
1303
1304 /**
1305 * <!-- begin-user-doc -->
1306 * <!-- end-user-doc -->
1307 * @generated
1308 */
1309 public EReference getAssertion_Annotations() {
1310 return (EReference)assertionEClass.getEStructuralFeatures().get(2);
1311 }
1312
1313 /**
1314 * <!-- begin-user-doc -->
1315 * <!-- end-user-doc -->
1316 * @generated
1317 */
1318 public EClass getRelation() {
1319 return relationEClass;
1320 }
1321
1322 /**
1323 * <!-- begin-user-doc -->
1324 * <!-- end-user-doc -->
1325 * @generated
1326 */
1327 public EReference getRelation_Parameters() {
1328 return (EReference)relationEClass.getEStructuralFeatures().get(0);
1329 }
1330
1331 /**
1332 * <!-- begin-user-doc -->
1333 * <!-- end-user-doc -->
1334 * @generated
1335 */
1336 public EReference getRelation_Annotations() {
1337 return (EReference)relationEClass.getEStructuralFeatures().get(1);
1338 }
1339
1340 /**
1341 * <!-- begin-user-doc -->
1342 * <!-- end-user-doc -->
1343 * @generated
1344 */
1345 public EClass getConstant() {
1346 return constantEClass;
1347 }
1348
1349 /**
1350 * <!-- begin-user-doc -->
1351 * <!-- end-user-doc -->
1352 * @generated
1353 */
1354 public EReference getConstant_Type() {
1355 return (EReference)constantEClass.getEStructuralFeatures().get(0);
1356 }
1357
1358 /**
1359 * <!-- begin-user-doc -->
1360 * <!-- end-user-doc -->
1361 * @generated
1362 */
1363 public EReference getConstant_Annotations() {
1364 return (EReference)constantEClass.getEStructuralFeatures().get(1);
1365 }
1366
1367 /**
1368 * <!-- begin-user-doc -->
1369 * <!-- end-user-doc -->
1370 * @generated
1371 */
1372 public EClass getConstantDefinition() {
1373 return constantDefinitionEClass;
1374 }
1375
1376 /**
1377 * <!-- begin-user-doc -->
1378 * <!-- end-user-doc -->
1379 * @generated
1380 */
1381 public EReference getConstantDefinition_Value() {
1382 return (EReference)constantDefinitionEClass.getEStructuralFeatures().get(0);
1383 }
1384
1385 /**
1386 * <!-- begin-user-doc -->
1387 * <!-- end-user-doc -->
1388 * @generated
1389 */
1390 public EReference getConstantDefinition_Defines() {
1391 return (EReference)constantDefinitionEClass.getEStructuralFeatures().get(1);
1392 }
1393
1394 /**
1395 * <!-- begin-user-doc -->
1396 * <!-- end-user-doc -->
1397 * @generated
1398 */
1399 public EClass getRelationDefinition() {
1400 return relationDefinitionEClass;
1401 }
1402
1403 /**
1404 * <!-- begin-user-doc -->
1405 * <!-- end-user-doc -->
1406 * @generated
1407 */
1408 public EReference getRelationDefinition_Variables() {
1409 return (EReference)relationDefinitionEClass.getEStructuralFeatures().get(0);
1410 }
1411
1412 /**
1413 * <!-- begin-user-doc -->
1414 * <!-- end-user-doc -->
1415 * @generated
1416 */
1417 public EReference getRelationDefinition_Value() {
1418 return (EReference)relationDefinitionEClass.getEStructuralFeatures().get(1);
1419 }
1420
1421 /**
1422 * <!-- begin-user-doc -->
1423 * <!-- end-user-doc -->
1424 * @generated
1425 */
1426 public EReference getRelationDefinition_Defines() {
1427 return (EReference)relationDefinitionEClass.getEStructuralFeatures().get(2);
1428 }
1429
1430 /**
1431 * <!-- begin-user-doc -->
1432 * <!-- end-user-doc -->
1433 * @generated
1434 */
1435 public EClass getFunctionDefinition() {
1436 return functionDefinitionEClass;
1437 }
1438
1439 /**
1440 * <!-- begin-user-doc -->
1441 * <!-- end-user-doc -->
1442 * @generated
1443 */
1444 public EReference getFunctionDefinition_Variable() {
1445 return (EReference)functionDefinitionEClass.getEStructuralFeatures().get(0);
1446 }
1447
1448 /**
1449 * <!-- begin-user-doc -->
1450 * <!-- end-user-doc -->
1451 * @generated
1452 */
1453 public EReference getFunctionDefinition_Defines() {
1454 return (EReference)functionDefinitionEClass.getEStructuralFeatures().get(1);
1455 }
1456
1457 /**
1458 * <!-- begin-user-doc -->
1459 * <!-- end-user-doc -->
1460 * @generated
1461 */
1462 public EReference getFunctionDefinition_Value() {
1463 return (EReference)functionDefinitionEClass.getEStructuralFeatures().get(2);
1464 }
1465
1466 /**
1467 * <!-- begin-user-doc -->
1468 * <!-- end-user-doc -->
1469 * @generated
1470 */
1471 public EClass getIfThenElse() {
1472 return ifThenElseEClass;
1473 }
1474
1475 /**
1476 * <!-- begin-user-doc -->
1477 * <!-- end-user-doc -->
1478 * @generated
1479 */
1480 public EReference getIfThenElse_Condition() {
1481 return (EReference)ifThenElseEClass.getEStructuralFeatures().get(0);
1482 }
1483
1484 /**
1485 * <!-- begin-user-doc -->
1486 * <!-- end-user-doc -->
1487 * @generated
1488 */
1489 public EReference getIfThenElse_IfTrue() {
1490 return (EReference)ifThenElseEClass.getEStructuralFeatures().get(1);
1491 }
1492
1493 /**
1494 * <!-- begin-user-doc -->
1495 * <!-- end-user-doc -->
1496 * @generated
1497 */
1498 public EReference getIfThenElse_IfFalse() {
1499 return (EReference)ifThenElseEClass.getEStructuralFeatures().get(2);
1500 }
1501
1502 /**
1503 * <!-- begin-user-doc -->
1504 * <!-- end-user-doc -->
1505 * @generated
1506 */
1507 public EClass getConstantDeclaration() {
1508 return constantDeclarationEClass;
1509 }
1510
1511 /**
1512 * <!-- begin-user-doc -->
1513 * <!-- end-user-doc -->
1514 * @generated
1515 */
1516 public EClass getRelationDeclaration() {
1517 return relationDeclarationEClass;
1518 }
1519
1520 /**
1521 * <!-- begin-user-doc -->
1522 * <!-- end-user-doc -->
1523 * @generated
1524 */
1525 public EClass getFunctionDeclaration() {
1526 return functionDeclarationEClass;
1527 }
1528
1529 /**
1530 * <!-- begin-user-doc -->
1531 * <!-- end-user-doc -->
1532 * @generated
1533 */
1534 public EClass getTypeDeclaration() {
1535 return typeDeclarationEClass;
1536 }
1537
1538 /**
1539 * <!-- begin-user-doc -->
1540 * <!-- end-user-doc -->
1541 * @generated
1542 */
1543 public EClass getUnknownBecauseUninterpreted() {
1544 return unknownBecauseUninterpretedEClass;
1545 }
1546
1547 /**
1548 * <!-- begin-user-doc -->
1549 * <!-- end-user-doc -->
1550 * @generated
1551 */
1552 public EClass getInstanceOf() {
1553 return instanceOfEClass;
1554 }
1555
1556 /**
1557 * <!-- begin-user-doc -->
1558 * <!-- end-user-doc -->
1559 * @generated
1560 */
1561 public EReference getInstanceOf_Value() {
1562 return (EReference)instanceOfEClass.getEStructuralFeatures().get(0);
1563 }
1564
1565 /**
1566 * <!-- begin-user-doc -->
1567 * <!-- end-user-doc -->
1568 * @generated
1569 */
1570 public EReference getInstanceOf_Range() {
1571 return (EReference)instanceOfEClass.getEStructuralFeatures().get(1);
1572 }
1573
1574 /**
1575 * <!-- begin-user-doc -->
1576 * <!-- end-user-doc -->
1577 * @generated
1578 */
1579 public LogiclanguageFactory getLogiclanguageFactory() {
1580 return (LogiclanguageFactory)getEFactoryInstance();
1581 }
1582
1583 /**
1584 * <!-- begin-user-doc -->
1585 * <!-- end-user-doc -->
1586 * @generated
1587 */
1588 private boolean isCreated = false;
1589
1590 /**
1591 * Creates the meta-model objects for the package. This method is
1592 * guarded to have no affect on any invocation but its first.
1593 * <!-- begin-user-doc -->
1594 * <!-- end-user-doc -->
1595 * @generated
1596 */
1597 public void createPackageContents() {
1598 if (isCreated) return;
1599 isCreated = true;
1600
1601 // Create classes and their features
1602 typeEClass = createEClass(TYPE);
1603 createEAttribute(typeEClass, TYPE__NAME);
1604 createEReference(typeEClass, TYPE__SUBTYPES);
1605 createEReference(typeEClass, TYPE__SUPERTYPES);
1606 createEAttribute(typeEClass, TYPE__IS_ABSTRACT);
1607
1608 definedElementEClass = createEClass(DEFINED_ELEMENT);
1609 createEReference(definedElementEClass, DEFINED_ELEMENT__DEFINED_IN_TYPE);
1610
1611 typeDefinitionEClass = createEClass(TYPE_DEFINITION);
1612 createEReference(typeDefinitionEClass, TYPE_DEFINITION__ELEMENTS);
1613 createEReference(typeDefinitionEClass, TYPE_DEFINITION__DEFINES);
1614
1615 typeReferenceEClass = createEClass(TYPE_REFERENCE);
1616
1617 complexTypeReferenceEClass = createEClass(COMPLEX_TYPE_REFERENCE);
1618 createEReference(complexTypeReferenceEClass, COMPLEX_TYPE_REFERENCE__REFERRED);
1619
1620 primitiveTypeReferenceEClass = createEClass(PRIMITIVE_TYPE_REFERENCE);
1621
1622 intTypeReferenceEClass = createEClass(INT_TYPE_REFERENCE);
1623
1624 boolTypeReferenceEClass = createEClass(BOOL_TYPE_REFERENCE);
1625
1626 realTypeReferenceEClass = createEClass(REAL_TYPE_REFERENCE);
1627
1628 functionEClass = createEClass(FUNCTION);
1629 createEReference(functionEClass, FUNCTION__RANGE);
1630 createEReference(functionEClass, FUNCTION__PARAMETERS);
1631 createEReference(functionEClass, FUNCTION__ANNOTATIONS);
1632
1633 termEClass = createEClass(TERM);
1634
1635 symbolicDeclarationEClass = createEClass(SYMBOLIC_DECLARATION);
1636 createEAttribute(symbolicDeclarationEClass, SYMBOLIC_DECLARATION__NAME);
1637
1638 symbolicValueEClass = createEClass(SYMBOLIC_VALUE);
1639 createEReference(symbolicValueEClass, SYMBOLIC_VALUE__SYMBOLIC_REFERENCE);
1640 createEReference(symbolicValueEClass, SYMBOLIC_VALUE__PARAMETER_SUBSTITUTIONS);
1641
1642 atomicTermEClass = createEClass(ATOMIC_TERM);
1643
1644 intLiteralEClass = createEClass(INT_LITERAL);
1645 createEAttribute(intLiteralEClass, INT_LITERAL__VALUE);
1646
1647 boolLiteralEClass = createEClass(BOOL_LITERAL);
1648 createEAttribute(boolLiteralEClass, BOOL_LITERAL__VALUE);
1649
1650 realLiteralEClass = createEClass(REAL_LITERAL);
1651 createEAttribute(realLiteralEClass, REAL_LITERAL__VALUE);
1652
1653 variableEClass = createEClass(VARIABLE);
1654 createEReference(variableEClass, VARIABLE__RANGE);
1655
1656 quantifiedExpressionEClass = createEClass(QUANTIFIED_EXPRESSION);
1657 createEReference(quantifiedExpressionEClass, QUANTIFIED_EXPRESSION__QUANTIFIED_VARIABLES);
1658 createEReference(quantifiedExpressionEClass, QUANTIFIED_EXPRESSION__EXPRESSION);
1659
1660 existsEClass = createEClass(EXISTS);
1661
1662 forallEClass = createEClass(FORALL);
1663
1664 boolOperationEClass = createEClass(BOOL_OPERATION);
1665
1666 andEClass = createEClass(AND);
1667 createEReference(andEClass, AND__OPERANDS);
1668
1669 orEClass = createEClass(OR);
1670 createEReference(orEClass, OR__OPERANDS);
1671
1672 implEClass = createEClass(IMPL);
1673 createEReference(implEClass, IMPL__LEFT_OPERAND);
1674 createEReference(implEClass, IMPL__RIGHT_OPERAND);
1675
1676 notEClass = createEClass(NOT);
1677 createEReference(notEClass, NOT__OPERAND);
1678
1679 iffEClass = createEClass(IFF);
1680 createEReference(iffEClass, IFF__LEFT_OPERAND);
1681 createEReference(iffEClass, IFF__RIGHT_OPERAND);
1682
1683 primitiveRelationEClass = createEClass(PRIMITIVE_RELATION);
1684
1685 equalsEClass = createEClass(EQUALS);
1686 createEReference(equalsEClass, EQUALS__LEFT_OPERAND);
1687 createEReference(equalsEClass, EQUALS__RIGHT_OPERAND);
1688
1689 distinctEClass = createEClass(DISTINCT);
1690 createEReference(distinctEClass, DISTINCT__OPERANDS);
1691
1692 lessThanEClass = createEClass(LESS_THAN);
1693 createEReference(lessThanEClass, LESS_THAN__LEFT_OPERAND);
1694 createEReference(lessThanEClass, LESS_THAN__RIGHT_OPERAND);
1695
1696 moreThanEClass = createEClass(MORE_THAN);
1697 createEReference(moreThanEClass, MORE_THAN__LEFT_OPERAND);
1698 createEReference(moreThanEClass, MORE_THAN__RIGHT_OPERAND);
1699
1700 lessOrEqualThanEClass = createEClass(LESS_OR_EQUAL_THAN);
1701 createEReference(lessOrEqualThanEClass, LESS_OR_EQUAL_THAN__LEFT_OPERAND);
1702 createEReference(lessOrEqualThanEClass, LESS_OR_EQUAL_THAN__RIGHT_OPERAND);
1703
1704 moreOrEqualThanEClass = createEClass(MORE_OR_EQUAL_THAN);
1705 createEReference(moreOrEqualThanEClass, MORE_OR_EQUAL_THAN__LEFT_OPERAND);
1706 createEReference(moreOrEqualThanEClass, MORE_OR_EQUAL_THAN__RIGHT_OPERAND);
1707
1708 intOperationEClass = createEClass(INT_OPERATION);
1709 createEReference(intOperationEClass, INT_OPERATION__LEFT_OPERAND);
1710 createEReference(intOperationEClass, INT_OPERATION__RIGHT_OPERAND);
1711
1712 plusEClass = createEClass(PLUS);
1713
1714 minusEClass = createEClass(MINUS);
1715
1716 multiplyEClass = createEClass(MULTIPLY);
1717
1718 divisonEClass = createEClass(DIVISON);
1719
1720 modEClass = createEClass(MOD);
1721
1722 typeDescriptorEClass = createEClass(TYPE_DESCRIPTOR);
1723
1724 termDescriptionEClass = createEClass(TERM_DESCRIPTION);
1725
1726 assertionEClass = createEClass(ASSERTION);
1727 createEReference(assertionEClass, ASSERTION__VALUE);
1728 createEAttribute(assertionEClass, ASSERTION__NAME);
1729 createEReference(assertionEClass, ASSERTION__ANNOTATIONS);
1730
1731 relationEClass = createEClass(RELATION);
1732 createEReference(relationEClass, RELATION__PARAMETERS);
1733 createEReference(relationEClass, RELATION__ANNOTATIONS);
1734
1735 constantEClass = createEClass(CONSTANT);
1736 createEReference(constantEClass, CONSTANT__TYPE);
1737 createEReference(constantEClass, CONSTANT__ANNOTATIONS);
1738
1739 constantDefinitionEClass = createEClass(CONSTANT_DEFINITION);
1740 createEReference(constantDefinitionEClass, CONSTANT_DEFINITION__VALUE);
1741 createEReference(constantDefinitionEClass, CONSTANT_DEFINITION__DEFINES);
1742
1743 relationDefinitionEClass = createEClass(RELATION_DEFINITION);
1744 createEReference(relationDefinitionEClass, RELATION_DEFINITION__VARIABLES);
1745 createEReference(relationDefinitionEClass, RELATION_DEFINITION__VALUE);
1746 createEReference(relationDefinitionEClass, RELATION_DEFINITION__DEFINES);
1747
1748 functionDefinitionEClass = createEClass(FUNCTION_DEFINITION);
1749 createEReference(functionDefinitionEClass, FUNCTION_DEFINITION__VARIABLE);
1750 createEReference(functionDefinitionEClass, FUNCTION_DEFINITION__DEFINES);
1751 createEReference(functionDefinitionEClass, FUNCTION_DEFINITION__VALUE);
1752
1753 ifThenElseEClass = createEClass(IF_THEN_ELSE);
1754 createEReference(ifThenElseEClass, IF_THEN_ELSE__CONDITION);
1755 createEReference(ifThenElseEClass, IF_THEN_ELSE__IF_TRUE);
1756 createEReference(ifThenElseEClass, IF_THEN_ELSE__IF_FALSE);
1757
1758 constantDeclarationEClass = createEClass(CONSTANT_DECLARATION);
1759
1760 relationDeclarationEClass = createEClass(RELATION_DECLARATION);
1761
1762 functionDeclarationEClass = createEClass(FUNCTION_DECLARATION);
1763
1764 typeDeclarationEClass = createEClass(TYPE_DECLARATION);
1765
1766 unknownBecauseUninterpretedEClass = createEClass(UNKNOWN_BECAUSE_UNINTERPRETED);
1767
1768 instanceOfEClass = createEClass(INSTANCE_OF);
1769 createEReference(instanceOfEClass, INSTANCE_OF__VALUE);
1770 createEReference(instanceOfEClass, INSTANCE_OF__RANGE);
1771 }
1772
1773 /**
1774 * <!-- begin-user-doc -->
1775 * <!-- end-user-doc -->
1776 * @generated
1777 */
1778 private boolean isInitialized = false;
1779
1780 /**
1781 * Complete the initialization of the package and its meta-model. This
1782 * method is guarded to have no affect on any invocation but its first.
1783 * <!-- begin-user-doc -->
1784 * <!-- end-user-doc -->
1785 * @generated
1786 */
1787 public void initializePackageContents() {
1788 if (isInitialized) return;
1789 isInitialized = true;
1790
1791 // Initialize package
1792 setName(eNAME);
1793 setNsPrefix(eNS_PREFIX);
1794 setNsURI(eNS_URI);
1795
1796 // Obtain other dependent packages
1797 LogicproblemPackage theLogicproblemPackage = (LogicproblemPackage)EPackage.Registry.INSTANCE.getEPackage(LogicproblemPackage.eNS_URI);
1798
1799 // Create type parameters
1800
1801 // Set bounds for type parameters
1802
1803 // Add supertypes to classes
1804 typeEClass.getESuperTypes().add(this.getTypeDescriptor());
1805 definedElementEClass.getESuperTypes().add(this.getSymbolicDeclaration());
1806 typeDefinitionEClass.getESuperTypes().add(this.getType());
1807 typeReferenceEClass.getESuperTypes().add(this.getTypeDescriptor());
1808 complexTypeReferenceEClass.getESuperTypes().add(this.getTypeReference());
1809 primitiveTypeReferenceEClass.getESuperTypes().add(this.getTypeReference());
1810 intTypeReferenceEClass.getESuperTypes().add(this.getPrimitiveTypeReference());
1811 boolTypeReferenceEClass.getESuperTypes().add(this.getPrimitiveTypeReference());
1812 realTypeReferenceEClass.getESuperTypes().add(this.getPrimitiveTypeReference());
1813 functionEClass.getESuperTypes().add(this.getSymbolicDeclaration());
1814 termEClass.getESuperTypes().add(this.getTermDescription());
1815 symbolicDeclarationEClass.getESuperTypes().add(this.getTermDescription());
1816 symbolicValueEClass.getESuperTypes().add(this.getTerm());
1817 atomicTermEClass.getESuperTypes().add(this.getTerm());
1818 intLiteralEClass.getESuperTypes().add(this.getAtomicTerm());
1819 boolLiteralEClass.getESuperTypes().add(this.getAtomicTerm());
1820 realLiteralEClass.getESuperTypes().add(this.getAtomicTerm());
1821 variableEClass.getESuperTypes().add(this.getSymbolicDeclaration());
1822 quantifiedExpressionEClass.getESuperTypes().add(this.getTerm());
1823 existsEClass.getESuperTypes().add(this.getQuantifiedExpression());
1824 forallEClass.getESuperTypes().add(this.getQuantifiedExpression());
1825 boolOperationEClass.getESuperTypes().add(this.getTerm());
1826 andEClass.getESuperTypes().add(this.getBoolOperation());
1827 orEClass.getESuperTypes().add(this.getBoolOperation());
1828 implEClass.getESuperTypes().add(this.getBoolOperation());
1829 notEClass.getESuperTypes().add(this.getBoolOperation());
1830 iffEClass.getESuperTypes().add(this.getBoolOperation());
1831 primitiveRelationEClass.getESuperTypes().add(this.getTerm());
1832 equalsEClass.getESuperTypes().add(this.getPrimitiveRelation());
1833 distinctEClass.getESuperTypes().add(this.getPrimitiveRelation());
1834 lessThanEClass.getESuperTypes().add(this.getPrimitiveRelation());
1835 moreThanEClass.getESuperTypes().add(this.getPrimitiveRelation());
1836 lessOrEqualThanEClass.getESuperTypes().add(this.getPrimitiveRelation());
1837 moreOrEqualThanEClass.getESuperTypes().add(this.getPrimitiveRelation());
1838 intOperationEClass.getESuperTypes().add(this.getTerm());
1839 plusEClass.getESuperTypes().add(this.getIntOperation());
1840 minusEClass.getESuperTypes().add(this.getIntOperation());
1841 multiplyEClass.getESuperTypes().add(this.getIntOperation());
1842 divisonEClass.getESuperTypes().add(this.getIntOperation());
1843 modEClass.getESuperTypes().add(this.getIntOperation());
1844 relationEClass.getESuperTypes().add(this.getSymbolicDeclaration());
1845 constantEClass.getESuperTypes().add(this.getSymbolicDeclaration());
1846 constantDefinitionEClass.getESuperTypes().add(this.getConstant());
1847 relationDefinitionEClass.getESuperTypes().add(this.getRelation());
1848 functionDefinitionEClass.getESuperTypes().add(this.getFunction());
1849 ifThenElseEClass.getESuperTypes().add(this.getTerm());
1850 constantDeclarationEClass.getESuperTypes().add(this.getConstant());
1851 relationDeclarationEClass.getESuperTypes().add(this.getRelation());
1852 functionDeclarationEClass.getESuperTypes().add(this.getFunction());
1853 typeDeclarationEClass.getESuperTypes().add(this.getType());
1854 unknownBecauseUninterpretedEClass.getESuperTypes().add(this.getTerm());
1855 instanceOfEClass.getESuperTypes().add(this.getTerm());
1856
1857 // Initialize classes, features, and operations; add parameters
1858 initEClass(typeEClass, Type.class, "Type", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1859 initEAttribute(getType_Name(), ecorePackage.getEString(), "name", null, 1, 1, Type.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1860 initEReference(getType_Subtypes(), this.getType(), this.getType_Supertypes(), "subtypes", null, 0, -1, Type.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1861 initEReference(getType_Supertypes(), this.getType(), this.getType_Subtypes(), "supertypes", null, 0, -1, Type.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1862 initEAttribute(getType_IsAbstract(), ecorePackage.getEBoolean(), "isAbstract", null, 1, 1, Type.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1863
1864 initEClass(definedElementEClass, DefinedElement.class, "DefinedElement", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1865 initEReference(getDefinedElement_DefinedInType(), this.getTypeDefinition(), this.getTypeDefinition_Elements(), "definedInType", null, 1, -1, DefinedElement.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1866
1867 initEClass(typeDefinitionEClass, TypeDefinition.class, "TypeDefinition", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1868 initEReference(getTypeDefinition_Elements(), this.getDefinedElement(), this.getDefinedElement_DefinedInType(), "elements", null, 0, -1, TypeDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1869 initEReference(getTypeDefinition_Defines(), this.getTypeDeclaration(), null, "defines", null, 0, 1, TypeDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1870
1871 initEClass(typeReferenceEClass, TypeReference.class, "TypeReference", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1872
1873 initEClass(complexTypeReferenceEClass, ComplexTypeReference.class, "ComplexTypeReference", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1874 initEReference(getComplexTypeReference_Referred(), this.getType(), null, "referred", null, 0, 1, ComplexTypeReference.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1875
1876 initEClass(primitiveTypeReferenceEClass, PrimitiveTypeReference.class, "PrimitiveTypeReference", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1877
1878 initEClass(intTypeReferenceEClass, IntTypeReference.class, "IntTypeReference", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1879
1880 initEClass(boolTypeReferenceEClass, BoolTypeReference.class, "BoolTypeReference", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1881
1882 initEClass(realTypeReferenceEClass, RealTypeReference.class, "RealTypeReference", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1883
1884 initEClass(functionEClass, Function.class, "Function", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1885 initEReference(getFunction_Range(), this.getTypeReference(), null, "range", null, 1, 1, Function.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1886 initEReference(getFunction_Parameters(), this.getTypeReference(), null, "parameters", null, 0, -1, Function.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1887 initEReference(getFunction_Annotations(), theLogicproblemPackage.getFunctionAnnotation(), theLogicproblemPackage.getFunctionAnnotation_Target(), "annotations", null, 0, -1, Function.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1888
1889 initEClass(termEClass, Term.class, "Term", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1890
1891 initEClass(symbolicDeclarationEClass, SymbolicDeclaration.class, "SymbolicDeclaration", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1892 initEAttribute(getSymbolicDeclaration_Name(), ecorePackage.getEString(), "name", null, 1, 1, SymbolicDeclaration.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1893
1894 initEClass(symbolicValueEClass, SymbolicValue.class, "SymbolicValue", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1895 initEReference(getSymbolicValue_SymbolicReference(), this.getSymbolicDeclaration(), null, "symbolicReference", null, 0, 1, SymbolicValue.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1896 initEReference(getSymbolicValue_ParameterSubstitutions(), this.getTerm(), null, "parameterSubstitutions", null, 0, -1, SymbolicValue.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1897
1898 initEClass(atomicTermEClass, AtomicTerm.class, "AtomicTerm", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1899
1900 initEClass(intLiteralEClass, IntLiteral.class, "IntLiteral", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1901 initEAttribute(getIntLiteral_Value(), ecorePackage.getEInt(), "value", null, 0, 1, IntLiteral.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1902
1903 initEClass(boolLiteralEClass, BoolLiteral.class, "BoolLiteral", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1904 initEAttribute(getBoolLiteral_Value(), ecorePackage.getEBoolean(), "value", null, 0, 1, BoolLiteral.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1905
1906 initEClass(realLiteralEClass, RealLiteral.class, "RealLiteral", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1907 initEAttribute(getRealLiteral_Value(), ecorePackage.getEBigDecimal(), "value", null, 0, 1, RealLiteral.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1908
1909 initEClass(variableEClass, Variable.class, "Variable", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1910 initEReference(getVariable_Range(), this.getTypeReference(), null, "range", null, 1, 1, Variable.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1911
1912 initEClass(quantifiedExpressionEClass, QuantifiedExpression.class, "QuantifiedExpression", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1913 initEReference(getQuantifiedExpression_QuantifiedVariables(), this.getVariable(), null, "quantifiedVariables", null, 0, -1, QuantifiedExpression.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1914 initEReference(getQuantifiedExpression_Expression(), this.getTerm(), null, "expression", null, 0, 1, QuantifiedExpression.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1915
1916 initEClass(existsEClass, Exists.class, "Exists", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1917
1918 initEClass(forallEClass, Forall.class, "Forall", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1919
1920 initEClass(boolOperationEClass, BoolOperation.class, "BoolOperation", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1921
1922 initEClass(andEClass, And.class, "And", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1923 initEReference(getAnd_Operands(), this.getTerm(), null, "operands", null, 0, -1, And.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1924
1925 initEClass(orEClass, Or.class, "Or", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1926 initEReference(getOr_Operands(), this.getTerm(), null, "operands", null, 0, -1, Or.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1927
1928 initEClass(implEClass, Impl.class, "Impl", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1929 initEReference(getImpl_LeftOperand(), this.getTerm(), null, "leftOperand", null, 0, 1, Impl.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1930 initEReference(getImpl_RightOperand(), this.getTerm(), null, "rightOperand", null, 0, 1, Impl.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1931
1932 initEClass(notEClass, Not.class, "Not", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1933 initEReference(getNot_Operand(), this.getTerm(), null, "operand", null, 0, 1, Not.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1934
1935 initEClass(iffEClass, Iff.class, "Iff", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1936 initEReference(getIff_LeftOperand(), this.getTerm(), null, "leftOperand", null, 0, 1, Iff.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1937 initEReference(getIff_RightOperand(), this.getTerm(), null, "rightOperand", null, 0, 1, Iff.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1938
1939 initEClass(primitiveRelationEClass, PrimitiveRelation.class, "PrimitiveRelation", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1940
1941 initEClass(equalsEClass, Equals.class, "Equals", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1942 initEReference(getEquals_LeftOperand(), this.getTerm(), null, "leftOperand", null, 0, 1, Equals.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1943 initEReference(getEquals_RightOperand(), this.getTerm(), null, "rightOperand", null, 0, 1, Equals.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1944
1945 initEClass(distinctEClass, Distinct.class, "Distinct", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1946 initEReference(getDistinct_Operands(), this.getTerm(), null, "operands", null, 0, -1, Distinct.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1947
1948 initEClass(lessThanEClass, LessThan.class, "LessThan", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1949 initEReference(getLessThan_LeftOperand(), this.getTerm(), null, "leftOperand", null, 0, 1, LessThan.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1950 initEReference(getLessThan_RightOperand(), this.getTerm(), null, "rightOperand", null, 0, 1, LessThan.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1951
1952 initEClass(moreThanEClass, MoreThan.class, "MoreThan", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1953 initEReference(getMoreThan_LeftOperand(), this.getTerm(), null, "leftOperand", null, 0, 1, MoreThan.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1954 initEReference(getMoreThan_RightOperand(), this.getTerm(), null, "rightOperand", null, 0, 1, MoreThan.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1955
1956 initEClass(lessOrEqualThanEClass, LessOrEqualThan.class, "LessOrEqualThan", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1957 initEReference(getLessOrEqualThan_LeftOperand(), this.getTerm(), null, "leftOperand", null, 0, 1, LessOrEqualThan.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1958 initEReference(getLessOrEqualThan_RightOperand(), this.getTerm(), null, "rightOperand", null, 0, 1, LessOrEqualThan.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1959
1960 initEClass(moreOrEqualThanEClass, MoreOrEqualThan.class, "MoreOrEqualThan", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1961 initEReference(getMoreOrEqualThan_LeftOperand(), this.getTerm(), null, "leftOperand", null, 0, 1, MoreOrEqualThan.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1962 initEReference(getMoreOrEqualThan_RightOperand(), this.getTerm(), null, "rightOperand", null, 0, 1, MoreOrEqualThan.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1963
1964 initEClass(intOperationEClass, IntOperation.class, "IntOperation", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1965 initEReference(getIntOperation_LeftOperand(), this.getTerm(), null, "leftOperand", null, 0, 1, IntOperation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1966 initEReference(getIntOperation_RightOperand(), this.getTerm(), null, "rightOperand", null, 0, 1, IntOperation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1967
1968 initEClass(plusEClass, Plus.class, "Plus", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1969
1970 initEClass(minusEClass, Minus.class, "Minus", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1971
1972 initEClass(multiplyEClass, Multiply.class, "Multiply", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1973
1974 initEClass(divisonEClass, Divison.class, "Divison", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1975
1976 initEClass(modEClass, Mod.class, "Mod", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1977
1978 initEClass(typeDescriptorEClass, TypeDescriptor.class, "TypeDescriptor", IS_ABSTRACT, IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1979
1980 initEClass(termDescriptionEClass, TermDescription.class, "TermDescription", IS_ABSTRACT, IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1981
1982 initEClass(assertionEClass, Assertion.class, "Assertion", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1983 initEReference(getAssertion_Value(), this.getTerm(), null, "value", null, 1, 1, Assertion.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1984 initEAttribute(getAssertion_Name(), ecorePackage.getEString(), "name", null, 1, 1, Assertion.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1985 initEReference(getAssertion_Annotations(), theLogicproblemPackage.getAssertionAnnotation(), theLogicproblemPackage.getAssertionAnnotation_Target(), "annotations", null, 0, -1, Assertion.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1986
1987 initEClass(relationEClass, Relation.class, "Relation", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1988 initEReference(getRelation_Parameters(), this.getTypeReference(), null, "parameters", null, 0, -1, Relation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1989 initEReference(getRelation_Annotations(), theLogicproblemPackage.getRelationAnnotation(), theLogicproblemPackage.getRelationAnnotation_Target(), "annotations", null, 0, -1, Relation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1990
1991 initEClass(constantEClass, Constant.class, "Constant", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1992 initEReference(getConstant_Type(), this.getTypeReference(), null, "type", null, 1, 1, Constant.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1993 initEReference(getConstant_Annotations(), theLogicproblemPackage.getConstantAnnotation(), theLogicproblemPackage.getConstantAnnotation_Target(), "annotations", null, 0, -1, Constant.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1994
1995 initEClass(constantDefinitionEClass, ConstantDefinition.class, "ConstantDefinition", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1996 initEReference(getConstantDefinition_Value(), this.getTerm(), null, "value", null, 1, 1, ConstantDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1997 initEReference(getConstantDefinition_Defines(), this.getConstantDeclaration(), null, "defines", null, 0, 1, ConstantDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1998
1999 initEClass(relationDefinitionEClass, RelationDefinition.class, "RelationDefinition", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
2000 initEReference(getRelationDefinition_Variables(), this.getVariable(), null, "variables", null, 0, -1, RelationDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
2001 initEReference(getRelationDefinition_Value(), this.getTerm(), null, "value", null, 1, 1, RelationDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
2002 initEReference(getRelationDefinition_Defines(), this.getRelationDeclaration(), null, "defines", null, 0, 1, RelationDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
2003
2004 initEClass(functionDefinitionEClass, FunctionDefinition.class, "FunctionDefinition", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
2005 initEReference(getFunctionDefinition_Variable(), this.getVariable(), null, "variable", null, 0, -1, FunctionDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
2006 initEReference(getFunctionDefinition_Defines(), this.getFunctionDeclaration(), null, "defines", null, 0, 1, FunctionDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
2007 initEReference(getFunctionDefinition_Value(), this.getTerm(), null, "value", null, 1, 1, FunctionDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
2008
2009 initEClass(ifThenElseEClass, IfThenElse.class, "IfThenElse", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
2010 initEReference(getIfThenElse_Condition(), this.getTerm(), null, "condition", null, 1, 1, IfThenElse.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
2011 initEReference(getIfThenElse_IfTrue(), this.getTerm(), null, "ifTrue", null, 1, 1, IfThenElse.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
2012 initEReference(getIfThenElse_IfFalse(), this.getTerm(), null, "ifFalse", null, 1, 1, IfThenElse.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
2013
2014 initEClass(constantDeclarationEClass, ConstantDeclaration.class, "ConstantDeclaration", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
2015
2016 initEClass(relationDeclarationEClass, RelationDeclaration.class, "RelationDeclaration", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
2017
2018 initEClass(functionDeclarationEClass, FunctionDeclaration.class, "FunctionDeclaration", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
2019
2020 initEClass(typeDeclarationEClass, TypeDeclaration.class, "TypeDeclaration", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
2021
2022 initEClass(unknownBecauseUninterpretedEClass, UnknownBecauseUninterpreted.class, "UnknownBecauseUninterpreted", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
2023
2024 initEClass(instanceOfEClass, InstanceOf.class, "InstanceOf", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
2025 initEReference(getInstanceOf_Value(), this.getTerm(), null, "value", null, 1, 1, InstanceOf.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
2026 initEReference(getInstanceOf_Range(), this.getTypeReference(), null, "range", null, 1, 1, InstanceOf.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
2027
2028 // Create resource
2029 createResource(eNS_URI);
2030 }
2031
2032} //LogiclanguagePackageImpl
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-28 18:58:35 +0000