aboutsummaryrefslogtreecommitdiffstats
path: root/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/LogiclanguagePackage.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/LogiclanguagePackage.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/LogiclanguagePackage.java')
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/LogiclanguagePackage.java4830
1 files changed, 4830 insertions, 0 deletions
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/LogiclanguagePackage.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/LogiclanguagePackage.java
new file mode 100644
index 00000000..6965428b
--- /dev/null
+++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/LogiclanguagePackage.java
@@ -0,0 +1,4830 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage;
4
5import org.eclipse.emf.ecore.EAttribute;
6import org.eclipse.emf.ecore.EClass;
7import org.eclipse.emf.ecore.EPackage;
8import org.eclipse.emf.ecore.EReference;
9
10/**
11 * <!-- begin-user-doc -->
12 * The <b>Package</b> for the model.
13 * It contains accessors for the meta objects to represent
14 * <ul>
15 * <li>each class,</li>
16 * <li>each feature of each class,</li>
17 * <li>each operation of each class,</li>
18 * <li>each enum,</li>
19 * <li>and each data type</li>
20 * </ul>
21 * <!-- end-user-doc -->
22 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LogiclanguageFactory
23 * @model kind="package"
24 * @generated
25 */
26public interface LogiclanguagePackage extends EPackage {
27 /**
28 * The package name.
29 * <!-- begin-user-doc -->
30 * <!-- end-user-doc -->
31 * @generated
32 */
33 String eNAME = "logiclanguage";
34
35 /**
36 * The package namespace URI.
37 * <!-- begin-user-doc -->
38 * <!-- end-user-doc -->
39 * @generated
40 */
41 String eNS_URI = "http://www.bme.hu/mit/inf/dslreasoner/logic/model/language";
42
43 /**
44 * The package namespace name.
45 * <!-- begin-user-doc -->
46 * <!-- end-user-doc -->
47 * @generated
48 */
49 String eNS_PREFIX = "language";
50
51 /**
52 * The singleton instance of the package.
53 * <!-- begin-user-doc -->
54 * <!-- end-user-doc -->
55 * @generated
56 */
57 LogiclanguagePackage eINSTANCE = hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl.init();
58
59 /**
60 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TypeDescriptor <em>Type Descriptor</em>}' class.
61 * <!-- begin-user-doc -->
62 * <!-- end-user-doc -->
63 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TypeDescriptor
64 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getTypeDescriptor()
65 * @generated
66 */
67 int TYPE_DESCRIPTOR = 40;
68
69 /**
70 * The number of structural features of the '<em>Type Descriptor</em>' class.
71 * <!-- begin-user-doc -->
72 * <!-- end-user-doc -->
73 * @generated
74 * @ordered
75 */
76 int TYPE_DESCRIPTOR_FEATURE_COUNT = 0;
77
78 /**
79 * The number of operations of the '<em>Type Descriptor</em>' class.
80 * <!-- begin-user-doc -->
81 * <!-- end-user-doc -->
82 * @generated
83 * @ordered
84 */
85 int TYPE_DESCRIPTOR_OPERATION_COUNT = 0;
86
87 /**
88 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.TypeImpl <em>Type</em>}' class.
89 * <!-- begin-user-doc -->
90 * <!-- end-user-doc -->
91 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.TypeImpl
92 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getType()
93 * @generated
94 */
95 int TYPE = 0;
96
97 /**
98 * The feature id for the '<em><b>Name</b></em>' attribute.
99 * <!-- begin-user-doc -->
100 * <!-- end-user-doc -->
101 * @generated
102 * @ordered
103 */
104 int TYPE__NAME = TYPE_DESCRIPTOR_FEATURE_COUNT + 0;
105
106 /**
107 * The feature id for the '<em><b>Subtypes</b></em>' reference list.
108 * <!-- begin-user-doc -->
109 * <!-- end-user-doc -->
110 * @generated
111 * @ordered
112 */
113 int TYPE__SUBTYPES = TYPE_DESCRIPTOR_FEATURE_COUNT + 1;
114
115 /**
116 * The feature id for the '<em><b>Supertypes</b></em>' reference list.
117 * <!-- begin-user-doc -->
118 * <!-- end-user-doc -->
119 * @generated
120 * @ordered
121 */
122 int TYPE__SUPERTYPES = TYPE_DESCRIPTOR_FEATURE_COUNT + 2;
123
124 /**
125 * The feature id for the '<em><b>Is Abstract</b></em>' attribute.
126 * <!-- begin-user-doc -->
127 * <!-- end-user-doc -->
128 * @generated
129 * @ordered
130 */
131 int TYPE__IS_ABSTRACT = TYPE_DESCRIPTOR_FEATURE_COUNT + 3;
132
133 /**
134 * The number of structural features of the '<em>Type</em>' class.
135 * <!-- begin-user-doc -->
136 * <!-- end-user-doc -->
137 * @generated
138 * @ordered
139 */
140 int TYPE_FEATURE_COUNT = TYPE_DESCRIPTOR_FEATURE_COUNT + 4;
141
142 /**
143 * The number of operations of the '<em>Type</em>' class.
144 * <!-- begin-user-doc -->
145 * <!-- end-user-doc -->
146 * @generated
147 * @ordered
148 */
149 int TYPE_OPERATION_COUNT = TYPE_DESCRIPTOR_OPERATION_COUNT + 0;
150
151 /**
152 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TermDescription <em>Term Description</em>}' class.
153 * <!-- begin-user-doc -->
154 * <!-- end-user-doc -->
155 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TermDescription
156 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getTermDescription()
157 * @generated
158 */
159 int TERM_DESCRIPTION = 41;
160
161 /**
162 * The number of structural features of the '<em>Term Description</em>' class.
163 * <!-- begin-user-doc -->
164 * <!-- end-user-doc -->
165 * @generated
166 * @ordered
167 */
168 int TERM_DESCRIPTION_FEATURE_COUNT = 0;
169
170 /**
171 * The number of operations of the '<em>Term Description</em>' class.
172 * <!-- begin-user-doc -->
173 * <!-- end-user-doc -->
174 * @generated
175 * @ordered
176 */
177 int TERM_DESCRIPTION_OPERATION_COUNT = 0;
178
179 /**
180 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.SymbolicDeclarationImpl <em>Symbolic Declaration</em>}' class.
181 * <!-- begin-user-doc -->
182 * <!-- end-user-doc -->
183 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.SymbolicDeclarationImpl
184 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getSymbolicDeclaration()
185 * @generated
186 */
187 int SYMBOLIC_DECLARATION = 11;
188
189 /**
190 * The feature id for the '<em><b>Name</b></em>' attribute.
191 * <!-- begin-user-doc -->
192 * <!-- end-user-doc -->
193 * @generated
194 * @ordered
195 */
196 int SYMBOLIC_DECLARATION__NAME = TERM_DESCRIPTION_FEATURE_COUNT + 0;
197
198 /**
199 * The number of structural features of the '<em>Symbolic Declaration</em>' class.
200 * <!-- begin-user-doc -->
201 * <!-- end-user-doc -->
202 * @generated
203 * @ordered
204 */
205 int SYMBOLIC_DECLARATION_FEATURE_COUNT = TERM_DESCRIPTION_FEATURE_COUNT + 1;
206
207 /**
208 * The number of operations of the '<em>Symbolic Declaration</em>' class.
209 * <!-- begin-user-doc -->
210 * <!-- end-user-doc -->
211 * @generated
212 * @ordered
213 */
214 int SYMBOLIC_DECLARATION_OPERATION_COUNT = TERM_DESCRIPTION_OPERATION_COUNT + 0;
215
216 /**
217 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.DefinedElementImpl <em>Defined Element</em>}' class.
218 * <!-- begin-user-doc -->
219 * <!-- end-user-doc -->
220 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.DefinedElementImpl
221 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getDefinedElement()
222 * @generated
223 */
224 int DEFINED_ELEMENT = 1;
225
226 /**
227 * The feature id for the '<em><b>Name</b></em>' attribute.
228 * <!-- begin-user-doc -->
229 * <!-- end-user-doc -->
230 * @generated
231 * @ordered
232 */
233 int DEFINED_ELEMENT__NAME = SYMBOLIC_DECLARATION__NAME;
234
235 /**
236 * The feature id for the '<em><b>Defined In Type</b></em>' reference list.
237 * <!-- begin-user-doc -->
238 * <!-- end-user-doc -->
239 * @generated
240 * @ordered
241 */
242 int DEFINED_ELEMENT__DEFINED_IN_TYPE = SYMBOLIC_DECLARATION_FEATURE_COUNT + 0;
243
244 /**
245 * The number of structural features of the '<em>Defined Element</em>' class.
246 * <!-- begin-user-doc -->
247 * <!-- end-user-doc -->
248 * @generated
249 * @ordered
250 */
251 int DEFINED_ELEMENT_FEATURE_COUNT = SYMBOLIC_DECLARATION_FEATURE_COUNT + 1;
252
253 /**
254 * The number of operations of the '<em>Defined Element</em>' class.
255 * <!-- begin-user-doc -->
256 * <!-- end-user-doc -->
257 * @generated
258 * @ordered
259 */
260 int DEFINED_ELEMENT_OPERATION_COUNT = SYMBOLIC_DECLARATION_OPERATION_COUNT + 0;
261
262 /**
263 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.TypeDefinitionImpl <em>Type Definition</em>}' class.
264 * <!-- begin-user-doc -->
265 * <!-- end-user-doc -->
266 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.TypeDefinitionImpl
267 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getTypeDefinition()
268 * @generated
269 */
270 int TYPE_DEFINITION = 2;
271
272 /**
273 * The feature id for the '<em><b>Name</b></em>' attribute.
274 * <!-- begin-user-doc -->
275 * <!-- end-user-doc -->
276 * @generated
277 * @ordered
278 */
279 int TYPE_DEFINITION__NAME = TYPE__NAME;
280
281 /**
282 * The feature id for the '<em><b>Subtypes</b></em>' reference list.
283 * <!-- begin-user-doc -->
284 * <!-- end-user-doc -->
285 * @generated
286 * @ordered
287 */
288 int TYPE_DEFINITION__SUBTYPES = TYPE__SUBTYPES;
289
290 /**
291 * The feature id for the '<em><b>Supertypes</b></em>' reference list.
292 * <!-- begin-user-doc -->
293 * <!-- end-user-doc -->
294 * @generated
295 * @ordered
296 */
297 int TYPE_DEFINITION__SUPERTYPES = TYPE__SUPERTYPES;
298
299 /**
300 * The feature id for the '<em><b>Is Abstract</b></em>' attribute.
301 * <!-- begin-user-doc -->
302 * <!-- end-user-doc -->
303 * @generated
304 * @ordered
305 */
306 int TYPE_DEFINITION__IS_ABSTRACT = TYPE__IS_ABSTRACT;
307
308 /**
309 * The feature id for the '<em><b>Elements</b></em>' reference list.
310 * <!-- begin-user-doc -->
311 * <!-- end-user-doc -->
312 * @generated
313 * @ordered
314 */
315 int TYPE_DEFINITION__ELEMENTS = TYPE_FEATURE_COUNT + 0;
316
317 /**
318 * The feature id for the '<em><b>Defines</b></em>' reference.
319 * <!-- begin-user-doc -->
320 * <!-- end-user-doc -->
321 * @generated
322 * @ordered
323 */
324 int TYPE_DEFINITION__DEFINES = TYPE_FEATURE_COUNT + 1;
325
326 /**
327 * The number of structural features of the '<em>Type Definition</em>' class.
328 * <!-- begin-user-doc -->
329 * <!-- end-user-doc -->
330 * @generated
331 * @ordered
332 */
333 int TYPE_DEFINITION_FEATURE_COUNT = TYPE_FEATURE_COUNT + 2;
334
335 /**
336 * The number of operations of the '<em>Type Definition</em>' class.
337 * <!-- begin-user-doc -->
338 * <!-- end-user-doc -->
339 * @generated
340 * @ordered
341 */
342 int TYPE_DEFINITION_OPERATION_COUNT = TYPE_OPERATION_COUNT + 0;
343
344 /**
345 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.TypeReferenceImpl <em>Type Reference</em>}' class.
346 * <!-- begin-user-doc -->
347 * <!-- end-user-doc -->
348 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.TypeReferenceImpl
349 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getTypeReference()
350 * @generated
351 */
352 int TYPE_REFERENCE = 3;
353
354 /**
355 * The number of structural features of the '<em>Type Reference</em>' class.
356 * <!-- begin-user-doc -->
357 * <!-- end-user-doc -->
358 * @generated
359 * @ordered
360 */
361 int TYPE_REFERENCE_FEATURE_COUNT = TYPE_DESCRIPTOR_FEATURE_COUNT + 0;
362
363 /**
364 * The number of operations of the '<em>Type Reference</em>' class.
365 * <!-- begin-user-doc -->
366 * <!-- end-user-doc -->
367 * @generated
368 * @ordered
369 */
370 int TYPE_REFERENCE_OPERATION_COUNT = TYPE_DESCRIPTOR_OPERATION_COUNT + 0;
371
372 /**
373 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.ComplexTypeReferenceImpl <em>Complex Type Reference</em>}' class.
374 * <!-- begin-user-doc -->
375 * <!-- end-user-doc -->
376 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.ComplexTypeReferenceImpl
377 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getComplexTypeReference()
378 * @generated
379 */
380 int COMPLEX_TYPE_REFERENCE = 4;
381
382 /**
383 * The feature id for the '<em><b>Referred</b></em>' reference.
384 * <!-- begin-user-doc -->
385 * <!-- end-user-doc -->
386 * @generated
387 * @ordered
388 */
389 int COMPLEX_TYPE_REFERENCE__REFERRED = TYPE_REFERENCE_FEATURE_COUNT + 0;
390
391 /**
392 * The number of structural features of the '<em>Complex Type Reference</em>' class.
393 * <!-- begin-user-doc -->
394 * <!-- end-user-doc -->
395 * @generated
396 * @ordered
397 */
398 int COMPLEX_TYPE_REFERENCE_FEATURE_COUNT = TYPE_REFERENCE_FEATURE_COUNT + 1;
399
400 /**
401 * The number of operations of the '<em>Complex Type Reference</em>' class.
402 * <!-- begin-user-doc -->
403 * <!-- end-user-doc -->
404 * @generated
405 * @ordered
406 */
407 int COMPLEX_TYPE_REFERENCE_OPERATION_COUNT = TYPE_REFERENCE_OPERATION_COUNT + 0;
408
409 /**
410 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.PrimitiveTypeReferenceImpl <em>Primitive Type Reference</em>}' class.
411 * <!-- begin-user-doc -->
412 * <!-- end-user-doc -->
413 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.PrimitiveTypeReferenceImpl
414 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getPrimitiveTypeReference()
415 * @generated
416 */
417 int PRIMITIVE_TYPE_REFERENCE = 5;
418
419 /**
420 * The number of structural features of the '<em>Primitive Type Reference</em>' class.
421 * <!-- begin-user-doc -->
422 * <!-- end-user-doc -->
423 * @generated
424 * @ordered
425 */
426 int PRIMITIVE_TYPE_REFERENCE_FEATURE_COUNT = TYPE_REFERENCE_FEATURE_COUNT + 0;
427
428 /**
429 * The number of operations of the '<em>Primitive Type Reference</em>' class.
430 * <!-- begin-user-doc -->
431 * <!-- end-user-doc -->
432 * @generated
433 * @ordered
434 */
435 int PRIMITIVE_TYPE_REFERENCE_OPERATION_COUNT = TYPE_REFERENCE_OPERATION_COUNT + 0;
436
437 /**
438 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.IntTypeReferenceImpl <em>Int Type Reference</em>}' class.
439 * <!-- begin-user-doc -->
440 * <!-- end-user-doc -->
441 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.IntTypeReferenceImpl
442 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getIntTypeReference()
443 * @generated
444 */
445 int INT_TYPE_REFERENCE = 6;
446
447 /**
448 * The number of structural features of the '<em>Int Type Reference</em>' class.
449 * <!-- begin-user-doc -->
450 * <!-- end-user-doc -->
451 * @generated
452 * @ordered
453 */
454 int INT_TYPE_REFERENCE_FEATURE_COUNT = PRIMITIVE_TYPE_REFERENCE_FEATURE_COUNT + 0;
455
456 /**
457 * The number of operations of the '<em>Int Type Reference</em>' class.
458 * <!-- begin-user-doc -->
459 * <!-- end-user-doc -->
460 * @generated
461 * @ordered
462 */
463 int INT_TYPE_REFERENCE_OPERATION_COUNT = PRIMITIVE_TYPE_REFERENCE_OPERATION_COUNT + 0;
464
465 /**
466 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.BoolTypeReferenceImpl <em>Bool Type Reference</em>}' class.
467 * <!-- begin-user-doc -->
468 * <!-- end-user-doc -->
469 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.BoolTypeReferenceImpl
470 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getBoolTypeReference()
471 * @generated
472 */
473 int BOOL_TYPE_REFERENCE = 7;
474
475 /**
476 * The number of structural features of the '<em>Bool Type Reference</em>' class.
477 * <!-- begin-user-doc -->
478 * <!-- end-user-doc -->
479 * @generated
480 * @ordered
481 */
482 int BOOL_TYPE_REFERENCE_FEATURE_COUNT = PRIMITIVE_TYPE_REFERENCE_FEATURE_COUNT + 0;
483
484 /**
485 * The number of operations of the '<em>Bool Type Reference</em>' class.
486 * <!-- begin-user-doc -->
487 * <!-- end-user-doc -->
488 * @generated
489 * @ordered
490 */
491 int BOOL_TYPE_REFERENCE_OPERATION_COUNT = PRIMITIVE_TYPE_REFERENCE_OPERATION_COUNT + 0;
492
493 /**
494 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.RealTypeReferenceImpl <em>Real Type Reference</em>}' class.
495 * <!-- begin-user-doc -->
496 * <!-- end-user-doc -->
497 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.RealTypeReferenceImpl
498 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getRealTypeReference()
499 * @generated
500 */
501 int REAL_TYPE_REFERENCE = 8;
502
503 /**
504 * The number of structural features of the '<em>Real Type Reference</em>' class.
505 * <!-- begin-user-doc -->
506 * <!-- end-user-doc -->
507 * @generated
508 * @ordered
509 */
510 int REAL_TYPE_REFERENCE_FEATURE_COUNT = PRIMITIVE_TYPE_REFERENCE_FEATURE_COUNT + 0;
511
512 /**
513 * The number of operations of the '<em>Real Type Reference</em>' class.
514 * <!-- begin-user-doc -->
515 * <!-- end-user-doc -->
516 * @generated
517 * @ordered
518 */
519 int REAL_TYPE_REFERENCE_OPERATION_COUNT = PRIMITIVE_TYPE_REFERENCE_OPERATION_COUNT + 0;
520
521 /**
522 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.FunctionImpl <em>Function</em>}' class.
523 * <!-- begin-user-doc -->
524 * <!-- end-user-doc -->
525 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.FunctionImpl
526 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getFunction()
527 * @generated
528 */
529 int FUNCTION = 9;
530
531 /**
532 * The feature id for the '<em><b>Name</b></em>' attribute.
533 * <!-- begin-user-doc -->
534 * <!-- end-user-doc -->
535 * @generated
536 * @ordered
537 */
538 int FUNCTION__NAME = SYMBOLIC_DECLARATION__NAME;
539
540 /**
541 * The feature id for the '<em><b>Range</b></em>' containment reference.
542 * <!-- begin-user-doc -->
543 * <!-- end-user-doc -->
544 * @generated
545 * @ordered
546 */
547 int FUNCTION__RANGE = SYMBOLIC_DECLARATION_FEATURE_COUNT + 0;
548
549 /**
550 * The feature id for the '<em><b>Parameters</b></em>' containment reference list.
551 * <!-- begin-user-doc -->
552 * <!-- end-user-doc -->
553 * @generated
554 * @ordered
555 */
556 int FUNCTION__PARAMETERS = SYMBOLIC_DECLARATION_FEATURE_COUNT + 1;
557
558 /**
559 * The feature id for the '<em><b>Annotations</b></em>' reference list.
560 * <!-- begin-user-doc -->
561 * <!-- end-user-doc -->
562 * @generated
563 * @ordered
564 */
565 int FUNCTION__ANNOTATIONS = SYMBOLIC_DECLARATION_FEATURE_COUNT + 2;
566
567 /**
568 * The number of structural features of the '<em>Function</em>' class.
569 * <!-- begin-user-doc -->
570 * <!-- end-user-doc -->
571 * @generated
572 * @ordered
573 */
574 int FUNCTION_FEATURE_COUNT = SYMBOLIC_DECLARATION_FEATURE_COUNT + 3;
575
576 /**
577 * The number of operations of the '<em>Function</em>' class.
578 * <!-- begin-user-doc -->
579 * <!-- end-user-doc -->
580 * @generated
581 * @ordered
582 */
583 int FUNCTION_OPERATION_COUNT = SYMBOLIC_DECLARATION_OPERATION_COUNT + 0;
584
585 /**
586 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.TermImpl <em>Term</em>}' class.
587 * <!-- begin-user-doc -->
588 * <!-- end-user-doc -->
589 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.TermImpl
590 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getTerm()
591 * @generated
592 */
593 int TERM = 10;
594
595 /**
596 * The number of structural features of the '<em>Term</em>' class.
597 * <!-- begin-user-doc -->
598 * <!-- end-user-doc -->
599 * @generated
600 * @ordered
601 */
602 int TERM_FEATURE_COUNT = TERM_DESCRIPTION_FEATURE_COUNT + 0;
603
604 /**
605 * The number of operations of the '<em>Term</em>' class.
606 * <!-- begin-user-doc -->
607 * <!-- end-user-doc -->
608 * @generated
609 * @ordered
610 */
611 int TERM_OPERATION_COUNT = TERM_DESCRIPTION_OPERATION_COUNT + 0;
612
613 /**
614 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.SymbolicValueImpl <em>Symbolic Value</em>}' class.
615 * <!-- begin-user-doc -->
616 * <!-- end-user-doc -->
617 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.SymbolicValueImpl
618 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getSymbolicValue()
619 * @generated
620 */
621 int SYMBOLIC_VALUE = 12;
622
623 /**
624 * The feature id for the '<em><b>Symbolic Reference</b></em>' reference.
625 * <!-- begin-user-doc -->
626 * <!-- end-user-doc -->
627 * @generated
628 * @ordered
629 */
630 int SYMBOLIC_VALUE__SYMBOLIC_REFERENCE = TERM_FEATURE_COUNT + 0;
631
632 /**
633 * The feature id for the '<em><b>Parameter Substitutions</b></em>' containment reference list.
634 * <!-- begin-user-doc -->
635 * <!-- end-user-doc -->
636 * @generated
637 * @ordered
638 */
639 int SYMBOLIC_VALUE__PARAMETER_SUBSTITUTIONS = TERM_FEATURE_COUNT + 1;
640
641 /**
642 * The number of structural features of the '<em>Symbolic Value</em>' class.
643 * <!-- begin-user-doc -->
644 * <!-- end-user-doc -->
645 * @generated
646 * @ordered
647 */
648 int SYMBOLIC_VALUE_FEATURE_COUNT = TERM_FEATURE_COUNT + 2;
649
650 /**
651 * The number of operations of the '<em>Symbolic Value</em>' class.
652 * <!-- begin-user-doc -->
653 * <!-- end-user-doc -->
654 * @generated
655 * @ordered
656 */
657 int SYMBOLIC_VALUE_OPERATION_COUNT = TERM_OPERATION_COUNT + 0;
658
659 /**
660 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.AtomicTermImpl <em>Atomic Term</em>}' class.
661 * <!-- begin-user-doc -->
662 * <!-- end-user-doc -->
663 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.AtomicTermImpl
664 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getAtomicTerm()
665 * @generated
666 */
667 int ATOMIC_TERM = 13;
668
669 /**
670 * The number of structural features of the '<em>Atomic Term</em>' class.
671 * <!-- begin-user-doc -->
672 * <!-- end-user-doc -->
673 * @generated
674 * @ordered
675 */
676 int ATOMIC_TERM_FEATURE_COUNT = TERM_FEATURE_COUNT + 0;
677
678 /**
679 * The number of operations of the '<em>Atomic Term</em>' class.
680 * <!-- begin-user-doc -->
681 * <!-- end-user-doc -->
682 * @generated
683 * @ordered
684 */
685 int ATOMIC_TERM_OPERATION_COUNT = TERM_OPERATION_COUNT + 0;
686
687 /**
688 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.IntLiteralImpl <em>Int Literal</em>}' class.
689 * <!-- begin-user-doc -->
690 * <!-- end-user-doc -->
691 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.IntLiteralImpl
692 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getIntLiteral()
693 * @generated
694 */
695 int INT_LITERAL = 14;
696
697 /**
698 * The feature id for the '<em><b>Value</b></em>' attribute.
699 * <!-- begin-user-doc -->
700 * <!-- end-user-doc -->
701 * @generated
702 * @ordered
703 */
704 int INT_LITERAL__VALUE = ATOMIC_TERM_FEATURE_COUNT + 0;
705
706 /**
707 * The number of structural features of the '<em>Int Literal</em>' class.
708 * <!-- begin-user-doc -->
709 * <!-- end-user-doc -->
710 * @generated
711 * @ordered
712 */
713 int INT_LITERAL_FEATURE_COUNT = ATOMIC_TERM_FEATURE_COUNT + 1;
714
715 /**
716 * The number of operations of the '<em>Int Literal</em>' class.
717 * <!-- begin-user-doc -->
718 * <!-- end-user-doc -->
719 * @generated
720 * @ordered
721 */
722 int INT_LITERAL_OPERATION_COUNT = ATOMIC_TERM_OPERATION_COUNT + 0;
723
724 /**
725 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.BoolLiteralImpl <em>Bool Literal</em>}' class.
726 * <!-- begin-user-doc -->
727 * <!-- end-user-doc -->
728 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.BoolLiteralImpl
729 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getBoolLiteral()
730 * @generated
731 */
732 int BOOL_LITERAL = 15;
733
734 /**
735 * The feature id for the '<em><b>Value</b></em>' attribute.
736 * <!-- begin-user-doc -->
737 * <!-- end-user-doc -->
738 * @generated
739 * @ordered
740 */
741 int BOOL_LITERAL__VALUE = ATOMIC_TERM_FEATURE_COUNT + 0;
742
743 /**
744 * The number of structural features of the '<em>Bool Literal</em>' class.
745 * <!-- begin-user-doc -->
746 * <!-- end-user-doc -->
747 * @generated
748 * @ordered
749 */
750 int BOOL_LITERAL_FEATURE_COUNT = ATOMIC_TERM_FEATURE_COUNT + 1;
751
752 /**
753 * The number of operations of the '<em>Bool Literal</em>' class.
754 * <!-- begin-user-doc -->
755 * <!-- end-user-doc -->
756 * @generated
757 * @ordered
758 */
759 int BOOL_LITERAL_OPERATION_COUNT = ATOMIC_TERM_OPERATION_COUNT + 0;
760
761 /**
762 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.RealLiteralImpl <em>Real Literal</em>}' class.
763 * <!-- begin-user-doc -->
764 * <!-- end-user-doc -->
765 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.RealLiteralImpl
766 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getRealLiteral()
767 * @generated
768 */
769 int REAL_LITERAL = 16;
770
771 /**
772 * The feature id for the '<em><b>Value</b></em>' attribute.
773 * <!-- begin-user-doc -->
774 * <!-- end-user-doc -->
775 * @generated
776 * @ordered
777 */
778 int REAL_LITERAL__VALUE = ATOMIC_TERM_FEATURE_COUNT + 0;
779
780 /**
781 * The number of structural features of the '<em>Real Literal</em>' class.
782 * <!-- begin-user-doc -->
783 * <!-- end-user-doc -->
784 * @generated
785 * @ordered
786 */
787 int REAL_LITERAL_FEATURE_COUNT = ATOMIC_TERM_FEATURE_COUNT + 1;
788
789 /**
790 * The number of operations of the '<em>Real Literal</em>' class.
791 * <!-- begin-user-doc -->
792 * <!-- end-user-doc -->
793 * @generated
794 * @ordered
795 */
796 int REAL_LITERAL_OPERATION_COUNT = ATOMIC_TERM_OPERATION_COUNT + 0;
797
798 /**
799 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.VariableImpl <em>Variable</em>}' class.
800 * <!-- begin-user-doc -->
801 * <!-- end-user-doc -->
802 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.VariableImpl
803 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getVariable()
804 * @generated
805 */
806 int VARIABLE = 17;
807
808 /**
809 * The feature id for the '<em><b>Name</b></em>' attribute.
810 * <!-- begin-user-doc -->
811 * <!-- end-user-doc -->
812 * @generated
813 * @ordered
814 */
815 int VARIABLE__NAME = SYMBOLIC_DECLARATION__NAME;
816
817 /**
818 * The feature id for the '<em><b>Range</b></em>' containment reference.
819 * <!-- begin-user-doc -->
820 * <!-- end-user-doc -->
821 * @generated
822 * @ordered
823 */
824 int VARIABLE__RANGE = SYMBOLIC_DECLARATION_FEATURE_COUNT + 0;
825
826 /**
827 * The number of structural features of the '<em>Variable</em>' class.
828 * <!-- begin-user-doc -->
829 * <!-- end-user-doc -->
830 * @generated
831 * @ordered
832 */
833 int VARIABLE_FEATURE_COUNT = SYMBOLIC_DECLARATION_FEATURE_COUNT + 1;
834
835 /**
836 * The number of operations of the '<em>Variable</em>' class.
837 * <!-- begin-user-doc -->
838 * <!-- end-user-doc -->
839 * @generated
840 * @ordered
841 */
842 int VARIABLE_OPERATION_COUNT = SYMBOLIC_DECLARATION_OPERATION_COUNT + 0;
843
844 /**
845 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.QuantifiedExpressionImpl <em>Quantified Expression</em>}' class.
846 * <!-- begin-user-doc -->
847 * <!-- end-user-doc -->
848 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.QuantifiedExpressionImpl
849 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getQuantifiedExpression()
850 * @generated
851 */
852 int QUANTIFIED_EXPRESSION = 18;
853
854 /**
855 * The feature id for the '<em><b>Quantified Variables</b></em>' containment reference list.
856 * <!-- begin-user-doc -->
857 * <!-- end-user-doc -->
858 * @generated
859 * @ordered
860 */
861 int QUANTIFIED_EXPRESSION__QUANTIFIED_VARIABLES = TERM_FEATURE_COUNT + 0;
862
863 /**
864 * The feature id for the '<em><b>Expression</b></em>' containment reference.
865 * <!-- begin-user-doc -->
866 * <!-- end-user-doc -->
867 * @generated
868 * @ordered
869 */
870 int QUANTIFIED_EXPRESSION__EXPRESSION = TERM_FEATURE_COUNT + 1;
871
872 /**
873 * The number of structural features of the '<em>Quantified Expression</em>' class.
874 * <!-- begin-user-doc -->
875 * <!-- end-user-doc -->
876 * @generated
877 * @ordered
878 */
879 int QUANTIFIED_EXPRESSION_FEATURE_COUNT = TERM_FEATURE_COUNT + 2;
880
881 /**
882 * The number of operations of the '<em>Quantified Expression</em>' class.
883 * <!-- begin-user-doc -->
884 * <!-- end-user-doc -->
885 * @generated
886 * @ordered
887 */
888 int QUANTIFIED_EXPRESSION_OPERATION_COUNT = TERM_OPERATION_COUNT + 0;
889
890 /**
891 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.ExistsImpl <em>Exists</em>}' class.
892 * <!-- begin-user-doc -->
893 * <!-- end-user-doc -->
894 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.ExistsImpl
895 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getExists()
896 * @generated
897 */
898 int EXISTS = 19;
899
900 /**
901 * The feature id for the '<em><b>Quantified Variables</b></em>' containment reference list.
902 * <!-- begin-user-doc -->
903 * <!-- end-user-doc -->
904 * @generated
905 * @ordered
906 */
907 int EXISTS__QUANTIFIED_VARIABLES = QUANTIFIED_EXPRESSION__QUANTIFIED_VARIABLES;
908
909 /**
910 * The feature id for the '<em><b>Expression</b></em>' containment reference.
911 * <!-- begin-user-doc -->
912 * <!-- end-user-doc -->
913 * @generated
914 * @ordered
915 */
916 int EXISTS__EXPRESSION = QUANTIFIED_EXPRESSION__EXPRESSION;
917
918 /**
919 * The number of structural features of the '<em>Exists</em>' class.
920 * <!-- begin-user-doc -->
921 * <!-- end-user-doc -->
922 * @generated
923 * @ordered
924 */
925 int EXISTS_FEATURE_COUNT = QUANTIFIED_EXPRESSION_FEATURE_COUNT + 0;
926
927 /**
928 * The number of operations of the '<em>Exists</em>' class.
929 * <!-- begin-user-doc -->
930 * <!-- end-user-doc -->
931 * @generated
932 * @ordered
933 */
934 int EXISTS_OPERATION_COUNT = QUANTIFIED_EXPRESSION_OPERATION_COUNT + 0;
935
936 /**
937 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.ForallImpl <em>Forall</em>}' class.
938 * <!-- begin-user-doc -->
939 * <!-- end-user-doc -->
940 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.ForallImpl
941 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getForall()
942 * @generated
943 */
944 int FORALL = 20;
945
946 /**
947 * The feature id for the '<em><b>Quantified Variables</b></em>' containment reference list.
948 * <!-- begin-user-doc -->
949 * <!-- end-user-doc -->
950 * @generated
951 * @ordered
952 */
953 int FORALL__QUANTIFIED_VARIABLES = QUANTIFIED_EXPRESSION__QUANTIFIED_VARIABLES;
954
955 /**
956 * The feature id for the '<em><b>Expression</b></em>' containment reference.
957 * <!-- begin-user-doc -->
958 * <!-- end-user-doc -->
959 * @generated
960 * @ordered
961 */
962 int FORALL__EXPRESSION = QUANTIFIED_EXPRESSION__EXPRESSION;
963
964 /**
965 * The number of structural features of the '<em>Forall</em>' class.
966 * <!-- begin-user-doc -->
967 * <!-- end-user-doc -->
968 * @generated
969 * @ordered
970 */
971 int FORALL_FEATURE_COUNT = QUANTIFIED_EXPRESSION_FEATURE_COUNT + 0;
972
973 /**
974 * The number of operations of the '<em>Forall</em>' class.
975 * <!-- begin-user-doc -->
976 * <!-- end-user-doc -->
977 * @generated
978 * @ordered
979 */
980 int FORALL_OPERATION_COUNT = QUANTIFIED_EXPRESSION_OPERATION_COUNT + 0;
981
982 /**
983 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.BoolOperationImpl <em>Bool Operation</em>}' class.
984 * <!-- begin-user-doc -->
985 * <!-- end-user-doc -->
986 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.BoolOperationImpl
987 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getBoolOperation()
988 * @generated
989 */
990 int BOOL_OPERATION = 21;
991
992 /**
993 * The number of structural features of the '<em>Bool Operation</em>' class.
994 * <!-- begin-user-doc -->
995 * <!-- end-user-doc -->
996 * @generated
997 * @ordered
998 */
999 int BOOL_OPERATION_FEATURE_COUNT = TERM_FEATURE_COUNT + 0;
1000
1001 /**
1002 * The number of operations of the '<em>Bool Operation</em>' class.
1003 * <!-- begin-user-doc -->
1004 * <!-- end-user-doc -->
1005 * @generated
1006 * @ordered
1007 */
1008 int BOOL_OPERATION_OPERATION_COUNT = TERM_OPERATION_COUNT + 0;
1009
1010 /**
1011 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.AndImpl <em>And</em>}' class.
1012 * <!-- begin-user-doc -->
1013 * <!-- end-user-doc -->
1014 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.AndImpl
1015 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getAnd()
1016 * @generated
1017 */
1018 int AND = 22;
1019
1020 /**
1021 * The feature id for the '<em><b>Operands</b></em>' containment reference list.
1022 * <!-- begin-user-doc -->
1023 * <!-- end-user-doc -->
1024 * @generated
1025 * @ordered
1026 */
1027 int AND__OPERANDS = BOOL_OPERATION_FEATURE_COUNT + 0;
1028
1029 /**
1030 * The number of structural features of the '<em>And</em>' class.
1031 * <!-- begin-user-doc -->
1032 * <!-- end-user-doc -->
1033 * @generated
1034 * @ordered
1035 */
1036 int AND_FEATURE_COUNT = BOOL_OPERATION_FEATURE_COUNT + 1;
1037
1038 /**
1039 * The number of operations of the '<em>And</em>' class.
1040 * <!-- begin-user-doc -->
1041 * <!-- end-user-doc -->
1042 * @generated
1043 * @ordered
1044 */
1045 int AND_OPERATION_COUNT = BOOL_OPERATION_OPERATION_COUNT + 0;
1046
1047 /**
1048 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.OrImpl <em>Or</em>}' class.
1049 * <!-- begin-user-doc -->
1050 * <!-- end-user-doc -->
1051 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.OrImpl
1052 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getOr()
1053 * @generated
1054 */
1055 int OR = 23;
1056
1057 /**
1058 * The feature id for the '<em><b>Operands</b></em>' containment reference list.
1059 * <!-- begin-user-doc -->
1060 * <!-- end-user-doc -->
1061 * @generated
1062 * @ordered
1063 */
1064 int OR__OPERANDS = BOOL_OPERATION_FEATURE_COUNT + 0;
1065
1066 /**
1067 * The number of structural features of the '<em>Or</em>' class.
1068 * <!-- begin-user-doc -->
1069 * <!-- end-user-doc -->
1070 * @generated
1071 * @ordered
1072 */
1073 int OR_FEATURE_COUNT = BOOL_OPERATION_FEATURE_COUNT + 1;
1074
1075 /**
1076 * The number of operations of the '<em>Or</em>' class.
1077 * <!-- begin-user-doc -->
1078 * <!-- end-user-doc -->
1079 * @generated
1080 * @ordered
1081 */
1082 int OR_OPERATION_COUNT = BOOL_OPERATION_OPERATION_COUNT + 0;
1083
1084 /**
1085 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.ImplImpl <em>Impl</em>}' class.
1086 * <!-- begin-user-doc -->
1087 * <!-- end-user-doc -->
1088 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.ImplImpl
1089 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getImpl()
1090 * @generated
1091 */
1092 int IMPL = 24;
1093
1094 /**
1095 * The feature id for the '<em><b>Left Operand</b></em>' containment reference.
1096 * <!-- begin-user-doc -->
1097 * <!-- end-user-doc -->
1098 * @generated
1099 * @ordered
1100 */
1101 int IMPL__LEFT_OPERAND = BOOL_OPERATION_FEATURE_COUNT + 0;
1102
1103 /**
1104 * The feature id for the '<em><b>Right Operand</b></em>' containment reference.
1105 * <!-- begin-user-doc -->
1106 * <!-- end-user-doc -->
1107 * @generated
1108 * @ordered
1109 */
1110 int IMPL__RIGHT_OPERAND = BOOL_OPERATION_FEATURE_COUNT + 1;
1111
1112 /**
1113 * The number of structural features of the '<em>Impl</em>' class.
1114 * <!-- begin-user-doc -->
1115 * <!-- end-user-doc -->
1116 * @generated
1117 * @ordered
1118 */
1119 int IMPL_FEATURE_COUNT = BOOL_OPERATION_FEATURE_COUNT + 2;
1120
1121 /**
1122 * The number of operations of the '<em>Impl</em>' class.
1123 * <!-- begin-user-doc -->
1124 * <!-- end-user-doc -->
1125 * @generated
1126 * @ordered
1127 */
1128 int IMPL_OPERATION_COUNT = BOOL_OPERATION_OPERATION_COUNT + 0;
1129
1130 /**
1131 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.NotImpl <em>Not</em>}' class.
1132 * <!-- begin-user-doc -->
1133 * <!-- end-user-doc -->
1134 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.NotImpl
1135 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getNot()
1136 * @generated
1137 */
1138 int NOT = 25;
1139
1140 /**
1141 * The feature id for the '<em><b>Operand</b></em>' containment reference.
1142 * <!-- begin-user-doc -->
1143 * <!-- end-user-doc -->
1144 * @generated
1145 * @ordered
1146 */
1147 int NOT__OPERAND = BOOL_OPERATION_FEATURE_COUNT + 0;
1148
1149 /**
1150 * The number of structural features of the '<em>Not</em>' class.
1151 * <!-- begin-user-doc -->
1152 * <!-- end-user-doc -->
1153 * @generated
1154 * @ordered
1155 */
1156 int NOT_FEATURE_COUNT = BOOL_OPERATION_FEATURE_COUNT + 1;
1157
1158 /**
1159 * The number of operations of the '<em>Not</em>' class.
1160 * <!-- begin-user-doc -->
1161 * <!-- end-user-doc -->
1162 * @generated
1163 * @ordered
1164 */
1165 int NOT_OPERATION_COUNT = BOOL_OPERATION_OPERATION_COUNT + 0;
1166
1167 /**
1168 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.IffImpl <em>Iff</em>}' class.
1169 * <!-- begin-user-doc -->
1170 * <!-- end-user-doc -->
1171 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.IffImpl
1172 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getIff()
1173 * @generated
1174 */
1175 int IFF = 26;
1176
1177 /**
1178 * The feature id for the '<em><b>Left Operand</b></em>' containment reference.
1179 * <!-- begin-user-doc -->
1180 * <!-- end-user-doc -->
1181 * @generated
1182 * @ordered
1183 */
1184 int IFF__LEFT_OPERAND = BOOL_OPERATION_FEATURE_COUNT + 0;
1185
1186 /**
1187 * The feature id for the '<em><b>Right Operand</b></em>' containment reference.
1188 * <!-- begin-user-doc -->
1189 * <!-- end-user-doc -->
1190 * @generated
1191 * @ordered
1192 */
1193 int IFF__RIGHT_OPERAND = BOOL_OPERATION_FEATURE_COUNT + 1;
1194
1195 /**
1196 * The number of structural features of the '<em>Iff</em>' class.
1197 * <!-- begin-user-doc -->
1198 * <!-- end-user-doc -->
1199 * @generated
1200 * @ordered
1201 */
1202 int IFF_FEATURE_COUNT = BOOL_OPERATION_FEATURE_COUNT + 2;
1203
1204 /**
1205 * The number of operations of the '<em>Iff</em>' class.
1206 * <!-- begin-user-doc -->
1207 * <!-- end-user-doc -->
1208 * @generated
1209 * @ordered
1210 */
1211 int IFF_OPERATION_COUNT = BOOL_OPERATION_OPERATION_COUNT + 0;
1212
1213 /**
1214 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.PrimitiveRelationImpl <em>Primitive Relation</em>}' class.
1215 * <!-- begin-user-doc -->
1216 * <!-- end-user-doc -->
1217 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.PrimitiveRelationImpl
1218 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getPrimitiveRelation()
1219 * @generated
1220 */
1221 int PRIMITIVE_RELATION = 27;
1222
1223 /**
1224 * The number of structural features of the '<em>Primitive Relation</em>' class.
1225 * <!-- begin-user-doc -->
1226 * <!-- end-user-doc -->
1227 * @generated
1228 * @ordered
1229 */
1230 int PRIMITIVE_RELATION_FEATURE_COUNT = TERM_FEATURE_COUNT + 0;
1231
1232 /**
1233 * The number of operations of the '<em>Primitive Relation</em>' class.
1234 * <!-- begin-user-doc -->
1235 * <!-- end-user-doc -->
1236 * @generated
1237 * @ordered
1238 */
1239 int PRIMITIVE_RELATION_OPERATION_COUNT = TERM_OPERATION_COUNT + 0;
1240
1241 /**
1242 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.EqualsImpl <em>Equals</em>}' class.
1243 * <!-- begin-user-doc -->
1244 * <!-- end-user-doc -->
1245 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.EqualsImpl
1246 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getEquals()
1247 * @generated
1248 */
1249 int EQUALS = 28;
1250
1251 /**
1252 * The feature id for the '<em><b>Left Operand</b></em>' containment reference.
1253 * <!-- begin-user-doc -->
1254 * <!-- end-user-doc -->
1255 * @generated
1256 * @ordered
1257 */
1258 int EQUALS__LEFT_OPERAND = PRIMITIVE_RELATION_FEATURE_COUNT + 0;
1259
1260 /**
1261 * The feature id for the '<em><b>Right Operand</b></em>' containment reference.
1262 * <!-- begin-user-doc -->
1263 * <!-- end-user-doc -->
1264 * @generated
1265 * @ordered
1266 */
1267 int EQUALS__RIGHT_OPERAND = PRIMITIVE_RELATION_FEATURE_COUNT + 1;
1268
1269 /**
1270 * The number of structural features of the '<em>Equals</em>' class.
1271 * <!-- begin-user-doc -->
1272 * <!-- end-user-doc -->
1273 * @generated
1274 * @ordered
1275 */
1276 int EQUALS_FEATURE_COUNT = PRIMITIVE_RELATION_FEATURE_COUNT + 2;
1277
1278 /**
1279 * The number of operations of the '<em>Equals</em>' class.
1280 * <!-- begin-user-doc -->
1281 * <!-- end-user-doc -->
1282 * @generated
1283 * @ordered
1284 */
1285 int EQUALS_OPERATION_COUNT = PRIMITIVE_RELATION_OPERATION_COUNT + 0;
1286
1287 /**
1288 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.DistinctImpl <em>Distinct</em>}' class.
1289 * <!-- begin-user-doc -->
1290 * <!-- end-user-doc -->
1291 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.DistinctImpl
1292 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getDistinct()
1293 * @generated
1294 */
1295 int DISTINCT = 29;
1296
1297 /**
1298 * The feature id for the '<em><b>Operands</b></em>' containment reference list.
1299 * <!-- begin-user-doc -->
1300 * <!-- end-user-doc -->
1301 * @generated
1302 * @ordered
1303 */
1304 int DISTINCT__OPERANDS = PRIMITIVE_RELATION_FEATURE_COUNT + 0;
1305
1306 /**
1307 * The number of structural features of the '<em>Distinct</em>' class.
1308 * <!-- begin-user-doc -->
1309 * <!-- end-user-doc -->
1310 * @generated
1311 * @ordered
1312 */
1313 int DISTINCT_FEATURE_COUNT = PRIMITIVE_RELATION_FEATURE_COUNT + 1;
1314
1315 /**
1316 * The number of operations of the '<em>Distinct</em>' class.
1317 * <!-- begin-user-doc -->
1318 * <!-- end-user-doc -->
1319 * @generated
1320 * @ordered
1321 */
1322 int DISTINCT_OPERATION_COUNT = PRIMITIVE_RELATION_OPERATION_COUNT + 0;
1323
1324 /**
1325 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LessThanImpl <em>Less Than</em>}' class.
1326 * <!-- begin-user-doc -->
1327 * <!-- end-user-doc -->
1328 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LessThanImpl
1329 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getLessThan()
1330 * @generated
1331 */
1332 int LESS_THAN = 30;
1333
1334 /**
1335 * The feature id for the '<em><b>Left Operand</b></em>' containment reference.
1336 * <!-- begin-user-doc -->
1337 * <!-- end-user-doc -->
1338 * @generated
1339 * @ordered
1340 */
1341 int LESS_THAN__LEFT_OPERAND = PRIMITIVE_RELATION_FEATURE_COUNT + 0;
1342
1343 /**
1344 * The feature id for the '<em><b>Right Operand</b></em>' containment reference.
1345 * <!-- begin-user-doc -->
1346 * <!-- end-user-doc -->
1347 * @generated
1348 * @ordered
1349 */
1350 int LESS_THAN__RIGHT_OPERAND = PRIMITIVE_RELATION_FEATURE_COUNT + 1;
1351
1352 /**
1353 * The number of structural features of the '<em>Less Than</em>' class.
1354 * <!-- begin-user-doc -->
1355 * <!-- end-user-doc -->
1356 * @generated
1357 * @ordered
1358 */
1359 int LESS_THAN_FEATURE_COUNT = PRIMITIVE_RELATION_FEATURE_COUNT + 2;
1360
1361 /**
1362 * The number of operations of the '<em>Less Than</em>' class.
1363 * <!-- begin-user-doc -->
1364 * <!-- end-user-doc -->
1365 * @generated
1366 * @ordered
1367 */
1368 int LESS_THAN_OPERATION_COUNT = PRIMITIVE_RELATION_OPERATION_COUNT + 0;
1369
1370 /**
1371 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.MoreThanImpl <em>More Than</em>}' class.
1372 * <!-- begin-user-doc -->
1373 * <!-- end-user-doc -->
1374 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.MoreThanImpl
1375 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getMoreThan()
1376 * @generated
1377 */
1378 int MORE_THAN = 31;
1379
1380 /**
1381 * The feature id for the '<em><b>Left Operand</b></em>' containment reference.
1382 * <!-- begin-user-doc -->
1383 * <!-- end-user-doc -->
1384 * @generated
1385 * @ordered
1386 */
1387 int MORE_THAN__LEFT_OPERAND = PRIMITIVE_RELATION_FEATURE_COUNT + 0;
1388
1389 /**
1390 * The feature id for the '<em><b>Right Operand</b></em>' containment reference.
1391 * <!-- begin-user-doc -->
1392 * <!-- end-user-doc -->
1393 * @generated
1394 * @ordered
1395 */
1396 int MORE_THAN__RIGHT_OPERAND = PRIMITIVE_RELATION_FEATURE_COUNT + 1;
1397
1398 /**
1399 * The number of structural features of the '<em>More Than</em>' class.
1400 * <!-- begin-user-doc -->
1401 * <!-- end-user-doc -->
1402 * @generated
1403 * @ordered
1404 */
1405 int MORE_THAN_FEATURE_COUNT = PRIMITIVE_RELATION_FEATURE_COUNT + 2;
1406
1407 /**
1408 * The number of operations of the '<em>More Than</em>' class.
1409 * <!-- begin-user-doc -->
1410 * <!-- end-user-doc -->
1411 * @generated
1412 * @ordered
1413 */
1414 int MORE_THAN_OPERATION_COUNT = PRIMITIVE_RELATION_OPERATION_COUNT + 0;
1415
1416 /**
1417 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LessOrEqualThanImpl <em>Less Or Equal Than</em>}' class.
1418 * <!-- begin-user-doc -->
1419 * <!-- end-user-doc -->
1420 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LessOrEqualThanImpl
1421 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getLessOrEqualThan()
1422 * @generated
1423 */
1424 int LESS_OR_EQUAL_THAN = 32;
1425
1426 /**
1427 * The feature id for the '<em><b>Left Operand</b></em>' containment reference.
1428 * <!-- begin-user-doc -->
1429 * <!-- end-user-doc -->
1430 * @generated
1431 * @ordered
1432 */
1433 int LESS_OR_EQUAL_THAN__LEFT_OPERAND = PRIMITIVE_RELATION_FEATURE_COUNT + 0;
1434
1435 /**
1436 * The feature id for the '<em><b>Right Operand</b></em>' containment reference.
1437 * <!-- begin-user-doc -->
1438 * <!-- end-user-doc -->
1439 * @generated
1440 * @ordered
1441 */
1442 int LESS_OR_EQUAL_THAN__RIGHT_OPERAND = PRIMITIVE_RELATION_FEATURE_COUNT + 1;
1443
1444 /**
1445 * The number of structural features of the '<em>Less Or Equal Than</em>' class.
1446 * <!-- begin-user-doc -->
1447 * <!-- end-user-doc -->
1448 * @generated
1449 * @ordered
1450 */
1451 int LESS_OR_EQUAL_THAN_FEATURE_COUNT = PRIMITIVE_RELATION_FEATURE_COUNT + 2;
1452
1453 /**
1454 * The number of operations of the '<em>Less Or Equal Than</em>' class.
1455 * <!-- begin-user-doc -->
1456 * <!-- end-user-doc -->
1457 * @generated
1458 * @ordered
1459 */
1460 int LESS_OR_EQUAL_THAN_OPERATION_COUNT = PRIMITIVE_RELATION_OPERATION_COUNT + 0;
1461
1462 /**
1463 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.MoreOrEqualThanImpl <em>More Or Equal Than</em>}' class.
1464 * <!-- begin-user-doc -->
1465 * <!-- end-user-doc -->
1466 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.MoreOrEqualThanImpl
1467 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getMoreOrEqualThan()
1468 * @generated
1469 */
1470 int MORE_OR_EQUAL_THAN = 33;
1471
1472 /**
1473 * The feature id for the '<em><b>Left Operand</b></em>' containment reference.
1474 * <!-- begin-user-doc -->
1475 * <!-- end-user-doc -->
1476 * @generated
1477 * @ordered
1478 */
1479 int MORE_OR_EQUAL_THAN__LEFT_OPERAND = PRIMITIVE_RELATION_FEATURE_COUNT + 0;
1480
1481 /**
1482 * The feature id for the '<em><b>Right Operand</b></em>' containment reference.
1483 * <!-- begin-user-doc -->
1484 * <!-- end-user-doc -->
1485 * @generated
1486 * @ordered
1487 */
1488 int MORE_OR_EQUAL_THAN__RIGHT_OPERAND = PRIMITIVE_RELATION_FEATURE_COUNT + 1;
1489
1490 /**
1491 * The number of structural features of the '<em>More Or Equal Than</em>' class.
1492 * <!-- begin-user-doc -->
1493 * <!-- end-user-doc -->
1494 * @generated
1495 * @ordered
1496 */
1497 int MORE_OR_EQUAL_THAN_FEATURE_COUNT = PRIMITIVE_RELATION_FEATURE_COUNT + 2;
1498
1499 /**
1500 * The number of operations of the '<em>More Or Equal Than</em>' class.
1501 * <!-- begin-user-doc -->
1502 * <!-- end-user-doc -->
1503 * @generated
1504 * @ordered
1505 */
1506 int MORE_OR_EQUAL_THAN_OPERATION_COUNT = PRIMITIVE_RELATION_OPERATION_COUNT + 0;
1507
1508 /**
1509 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.IntOperationImpl <em>Int Operation</em>}' class.
1510 * <!-- begin-user-doc -->
1511 * <!-- end-user-doc -->
1512 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.IntOperationImpl
1513 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getIntOperation()
1514 * @generated
1515 */
1516 int INT_OPERATION = 34;
1517
1518 /**
1519 * The feature id for the '<em><b>Left Operand</b></em>' containment reference.
1520 * <!-- begin-user-doc -->
1521 * <!-- end-user-doc -->
1522 * @generated
1523 * @ordered
1524 */
1525 int INT_OPERATION__LEFT_OPERAND = TERM_FEATURE_COUNT + 0;
1526
1527 /**
1528 * The feature id for the '<em><b>Right Operand</b></em>' containment reference.
1529 * <!-- begin-user-doc -->
1530 * <!-- end-user-doc -->
1531 * @generated
1532 * @ordered
1533 */
1534 int INT_OPERATION__RIGHT_OPERAND = TERM_FEATURE_COUNT + 1;
1535
1536 /**
1537 * The number of structural features of the '<em>Int Operation</em>' class.
1538 * <!-- begin-user-doc -->
1539 * <!-- end-user-doc -->
1540 * @generated
1541 * @ordered
1542 */
1543 int INT_OPERATION_FEATURE_COUNT = TERM_FEATURE_COUNT + 2;
1544
1545 /**
1546 * The number of operations of the '<em>Int Operation</em>' class.
1547 * <!-- begin-user-doc -->
1548 * <!-- end-user-doc -->
1549 * @generated
1550 * @ordered
1551 */
1552 int INT_OPERATION_OPERATION_COUNT = TERM_OPERATION_COUNT + 0;
1553
1554 /**
1555 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.PlusImpl <em>Plus</em>}' class.
1556 * <!-- begin-user-doc -->
1557 * <!-- end-user-doc -->
1558 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.PlusImpl
1559 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getPlus()
1560 * @generated
1561 */
1562 int PLUS = 35;
1563
1564 /**
1565 * The feature id for the '<em><b>Left Operand</b></em>' containment reference.
1566 * <!-- begin-user-doc -->
1567 * <!-- end-user-doc -->
1568 * @generated
1569 * @ordered
1570 */
1571 int PLUS__LEFT_OPERAND = INT_OPERATION__LEFT_OPERAND;
1572
1573 /**
1574 * The feature id for the '<em><b>Right Operand</b></em>' containment reference.
1575 * <!-- begin-user-doc -->
1576 * <!-- end-user-doc -->
1577 * @generated
1578 * @ordered
1579 */
1580 int PLUS__RIGHT_OPERAND = INT_OPERATION__RIGHT_OPERAND;
1581
1582 /**
1583 * The number of structural features of the '<em>Plus</em>' class.
1584 * <!-- begin-user-doc -->
1585 * <!-- end-user-doc -->
1586 * @generated
1587 * @ordered
1588 */
1589 int PLUS_FEATURE_COUNT = INT_OPERATION_FEATURE_COUNT + 0;
1590
1591 /**
1592 * The number of operations of the '<em>Plus</em>' class.
1593 * <!-- begin-user-doc -->
1594 * <!-- end-user-doc -->
1595 * @generated
1596 * @ordered
1597 */
1598 int PLUS_OPERATION_COUNT = INT_OPERATION_OPERATION_COUNT + 0;
1599
1600 /**
1601 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.MinusImpl <em>Minus</em>}' class.
1602 * <!-- begin-user-doc -->
1603 * <!-- end-user-doc -->
1604 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.MinusImpl
1605 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getMinus()
1606 * @generated
1607 */
1608 int MINUS = 36;
1609
1610 /**
1611 * The feature id for the '<em><b>Left Operand</b></em>' containment reference.
1612 * <!-- begin-user-doc -->
1613 * <!-- end-user-doc -->
1614 * @generated
1615 * @ordered
1616 */
1617 int MINUS__LEFT_OPERAND = INT_OPERATION__LEFT_OPERAND;
1618
1619 /**
1620 * The feature id for the '<em><b>Right Operand</b></em>' containment reference.
1621 * <!-- begin-user-doc -->
1622 * <!-- end-user-doc -->
1623 * @generated
1624 * @ordered
1625 */
1626 int MINUS__RIGHT_OPERAND = INT_OPERATION__RIGHT_OPERAND;
1627
1628 /**
1629 * The number of structural features of the '<em>Minus</em>' class.
1630 * <!-- begin-user-doc -->
1631 * <!-- end-user-doc -->
1632 * @generated
1633 * @ordered
1634 */
1635 int MINUS_FEATURE_COUNT = INT_OPERATION_FEATURE_COUNT + 0;
1636
1637 /**
1638 * The number of operations of the '<em>Minus</em>' class.
1639 * <!-- begin-user-doc -->
1640 * <!-- end-user-doc -->
1641 * @generated
1642 * @ordered
1643 */
1644 int MINUS_OPERATION_COUNT = INT_OPERATION_OPERATION_COUNT + 0;
1645
1646 /**
1647 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.MultiplyImpl <em>Multiply</em>}' class.
1648 * <!-- begin-user-doc -->
1649 * <!-- end-user-doc -->
1650 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.MultiplyImpl
1651 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getMultiply()
1652 * @generated
1653 */
1654 int MULTIPLY = 37;
1655
1656 /**
1657 * The feature id for the '<em><b>Left Operand</b></em>' containment reference.
1658 * <!-- begin-user-doc -->
1659 * <!-- end-user-doc -->
1660 * @generated
1661 * @ordered
1662 */
1663 int MULTIPLY__LEFT_OPERAND = INT_OPERATION__LEFT_OPERAND;
1664
1665 /**
1666 * The feature id for the '<em><b>Right Operand</b></em>' containment reference.
1667 * <!-- begin-user-doc -->
1668 * <!-- end-user-doc -->
1669 * @generated
1670 * @ordered
1671 */
1672 int MULTIPLY__RIGHT_OPERAND = INT_OPERATION__RIGHT_OPERAND;
1673
1674 /**
1675 * The number of structural features of the '<em>Multiply</em>' class.
1676 * <!-- begin-user-doc -->
1677 * <!-- end-user-doc -->
1678 * @generated
1679 * @ordered
1680 */
1681 int MULTIPLY_FEATURE_COUNT = INT_OPERATION_FEATURE_COUNT + 0;
1682
1683 /**
1684 * The number of operations of the '<em>Multiply</em>' class.
1685 * <!-- begin-user-doc -->
1686 * <!-- end-user-doc -->
1687 * @generated
1688 * @ordered
1689 */
1690 int MULTIPLY_OPERATION_COUNT = INT_OPERATION_OPERATION_COUNT + 0;
1691
1692 /**
1693 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.DivisonImpl <em>Divison</em>}' class.
1694 * <!-- begin-user-doc -->
1695 * <!-- end-user-doc -->
1696 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.DivisonImpl
1697 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getDivison()
1698 * @generated
1699 */
1700 int DIVISON = 38;
1701
1702 /**
1703 * The feature id for the '<em><b>Left Operand</b></em>' containment reference.
1704 * <!-- begin-user-doc -->
1705 * <!-- end-user-doc -->
1706 * @generated
1707 * @ordered
1708 */
1709 int DIVISON__LEFT_OPERAND = INT_OPERATION__LEFT_OPERAND;
1710
1711 /**
1712 * The feature id for the '<em><b>Right Operand</b></em>' containment reference.
1713 * <!-- begin-user-doc -->
1714 * <!-- end-user-doc -->
1715 * @generated
1716 * @ordered
1717 */
1718 int DIVISON__RIGHT_OPERAND = INT_OPERATION__RIGHT_OPERAND;
1719
1720 /**
1721 * The number of structural features of the '<em>Divison</em>' class.
1722 * <!-- begin-user-doc -->
1723 * <!-- end-user-doc -->
1724 * @generated
1725 * @ordered
1726 */
1727 int DIVISON_FEATURE_COUNT = INT_OPERATION_FEATURE_COUNT + 0;
1728
1729 /**
1730 * The number of operations of the '<em>Divison</em>' class.
1731 * <!-- begin-user-doc -->
1732 * <!-- end-user-doc -->
1733 * @generated
1734 * @ordered
1735 */
1736 int DIVISON_OPERATION_COUNT = INT_OPERATION_OPERATION_COUNT + 0;
1737
1738 /**
1739 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.ModImpl <em>Mod</em>}' class.
1740 * <!-- begin-user-doc -->
1741 * <!-- end-user-doc -->
1742 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.ModImpl
1743 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getMod()
1744 * @generated
1745 */
1746 int MOD = 39;
1747
1748 /**
1749 * The feature id for the '<em><b>Left Operand</b></em>' containment reference.
1750 * <!-- begin-user-doc -->
1751 * <!-- end-user-doc -->
1752 * @generated
1753 * @ordered
1754 */
1755 int MOD__LEFT_OPERAND = INT_OPERATION__LEFT_OPERAND;
1756
1757 /**
1758 * The feature id for the '<em><b>Right Operand</b></em>' containment reference.
1759 * <!-- begin-user-doc -->
1760 * <!-- end-user-doc -->
1761 * @generated
1762 * @ordered
1763 */
1764 int MOD__RIGHT_OPERAND = INT_OPERATION__RIGHT_OPERAND;
1765
1766 /**
1767 * The number of structural features of the '<em>Mod</em>' class.
1768 * <!-- begin-user-doc -->
1769 * <!-- end-user-doc -->
1770 * @generated
1771 * @ordered
1772 */
1773 int MOD_FEATURE_COUNT = INT_OPERATION_FEATURE_COUNT + 0;
1774
1775 /**
1776 * The number of operations of the '<em>Mod</em>' class.
1777 * <!-- begin-user-doc -->
1778 * <!-- end-user-doc -->
1779 * @generated
1780 * @ordered
1781 */
1782 int MOD_OPERATION_COUNT = INT_OPERATION_OPERATION_COUNT + 0;
1783
1784 /**
1785 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.AssertionImpl <em>Assertion</em>}' class.
1786 * <!-- begin-user-doc -->
1787 * <!-- end-user-doc -->
1788 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.AssertionImpl
1789 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getAssertion()
1790 * @generated
1791 */
1792 int ASSERTION = 42;
1793
1794 /**
1795 * The feature id for the '<em><b>Value</b></em>' containment reference.
1796 * <!-- begin-user-doc -->
1797 * <!-- end-user-doc -->
1798 * @generated
1799 * @ordered
1800 */
1801 int ASSERTION__VALUE = 0;
1802
1803 /**
1804 * The feature id for the '<em><b>Name</b></em>' attribute.
1805 * <!-- begin-user-doc -->
1806 * <!-- end-user-doc -->
1807 * @generated
1808 * @ordered
1809 */
1810 int ASSERTION__NAME = 1;
1811
1812 /**
1813 * The feature id for the '<em><b>Annotations</b></em>' reference list.
1814 * <!-- begin-user-doc -->
1815 * <!-- end-user-doc -->
1816 * @generated
1817 * @ordered
1818 */
1819 int ASSERTION__ANNOTATIONS = 2;
1820
1821 /**
1822 * The number of structural features of the '<em>Assertion</em>' class.
1823 * <!-- begin-user-doc -->
1824 * <!-- end-user-doc -->
1825 * @generated
1826 * @ordered
1827 */
1828 int ASSERTION_FEATURE_COUNT = 3;
1829
1830 /**
1831 * The number of operations of the '<em>Assertion</em>' class.
1832 * <!-- begin-user-doc -->
1833 * <!-- end-user-doc -->
1834 * @generated
1835 * @ordered
1836 */
1837 int ASSERTION_OPERATION_COUNT = 0;
1838
1839 /**
1840 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.RelationImpl <em>Relation</em>}' class.
1841 * <!-- begin-user-doc -->
1842 * <!-- end-user-doc -->
1843 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.RelationImpl
1844 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getRelation()
1845 * @generated
1846 */
1847 int RELATION = 43;
1848
1849 /**
1850 * The feature id for the '<em><b>Name</b></em>' attribute.
1851 * <!-- begin-user-doc -->
1852 * <!-- end-user-doc -->
1853 * @generated
1854 * @ordered
1855 */
1856 int RELATION__NAME = SYMBOLIC_DECLARATION__NAME;
1857
1858 /**
1859 * The feature id for the '<em><b>Parameters</b></em>' containment reference list.
1860 * <!-- begin-user-doc -->
1861 * <!-- end-user-doc -->
1862 * @generated
1863 * @ordered
1864 */
1865 int RELATION__PARAMETERS = SYMBOLIC_DECLARATION_FEATURE_COUNT + 0;
1866
1867 /**
1868 * The feature id for the '<em><b>Annotations</b></em>' reference list.
1869 * <!-- begin-user-doc -->
1870 * <!-- end-user-doc -->
1871 * @generated
1872 * @ordered
1873 */
1874 int RELATION__ANNOTATIONS = SYMBOLIC_DECLARATION_FEATURE_COUNT + 1;
1875
1876 /**
1877 * The number of structural features of the '<em>Relation</em>' class.
1878 * <!-- begin-user-doc -->
1879 * <!-- end-user-doc -->
1880 * @generated
1881 * @ordered
1882 */
1883 int RELATION_FEATURE_COUNT = SYMBOLIC_DECLARATION_FEATURE_COUNT + 2;
1884
1885 /**
1886 * The number of operations of the '<em>Relation</em>' class.
1887 * <!-- begin-user-doc -->
1888 * <!-- end-user-doc -->
1889 * @generated
1890 * @ordered
1891 */
1892 int RELATION_OPERATION_COUNT = SYMBOLIC_DECLARATION_OPERATION_COUNT + 0;
1893
1894 /**
1895 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.ConstantImpl <em>Constant</em>}' class.
1896 * <!-- begin-user-doc -->
1897 * <!-- end-user-doc -->
1898 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.ConstantImpl
1899 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getConstant()
1900 * @generated
1901 */
1902 int CONSTANT = 44;
1903
1904 /**
1905 * The feature id for the '<em><b>Name</b></em>' attribute.
1906 * <!-- begin-user-doc -->
1907 * <!-- end-user-doc -->
1908 * @generated
1909 * @ordered
1910 */
1911 int CONSTANT__NAME = SYMBOLIC_DECLARATION__NAME;
1912
1913 /**
1914 * The feature id for the '<em><b>Type</b></em>' containment reference.
1915 * <!-- begin-user-doc -->
1916 * <!-- end-user-doc -->
1917 * @generated
1918 * @ordered
1919 */
1920 int CONSTANT__TYPE = SYMBOLIC_DECLARATION_FEATURE_COUNT + 0;
1921
1922 /**
1923 * The feature id for the '<em><b>Annotations</b></em>' reference list.
1924 * <!-- begin-user-doc -->
1925 * <!-- end-user-doc -->
1926 * @generated
1927 * @ordered
1928 */
1929 int CONSTANT__ANNOTATIONS = SYMBOLIC_DECLARATION_FEATURE_COUNT + 1;
1930
1931 /**
1932 * The number of structural features of the '<em>Constant</em>' class.
1933 * <!-- begin-user-doc -->
1934 * <!-- end-user-doc -->
1935 * @generated
1936 * @ordered
1937 */
1938 int CONSTANT_FEATURE_COUNT = SYMBOLIC_DECLARATION_FEATURE_COUNT + 2;
1939
1940 /**
1941 * The number of operations of the '<em>Constant</em>' class.
1942 * <!-- begin-user-doc -->
1943 * <!-- end-user-doc -->
1944 * @generated
1945 * @ordered
1946 */
1947 int CONSTANT_OPERATION_COUNT = SYMBOLIC_DECLARATION_OPERATION_COUNT + 0;
1948
1949 /**
1950 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.ConstantDefinitionImpl <em>Constant Definition</em>}' class.
1951 * <!-- begin-user-doc -->
1952 * <!-- end-user-doc -->
1953 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.ConstantDefinitionImpl
1954 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getConstantDefinition()
1955 * @generated
1956 */
1957 int CONSTANT_DEFINITION = 45;
1958
1959 /**
1960 * The feature id for the '<em><b>Name</b></em>' attribute.
1961 * <!-- begin-user-doc -->
1962 * <!-- end-user-doc -->
1963 * @generated
1964 * @ordered
1965 */
1966 int CONSTANT_DEFINITION__NAME = CONSTANT__NAME;
1967
1968 /**
1969 * The feature id for the '<em><b>Type</b></em>' containment reference.
1970 * <!-- begin-user-doc -->
1971 * <!-- end-user-doc -->
1972 * @generated
1973 * @ordered
1974 */
1975 int CONSTANT_DEFINITION__TYPE = CONSTANT__TYPE;
1976
1977 /**
1978 * The feature id for the '<em><b>Annotations</b></em>' reference list.
1979 * <!-- begin-user-doc -->
1980 * <!-- end-user-doc -->
1981 * @generated
1982 * @ordered
1983 */
1984 int CONSTANT_DEFINITION__ANNOTATIONS = CONSTANT__ANNOTATIONS;
1985
1986 /**
1987 * The feature id for the '<em><b>Value</b></em>' containment reference.
1988 * <!-- begin-user-doc -->
1989 * <!-- end-user-doc -->
1990 * @generated
1991 * @ordered
1992 */
1993 int CONSTANT_DEFINITION__VALUE = CONSTANT_FEATURE_COUNT + 0;
1994
1995 /**
1996 * The feature id for the '<em><b>Defines</b></em>' reference.
1997 * <!-- begin-user-doc -->
1998 * <!-- end-user-doc -->
1999 * @generated
2000 * @ordered
2001 */
2002 int CONSTANT_DEFINITION__DEFINES = CONSTANT_FEATURE_COUNT + 1;
2003
2004 /**
2005 * The number of structural features of the '<em>Constant Definition</em>' class.
2006 * <!-- begin-user-doc -->
2007 * <!-- end-user-doc -->
2008 * @generated
2009 * @ordered
2010 */
2011 int CONSTANT_DEFINITION_FEATURE_COUNT = CONSTANT_FEATURE_COUNT + 2;
2012
2013 /**
2014 * The number of operations of the '<em>Constant Definition</em>' class.
2015 * <!-- begin-user-doc -->
2016 * <!-- end-user-doc -->
2017 * @generated
2018 * @ordered
2019 */
2020 int CONSTANT_DEFINITION_OPERATION_COUNT = CONSTANT_OPERATION_COUNT + 0;
2021
2022 /**
2023 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.RelationDefinitionImpl <em>Relation Definition</em>}' class.
2024 * <!-- begin-user-doc -->
2025 * <!-- end-user-doc -->
2026 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.RelationDefinitionImpl
2027 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getRelationDefinition()
2028 * @generated
2029 */
2030 int RELATION_DEFINITION = 46;
2031
2032 /**
2033 * The feature id for the '<em><b>Name</b></em>' attribute.
2034 * <!-- begin-user-doc -->
2035 * <!-- end-user-doc -->
2036 * @generated
2037 * @ordered
2038 */
2039 int RELATION_DEFINITION__NAME = RELATION__NAME;
2040
2041 /**
2042 * The feature id for the '<em><b>Parameters</b></em>' containment reference list.
2043 * <!-- begin-user-doc -->
2044 * <!-- end-user-doc -->
2045 * @generated
2046 * @ordered
2047 */
2048 int RELATION_DEFINITION__PARAMETERS = RELATION__PARAMETERS;
2049
2050 /**
2051 * The feature id for the '<em><b>Annotations</b></em>' reference list.
2052 * <!-- begin-user-doc -->
2053 * <!-- end-user-doc -->
2054 * @generated
2055 * @ordered
2056 */
2057 int RELATION_DEFINITION__ANNOTATIONS = RELATION__ANNOTATIONS;
2058
2059 /**
2060 * The feature id for the '<em><b>Variables</b></em>' containment reference list.
2061 * <!-- begin-user-doc -->
2062 * <!-- end-user-doc -->
2063 * @generated
2064 * @ordered
2065 */
2066 int RELATION_DEFINITION__VARIABLES = RELATION_FEATURE_COUNT + 0;
2067
2068 /**
2069 * The feature id for the '<em><b>Value</b></em>' containment reference.
2070 * <!-- begin-user-doc -->
2071 * <!-- end-user-doc -->
2072 * @generated
2073 * @ordered
2074 */
2075 int RELATION_DEFINITION__VALUE = RELATION_FEATURE_COUNT + 1;
2076
2077 /**
2078 * The feature id for the '<em><b>Defines</b></em>' reference.
2079 * <!-- begin-user-doc -->
2080 * <!-- end-user-doc -->
2081 * @generated
2082 * @ordered
2083 */
2084 int RELATION_DEFINITION__DEFINES = RELATION_FEATURE_COUNT + 2;
2085
2086 /**
2087 * The number of structural features of the '<em>Relation Definition</em>' class.
2088 * <!-- begin-user-doc -->
2089 * <!-- end-user-doc -->
2090 * @generated
2091 * @ordered
2092 */
2093 int RELATION_DEFINITION_FEATURE_COUNT = RELATION_FEATURE_COUNT + 3;
2094
2095 /**
2096 * The number of operations of the '<em>Relation Definition</em>' class.
2097 * <!-- begin-user-doc -->
2098 * <!-- end-user-doc -->
2099 * @generated
2100 * @ordered
2101 */
2102 int RELATION_DEFINITION_OPERATION_COUNT = RELATION_OPERATION_COUNT + 0;
2103
2104 /**
2105 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.FunctionDefinitionImpl <em>Function Definition</em>}' class.
2106 * <!-- begin-user-doc -->
2107 * <!-- end-user-doc -->
2108 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.FunctionDefinitionImpl
2109 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getFunctionDefinition()
2110 * @generated
2111 */
2112 int FUNCTION_DEFINITION = 47;
2113
2114 /**
2115 * The feature id for the '<em><b>Name</b></em>' attribute.
2116 * <!-- begin-user-doc -->
2117 * <!-- end-user-doc -->
2118 * @generated
2119 * @ordered
2120 */
2121 int FUNCTION_DEFINITION__NAME = FUNCTION__NAME;
2122
2123 /**
2124 * The feature id for the '<em><b>Range</b></em>' containment reference.
2125 * <!-- begin-user-doc -->
2126 * <!-- end-user-doc -->
2127 * @generated
2128 * @ordered
2129 */
2130 int FUNCTION_DEFINITION__RANGE = FUNCTION__RANGE;
2131
2132 /**
2133 * The feature id for the '<em><b>Parameters</b></em>' containment reference list.
2134 * <!-- begin-user-doc -->
2135 * <!-- end-user-doc -->
2136 * @generated
2137 * @ordered
2138 */
2139 int FUNCTION_DEFINITION__PARAMETERS = FUNCTION__PARAMETERS;
2140
2141 /**
2142 * The feature id for the '<em><b>Annotations</b></em>' reference list.
2143 * <!-- begin-user-doc -->
2144 * <!-- end-user-doc -->
2145 * @generated
2146 * @ordered
2147 */
2148 int FUNCTION_DEFINITION__ANNOTATIONS = FUNCTION__ANNOTATIONS;
2149
2150 /**
2151 * The feature id for the '<em><b>Variable</b></em>' containment reference list.
2152 * <!-- begin-user-doc -->
2153 * <!-- end-user-doc -->
2154 * @generated
2155 * @ordered
2156 */
2157 int FUNCTION_DEFINITION__VARIABLE = FUNCTION_FEATURE_COUNT + 0;
2158
2159 /**
2160 * The feature id for the '<em><b>Defines</b></em>' reference.
2161 * <!-- begin-user-doc -->
2162 * <!-- end-user-doc -->
2163 * @generated
2164 * @ordered
2165 */
2166 int FUNCTION_DEFINITION__DEFINES = FUNCTION_FEATURE_COUNT + 1;
2167
2168 /**
2169 * The feature id for the '<em><b>Value</b></em>' containment reference.
2170 * <!-- begin-user-doc -->
2171 * <!-- end-user-doc -->
2172 * @generated
2173 * @ordered
2174 */
2175 int FUNCTION_DEFINITION__VALUE = FUNCTION_FEATURE_COUNT + 2;
2176
2177 /**
2178 * The number of structural features of the '<em>Function Definition</em>' class.
2179 * <!-- begin-user-doc -->
2180 * <!-- end-user-doc -->
2181 * @generated
2182 * @ordered
2183 */
2184 int FUNCTION_DEFINITION_FEATURE_COUNT = FUNCTION_FEATURE_COUNT + 3;
2185
2186 /**
2187 * The number of operations of the '<em>Function Definition</em>' class.
2188 * <!-- begin-user-doc -->
2189 * <!-- end-user-doc -->
2190 * @generated
2191 * @ordered
2192 */
2193 int FUNCTION_DEFINITION_OPERATION_COUNT = FUNCTION_OPERATION_COUNT + 0;
2194
2195 /**
2196 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.IfThenElseImpl <em>If Then Else</em>}' class.
2197 * <!-- begin-user-doc -->
2198 * <!-- end-user-doc -->
2199 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.IfThenElseImpl
2200 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getIfThenElse()
2201 * @generated
2202 */
2203 int IF_THEN_ELSE = 48;
2204
2205 /**
2206 * The feature id for the '<em><b>Condition</b></em>' containment reference.
2207 * <!-- begin-user-doc -->
2208 * <!-- end-user-doc -->
2209 * @generated
2210 * @ordered
2211 */
2212 int IF_THEN_ELSE__CONDITION = TERM_FEATURE_COUNT + 0;
2213
2214 /**
2215 * The feature id for the '<em><b>If True</b></em>' containment reference.
2216 * <!-- begin-user-doc -->
2217 * <!-- end-user-doc -->
2218 * @generated
2219 * @ordered
2220 */
2221 int IF_THEN_ELSE__IF_TRUE = TERM_FEATURE_COUNT + 1;
2222
2223 /**
2224 * The feature id for the '<em><b>If False</b></em>' containment reference.
2225 * <!-- begin-user-doc -->
2226 * <!-- end-user-doc -->
2227 * @generated
2228 * @ordered
2229 */
2230 int IF_THEN_ELSE__IF_FALSE = TERM_FEATURE_COUNT + 2;
2231
2232 /**
2233 * The number of structural features of the '<em>If Then Else</em>' class.
2234 * <!-- begin-user-doc -->
2235 * <!-- end-user-doc -->
2236 * @generated
2237 * @ordered
2238 */
2239 int IF_THEN_ELSE_FEATURE_COUNT = TERM_FEATURE_COUNT + 3;
2240
2241 /**
2242 * The number of operations of the '<em>If Then Else</em>' class.
2243 * <!-- begin-user-doc -->
2244 * <!-- end-user-doc -->
2245 * @generated
2246 * @ordered
2247 */
2248 int IF_THEN_ELSE_OPERATION_COUNT = TERM_OPERATION_COUNT + 0;
2249
2250 /**
2251 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.ConstantDeclarationImpl <em>Constant Declaration</em>}' class.
2252 * <!-- begin-user-doc -->
2253 * <!-- end-user-doc -->
2254 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.ConstantDeclarationImpl
2255 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getConstantDeclaration()
2256 * @generated
2257 */
2258 int CONSTANT_DECLARATION = 49;
2259
2260 /**
2261 * The feature id for the '<em><b>Name</b></em>' attribute.
2262 * <!-- begin-user-doc -->
2263 * <!-- end-user-doc -->
2264 * @generated
2265 * @ordered
2266 */
2267 int CONSTANT_DECLARATION__NAME = CONSTANT__NAME;
2268
2269 /**
2270 * The feature id for the '<em><b>Type</b></em>' containment reference.
2271 * <!-- begin-user-doc -->
2272 * <!-- end-user-doc -->
2273 * @generated
2274 * @ordered
2275 */
2276 int CONSTANT_DECLARATION__TYPE = CONSTANT__TYPE;
2277
2278 /**
2279 * The feature id for the '<em><b>Annotations</b></em>' reference list.
2280 * <!-- begin-user-doc -->
2281 * <!-- end-user-doc -->
2282 * @generated
2283 * @ordered
2284 */
2285 int CONSTANT_DECLARATION__ANNOTATIONS = CONSTANT__ANNOTATIONS;
2286
2287 /**
2288 * The number of structural features of the '<em>Constant Declaration</em>' class.
2289 * <!-- begin-user-doc -->
2290 * <!-- end-user-doc -->
2291 * @generated
2292 * @ordered
2293 */
2294 int CONSTANT_DECLARATION_FEATURE_COUNT = CONSTANT_FEATURE_COUNT + 0;
2295
2296 /**
2297 * The number of operations of the '<em>Constant Declaration</em>' class.
2298 * <!-- begin-user-doc -->
2299 * <!-- end-user-doc -->
2300 * @generated
2301 * @ordered
2302 */
2303 int CONSTANT_DECLARATION_OPERATION_COUNT = CONSTANT_OPERATION_COUNT + 0;
2304
2305 /**
2306 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.RelationDeclarationImpl <em>Relation Declaration</em>}' class.
2307 * <!-- begin-user-doc -->
2308 * <!-- end-user-doc -->
2309 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.RelationDeclarationImpl
2310 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getRelationDeclaration()
2311 * @generated
2312 */
2313 int RELATION_DECLARATION = 50;
2314
2315 /**
2316 * The feature id for the '<em><b>Name</b></em>' attribute.
2317 * <!-- begin-user-doc -->
2318 * <!-- end-user-doc -->
2319 * @generated
2320 * @ordered
2321 */
2322 int RELATION_DECLARATION__NAME = RELATION__NAME;
2323
2324 /**
2325 * The feature id for the '<em><b>Parameters</b></em>' containment reference list.
2326 * <!-- begin-user-doc -->
2327 * <!-- end-user-doc -->
2328 * @generated
2329 * @ordered
2330 */
2331 int RELATION_DECLARATION__PARAMETERS = RELATION__PARAMETERS;
2332
2333 /**
2334 * The feature id for the '<em><b>Annotations</b></em>' reference list.
2335 * <!-- begin-user-doc -->
2336 * <!-- end-user-doc -->
2337 * @generated
2338 * @ordered
2339 */
2340 int RELATION_DECLARATION__ANNOTATIONS = RELATION__ANNOTATIONS;
2341
2342 /**
2343 * The number of structural features of the '<em>Relation Declaration</em>' class.
2344 * <!-- begin-user-doc -->
2345 * <!-- end-user-doc -->
2346 * @generated
2347 * @ordered
2348 */
2349 int RELATION_DECLARATION_FEATURE_COUNT = RELATION_FEATURE_COUNT + 0;
2350
2351 /**
2352 * The number of operations of the '<em>Relation Declaration</em>' class.
2353 * <!-- begin-user-doc -->
2354 * <!-- end-user-doc -->
2355 * @generated
2356 * @ordered
2357 */
2358 int RELATION_DECLARATION_OPERATION_COUNT = RELATION_OPERATION_COUNT + 0;
2359
2360 /**
2361 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.FunctionDeclarationImpl <em>Function Declaration</em>}' class.
2362 * <!-- begin-user-doc -->
2363 * <!-- end-user-doc -->
2364 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.FunctionDeclarationImpl
2365 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getFunctionDeclaration()
2366 * @generated
2367 */
2368 int FUNCTION_DECLARATION = 51;
2369
2370 /**
2371 * The feature id for the '<em><b>Name</b></em>' attribute.
2372 * <!-- begin-user-doc -->
2373 * <!-- end-user-doc -->
2374 * @generated
2375 * @ordered
2376 */
2377 int FUNCTION_DECLARATION__NAME = FUNCTION__NAME;
2378
2379 /**
2380 * The feature id for the '<em><b>Range</b></em>' containment reference.
2381 * <!-- begin-user-doc -->
2382 * <!-- end-user-doc -->
2383 * @generated
2384 * @ordered
2385 */
2386 int FUNCTION_DECLARATION__RANGE = FUNCTION__RANGE;
2387
2388 /**
2389 * The feature id for the '<em><b>Parameters</b></em>' containment reference list.
2390 * <!-- begin-user-doc -->
2391 * <!-- end-user-doc -->
2392 * @generated
2393 * @ordered
2394 */
2395 int FUNCTION_DECLARATION__PARAMETERS = FUNCTION__PARAMETERS;
2396
2397 /**
2398 * The feature id for the '<em><b>Annotations</b></em>' reference list.
2399 * <!-- begin-user-doc -->
2400 * <!-- end-user-doc -->
2401 * @generated
2402 * @ordered
2403 */
2404 int FUNCTION_DECLARATION__ANNOTATIONS = FUNCTION__ANNOTATIONS;
2405
2406 /**
2407 * The number of structural features of the '<em>Function Declaration</em>' class.
2408 * <!-- begin-user-doc -->
2409 * <!-- end-user-doc -->
2410 * @generated
2411 * @ordered
2412 */
2413 int FUNCTION_DECLARATION_FEATURE_COUNT = FUNCTION_FEATURE_COUNT + 0;
2414
2415 /**
2416 * The number of operations of the '<em>Function Declaration</em>' class.
2417 * <!-- begin-user-doc -->
2418 * <!-- end-user-doc -->
2419 * @generated
2420 * @ordered
2421 */
2422 int FUNCTION_DECLARATION_OPERATION_COUNT = FUNCTION_OPERATION_COUNT + 0;
2423
2424 /**
2425 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.TypeDeclarationImpl <em>Type Declaration</em>}' class.
2426 * <!-- begin-user-doc -->
2427 * <!-- end-user-doc -->
2428 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.TypeDeclarationImpl
2429 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getTypeDeclaration()
2430 * @generated
2431 */
2432 int TYPE_DECLARATION = 52;
2433
2434 /**
2435 * The feature id for the '<em><b>Name</b></em>' attribute.
2436 * <!-- begin-user-doc -->
2437 * <!-- end-user-doc -->
2438 * @generated
2439 * @ordered
2440 */
2441 int TYPE_DECLARATION__NAME = TYPE__NAME;
2442
2443 /**
2444 * The feature id for the '<em><b>Subtypes</b></em>' reference list.
2445 * <!-- begin-user-doc -->
2446 * <!-- end-user-doc -->
2447 * @generated
2448 * @ordered
2449 */
2450 int TYPE_DECLARATION__SUBTYPES = TYPE__SUBTYPES;
2451
2452 /**
2453 * The feature id for the '<em><b>Supertypes</b></em>' reference list.
2454 * <!-- begin-user-doc -->
2455 * <!-- end-user-doc -->
2456 * @generated
2457 * @ordered
2458 */
2459 int TYPE_DECLARATION__SUPERTYPES = TYPE__SUPERTYPES;
2460
2461 /**
2462 * The feature id for the '<em><b>Is Abstract</b></em>' attribute.
2463 * <!-- begin-user-doc -->
2464 * <!-- end-user-doc -->
2465 * @generated
2466 * @ordered
2467 */
2468 int TYPE_DECLARATION__IS_ABSTRACT = TYPE__IS_ABSTRACT;
2469
2470 /**
2471 * The number of structural features of the '<em>Type Declaration</em>' class.
2472 * <!-- begin-user-doc -->
2473 * <!-- end-user-doc -->
2474 * @generated
2475 * @ordered
2476 */
2477 int TYPE_DECLARATION_FEATURE_COUNT = TYPE_FEATURE_COUNT + 0;
2478
2479 /**
2480 * The number of operations of the '<em>Type Declaration</em>' class.
2481 * <!-- begin-user-doc -->
2482 * <!-- end-user-doc -->
2483 * @generated
2484 * @ordered
2485 */
2486 int TYPE_DECLARATION_OPERATION_COUNT = TYPE_OPERATION_COUNT + 0;
2487
2488
2489 /**
2490 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.UnknownBecauseUninterpretedImpl <em>Unknown Because Uninterpreted</em>}' class.
2491 * <!-- begin-user-doc -->
2492 * <!-- end-user-doc -->
2493 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.UnknownBecauseUninterpretedImpl
2494 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getUnknownBecauseUninterpreted()
2495 * @generated
2496 */
2497 int UNKNOWN_BECAUSE_UNINTERPRETED = 53;
2498
2499 /**
2500 * The number of structural features of the '<em>Unknown Because Uninterpreted</em>' class.
2501 * <!-- begin-user-doc -->
2502 * <!-- end-user-doc -->
2503 * @generated
2504 * @ordered
2505 */
2506 int UNKNOWN_BECAUSE_UNINTERPRETED_FEATURE_COUNT = TERM_FEATURE_COUNT + 0;
2507
2508 /**
2509 * The number of operations of the '<em>Unknown Because Uninterpreted</em>' class.
2510 * <!-- begin-user-doc -->
2511 * <!-- end-user-doc -->
2512 * @generated
2513 * @ordered
2514 */
2515 int UNKNOWN_BECAUSE_UNINTERPRETED_OPERATION_COUNT = TERM_OPERATION_COUNT + 0;
2516
2517
2518 /**
2519 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.InstanceOfImpl <em>Instance Of</em>}' class.
2520 * <!-- begin-user-doc -->
2521 * <!-- end-user-doc -->
2522 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.InstanceOfImpl
2523 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getInstanceOf()
2524 * @generated
2525 */
2526 int INSTANCE_OF = 54;
2527
2528 /**
2529 * The feature id for the '<em><b>Value</b></em>' containment reference.
2530 * <!-- begin-user-doc -->
2531 * <!-- end-user-doc -->
2532 * @generated
2533 * @ordered
2534 */
2535 int INSTANCE_OF__VALUE = TERM_FEATURE_COUNT + 0;
2536
2537 /**
2538 * The feature id for the '<em><b>Range</b></em>' containment reference.
2539 * <!-- begin-user-doc -->
2540 * <!-- end-user-doc -->
2541 * @generated
2542 * @ordered
2543 */
2544 int INSTANCE_OF__RANGE = TERM_FEATURE_COUNT + 1;
2545
2546 /**
2547 * The number of structural features of the '<em>Instance Of</em>' class.
2548 * <!-- begin-user-doc -->
2549 * <!-- end-user-doc -->
2550 * @generated
2551 * @ordered
2552 */
2553 int INSTANCE_OF_FEATURE_COUNT = TERM_FEATURE_COUNT + 2;
2554
2555 /**
2556 * The number of operations of the '<em>Instance Of</em>' class.
2557 * <!-- begin-user-doc -->
2558 * <!-- end-user-doc -->
2559 * @generated
2560 * @ordered
2561 */
2562 int INSTANCE_OF_OPERATION_COUNT = TERM_OPERATION_COUNT + 0;
2563
2564
2565 /**
2566 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Type <em>Type</em>}'.
2567 * <!-- begin-user-doc -->
2568 * <!-- end-user-doc -->
2569 * @return the meta object for class '<em>Type</em>'.
2570 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Type
2571 * @generated
2572 */
2573 EClass getType();
2574
2575 /**
2576 * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Type#getName <em>Name</em>}'.
2577 * <!-- begin-user-doc -->
2578 * <!-- end-user-doc -->
2579 * @return the meta object for the attribute '<em>Name</em>'.
2580 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Type#getName()
2581 * @see #getType()
2582 * @generated
2583 */
2584 EAttribute getType_Name();
2585
2586 /**
2587 * Returns the meta object for the reference list '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Type#getSubtypes <em>Subtypes</em>}'.
2588 * <!-- begin-user-doc -->
2589 * <!-- end-user-doc -->
2590 * @return the meta object for the reference list '<em>Subtypes</em>'.
2591 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Type#getSubtypes()
2592 * @see #getType()
2593 * @generated
2594 */
2595 EReference getType_Subtypes();
2596
2597 /**
2598 * Returns the meta object for the reference list '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Type#getSupertypes <em>Supertypes</em>}'.
2599 * <!-- begin-user-doc -->
2600 * <!-- end-user-doc -->
2601 * @return the meta object for the reference list '<em>Supertypes</em>'.
2602 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Type#getSupertypes()
2603 * @see #getType()
2604 * @generated
2605 */
2606 EReference getType_Supertypes();
2607
2608 /**
2609 * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Type#isIsAbstract <em>Is Abstract</em>}'.
2610 * <!-- begin-user-doc -->
2611 * <!-- end-user-doc -->
2612 * @return the meta object for the attribute '<em>Is Abstract</em>'.
2613 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Type#isIsAbstract()
2614 * @see #getType()
2615 * @generated
2616 */
2617 EAttribute getType_IsAbstract();
2618
2619 /**
2620 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement <em>Defined Element</em>}'.
2621 * <!-- begin-user-doc -->
2622 * <!-- end-user-doc -->
2623 * @return the meta object for class '<em>Defined Element</em>'.
2624 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement
2625 * @generated
2626 */
2627 EClass getDefinedElement();
2628
2629 /**
2630 * Returns the meta object for the reference list '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement#getDefinedInType <em>Defined In Type</em>}'.
2631 * <!-- begin-user-doc -->
2632 * <!-- end-user-doc -->
2633 * @return the meta object for the reference list '<em>Defined In Type</em>'.
2634 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement#getDefinedInType()
2635 * @see #getDefinedElement()
2636 * @generated
2637 */
2638 EReference getDefinedElement_DefinedInType();
2639
2640 /**
2641 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TypeDefinition <em>Type Definition</em>}'.
2642 * <!-- begin-user-doc -->
2643 * <!-- end-user-doc -->
2644 * @return the meta object for class '<em>Type Definition</em>'.
2645 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TypeDefinition
2646 * @generated
2647 */
2648 EClass getTypeDefinition();
2649
2650 /**
2651 * Returns the meta object for the reference list '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TypeDefinition#getElements <em>Elements</em>}'.
2652 * <!-- begin-user-doc -->
2653 * <!-- end-user-doc -->
2654 * @return the meta object for the reference list '<em>Elements</em>'.
2655 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TypeDefinition#getElements()
2656 * @see #getTypeDefinition()
2657 * @generated
2658 */
2659 EReference getTypeDefinition_Elements();
2660
2661 /**
2662 * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TypeDefinition#getDefines <em>Defines</em>}'.
2663 * <!-- begin-user-doc -->
2664 * <!-- end-user-doc -->
2665 * @return the meta object for the reference '<em>Defines</em>'.
2666 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TypeDefinition#getDefines()
2667 * @see #getTypeDefinition()
2668 * @generated
2669 */
2670 EReference getTypeDefinition_Defines();
2671
2672 /**
2673 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TypeReference <em>Type Reference</em>}'.
2674 * <!-- begin-user-doc -->
2675 * <!-- end-user-doc -->
2676 * @return the meta object for class '<em>Type Reference</em>'.
2677 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TypeReference
2678 * @generated
2679 */
2680 EClass getTypeReference();
2681
2682 /**
2683 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.ComplexTypeReference <em>Complex Type Reference</em>}'.
2684 * <!-- begin-user-doc -->
2685 * <!-- end-user-doc -->
2686 * @return the meta object for class '<em>Complex Type Reference</em>'.
2687 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.ComplexTypeReference
2688 * @generated
2689 */
2690 EClass getComplexTypeReference();
2691
2692 /**
2693 * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.ComplexTypeReference#getReferred <em>Referred</em>}'.
2694 * <!-- begin-user-doc -->
2695 * <!-- end-user-doc -->
2696 * @return the meta object for the reference '<em>Referred</em>'.
2697 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.ComplexTypeReference#getReferred()
2698 * @see #getComplexTypeReference()
2699 * @generated
2700 */
2701 EReference getComplexTypeReference_Referred();
2702
2703 /**
2704 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.PrimitiveTypeReference <em>Primitive Type Reference</em>}'.
2705 * <!-- begin-user-doc -->
2706 * <!-- end-user-doc -->
2707 * @return the meta object for class '<em>Primitive Type Reference</em>'.
2708 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.PrimitiveTypeReference
2709 * @generated
2710 */
2711 EClass getPrimitiveTypeReference();
2712
2713 /**
2714 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.IntTypeReference <em>Int Type Reference</em>}'.
2715 * <!-- begin-user-doc -->
2716 * <!-- end-user-doc -->
2717 * @return the meta object for class '<em>Int Type Reference</em>'.
2718 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.IntTypeReference
2719 * @generated
2720 */
2721 EClass getIntTypeReference();
2722
2723 /**
2724 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.BoolTypeReference <em>Bool Type Reference</em>}'.
2725 * <!-- begin-user-doc -->
2726 * <!-- end-user-doc -->
2727 * @return the meta object for class '<em>Bool Type Reference</em>'.
2728 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.BoolTypeReference
2729 * @generated
2730 */
2731 EClass getBoolTypeReference();
2732
2733 /**
2734 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.RealTypeReference <em>Real Type Reference</em>}'.
2735 * <!-- begin-user-doc -->
2736 * <!-- end-user-doc -->
2737 * @return the meta object for class '<em>Real Type Reference</em>'.
2738 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.RealTypeReference
2739 * @generated
2740 */
2741 EClass getRealTypeReference();
2742
2743 /**
2744 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Function <em>Function</em>}'.
2745 * <!-- begin-user-doc -->
2746 * <!-- end-user-doc -->
2747 * @return the meta object for class '<em>Function</em>'.
2748 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Function
2749 * @generated
2750 */
2751 EClass getFunction();
2752
2753 /**
2754 * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Function#getRange <em>Range</em>}'.
2755 * <!-- begin-user-doc -->
2756 * <!-- end-user-doc -->
2757 * @return the meta object for the containment reference '<em>Range</em>'.
2758 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Function#getRange()
2759 * @see #getFunction()
2760 * @generated
2761 */
2762 EReference getFunction_Range();
2763
2764 /**
2765 * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Function#getParameters <em>Parameters</em>}'.
2766 * <!-- begin-user-doc -->
2767 * <!-- end-user-doc -->
2768 * @return the meta object for the containment reference list '<em>Parameters</em>'.
2769 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Function#getParameters()
2770 * @see #getFunction()
2771 * @generated
2772 */
2773 EReference getFunction_Parameters();
2774
2775 /**
2776 * Returns the meta object for the reference list '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Function#getAnnotations <em>Annotations</em>}'.
2777 * <!-- begin-user-doc -->
2778 * <!-- end-user-doc -->
2779 * @return the meta object for the reference list '<em>Annotations</em>'.
2780 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Function#getAnnotations()
2781 * @see #getFunction()
2782 * @generated
2783 */
2784 EReference getFunction_Annotations();
2785
2786 /**
2787 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Term <em>Term</em>}'.
2788 * <!-- begin-user-doc -->
2789 * <!-- end-user-doc -->
2790 * @return the meta object for class '<em>Term</em>'.
2791 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Term
2792 * @generated
2793 */
2794 EClass getTerm();
2795
2796 /**
2797 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.SymbolicDeclaration <em>Symbolic Declaration</em>}'.
2798 * <!-- begin-user-doc -->
2799 * <!-- end-user-doc -->
2800 * @return the meta object for class '<em>Symbolic Declaration</em>'.
2801 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.SymbolicDeclaration
2802 * @generated
2803 */
2804 EClass getSymbolicDeclaration();
2805
2806 /**
2807 * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.SymbolicDeclaration#getName <em>Name</em>}'.
2808 * <!-- begin-user-doc -->
2809 * <!-- end-user-doc -->
2810 * @return the meta object for the attribute '<em>Name</em>'.
2811 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.SymbolicDeclaration#getName()
2812 * @see #getSymbolicDeclaration()
2813 * @generated
2814 */
2815 EAttribute getSymbolicDeclaration_Name();
2816
2817 /**
2818 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.SymbolicValue <em>Symbolic Value</em>}'.
2819 * <!-- begin-user-doc -->
2820 * <!-- end-user-doc -->
2821 * @return the meta object for class '<em>Symbolic Value</em>'.
2822 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.SymbolicValue
2823 * @generated
2824 */
2825 EClass getSymbolicValue();
2826
2827 /**
2828 * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.SymbolicValue#getSymbolicReference <em>Symbolic Reference</em>}'.
2829 * <!-- begin-user-doc -->
2830 * <!-- end-user-doc -->
2831 * @return the meta object for the reference '<em>Symbolic Reference</em>'.
2832 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.SymbolicValue#getSymbolicReference()
2833 * @see #getSymbolicValue()
2834 * @generated
2835 */
2836 EReference getSymbolicValue_SymbolicReference();
2837
2838 /**
2839 * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.SymbolicValue#getParameterSubstitutions <em>Parameter Substitutions</em>}'.
2840 * <!-- begin-user-doc -->
2841 * <!-- end-user-doc -->
2842 * @return the meta object for the containment reference list '<em>Parameter Substitutions</em>'.
2843 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.SymbolicValue#getParameterSubstitutions()
2844 * @see #getSymbolicValue()
2845 * @generated
2846 */
2847 EReference getSymbolicValue_ParameterSubstitutions();
2848
2849 /**
2850 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.AtomicTerm <em>Atomic Term</em>}'.
2851 * <!-- begin-user-doc -->
2852 * <!-- end-user-doc -->
2853 * @return the meta object for class '<em>Atomic Term</em>'.
2854 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.AtomicTerm
2855 * @generated
2856 */
2857 EClass getAtomicTerm();
2858
2859 /**
2860 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.IntLiteral <em>Int Literal</em>}'.
2861 * <!-- begin-user-doc -->
2862 * <!-- end-user-doc -->
2863 * @return the meta object for class '<em>Int Literal</em>'.
2864 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.IntLiteral
2865 * @generated
2866 */
2867 EClass getIntLiteral();
2868
2869 /**
2870 * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.IntLiteral#getValue <em>Value</em>}'.
2871 * <!-- begin-user-doc -->
2872 * <!-- end-user-doc -->
2873 * @return the meta object for the attribute '<em>Value</em>'.
2874 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.IntLiteral#getValue()
2875 * @see #getIntLiteral()
2876 * @generated
2877 */
2878 EAttribute getIntLiteral_Value();
2879
2880 /**
2881 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.BoolLiteral <em>Bool Literal</em>}'.
2882 * <!-- begin-user-doc -->
2883 * <!-- end-user-doc -->
2884 * @return the meta object for class '<em>Bool Literal</em>'.
2885 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.BoolLiteral
2886 * @generated
2887 */
2888 EClass getBoolLiteral();
2889
2890 /**
2891 * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.BoolLiteral#isValue <em>Value</em>}'.
2892 * <!-- begin-user-doc -->
2893 * <!-- end-user-doc -->
2894 * @return the meta object for the attribute '<em>Value</em>'.
2895 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.BoolLiteral#isValue()
2896 * @see #getBoolLiteral()
2897 * @generated
2898 */
2899 EAttribute getBoolLiteral_Value();
2900
2901 /**
2902 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.RealLiteral <em>Real Literal</em>}'.
2903 * <!-- begin-user-doc -->
2904 * <!-- end-user-doc -->
2905 * @return the meta object for class '<em>Real Literal</em>'.
2906 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.RealLiteral
2907 * @generated
2908 */
2909 EClass getRealLiteral();
2910
2911 /**
2912 * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.RealLiteral#getValue <em>Value</em>}'.
2913 * <!-- begin-user-doc -->
2914 * <!-- end-user-doc -->
2915 * @return the meta object for the attribute '<em>Value</em>'.
2916 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.RealLiteral#getValue()
2917 * @see #getRealLiteral()
2918 * @generated
2919 */
2920 EAttribute getRealLiteral_Value();
2921
2922 /**
2923 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Variable <em>Variable</em>}'.
2924 * <!-- begin-user-doc -->
2925 * <!-- end-user-doc -->
2926 * @return the meta object for class '<em>Variable</em>'.
2927 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Variable
2928 * @generated
2929 */
2930 EClass getVariable();
2931
2932 /**
2933 * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Variable#getRange <em>Range</em>}'.
2934 * <!-- begin-user-doc -->
2935 * <!-- end-user-doc -->
2936 * @return the meta object for the containment reference '<em>Range</em>'.
2937 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Variable#getRange()
2938 * @see #getVariable()
2939 * @generated
2940 */
2941 EReference getVariable_Range();
2942
2943 /**
2944 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.QuantifiedExpression <em>Quantified Expression</em>}'.
2945 * <!-- begin-user-doc -->
2946 * <!-- end-user-doc -->
2947 * @return the meta object for class '<em>Quantified Expression</em>'.
2948 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.QuantifiedExpression
2949 * @generated
2950 */
2951 EClass getQuantifiedExpression();
2952
2953 /**
2954 * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.QuantifiedExpression#getQuantifiedVariables <em>Quantified Variables</em>}'.
2955 * <!-- begin-user-doc -->
2956 * <!-- end-user-doc -->
2957 * @return the meta object for the containment reference list '<em>Quantified Variables</em>'.
2958 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.QuantifiedExpression#getQuantifiedVariables()
2959 * @see #getQuantifiedExpression()
2960 * @generated
2961 */
2962 EReference getQuantifiedExpression_QuantifiedVariables();
2963
2964 /**
2965 * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.QuantifiedExpression#getExpression <em>Expression</em>}'.
2966 * <!-- begin-user-doc -->
2967 * <!-- end-user-doc -->
2968 * @return the meta object for the containment reference '<em>Expression</em>'.
2969 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.QuantifiedExpression#getExpression()
2970 * @see #getQuantifiedExpression()
2971 * @generated
2972 */
2973 EReference getQuantifiedExpression_Expression();
2974
2975 /**
2976 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Exists <em>Exists</em>}'.
2977 * <!-- begin-user-doc -->
2978 * <!-- end-user-doc -->
2979 * @return the meta object for class '<em>Exists</em>'.
2980 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Exists
2981 * @generated
2982 */
2983 EClass getExists();
2984
2985 /**
2986 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Forall <em>Forall</em>}'.
2987 * <!-- begin-user-doc -->
2988 * <!-- end-user-doc -->
2989 * @return the meta object for class '<em>Forall</em>'.
2990 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Forall
2991 * @generated
2992 */
2993 EClass getForall();
2994
2995 /**
2996 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.BoolOperation <em>Bool Operation</em>}'.
2997 * <!-- begin-user-doc -->
2998 * <!-- end-user-doc -->
2999 * @return the meta object for class '<em>Bool Operation</em>'.
3000 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.BoolOperation
3001 * @generated
3002 */
3003 EClass getBoolOperation();
3004
3005 /**
3006 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.And <em>And</em>}'.
3007 * <!-- begin-user-doc -->
3008 * <!-- end-user-doc -->
3009 * @return the meta object for class '<em>And</em>'.
3010 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.And
3011 * @generated
3012 */
3013 EClass getAnd();
3014
3015 /**
3016 * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.And#getOperands <em>Operands</em>}'.
3017 * <!-- begin-user-doc -->
3018 * <!-- end-user-doc -->
3019 * @return the meta object for the containment reference list '<em>Operands</em>'.
3020 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.And#getOperands()
3021 * @see #getAnd()
3022 * @generated
3023 */
3024 EReference getAnd_Operands();
3025
3026 /**
3027 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Or <em>Or</em>}'.
3028 * <!-- begin-user-doc -->
3029 * <!-- end-user-doc -->
3030 * @return the meta object for class '<em>Or</em>'.
3031 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Or
3032 * @generated
3033 */
3034 EClass getOr();
3035
3036 /**
3037 * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Or#getOperands <em>Operands</em>}'.
3038 * <!-- begin-user-doc -->
3039 * <!-- end-user-doc -->
3040 * @return the meta object for the containment reference list '<em>Operands</em>'.
3041 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Or#getOperands()
3042 * @see #getOr()
3043 * @generated
3044 */
3045 EReference getOr_Operands();
3046
3047 /**
3048 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Impl <em>Impl</em>}'.
3049 * <!-- begin-user-doc -->
3050 * <!-- end-user-doc -->
3051 * @return the meta object for class '<em>Impl</em>'.
3052 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Impl
3053 * @generated
3054 */
3055 EClass getImpl();
3056
3057 /**
3058 * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Impl#getLeftOperand <em>Left Operand</em>}'.
3059 * <!-- begin-user-doc -->
3060 * <!-- end-user-doc -->
3061 * @return the meta object for the containment reference '<em>Left Operand</em>'.
3062 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Impl#getLeftOperand()
3063 * @see #getImpl()
3064 * @generated
3065 */
3066 EReference getImpl_LeftOperand();
3067
3068 /**
3069 * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Impl#getRightOperand <em>Right Operand</em>}'.
3070 * <!-- begin-user-doc -->
3071 * <!-- end-user-doc -->
3072 * @return the meta object for the containment reference '<em>Right Operand</em>'.
3073 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Impl#getRightOperand()
3074 * @see #getImpl()
3075 * @generated
3076 */
3077 EReference getImpl_RightOperand();
3078
3079 /**
3080 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Not <em>Not</em>}'.
3081 * <!-- begin-user-doc -->
3082 * <!-- end-user-doc -->
3083 * @return the meta object for class '<em>Not</em>'.
3084 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Not
3085 * @generated
3086 */
3087 EClass getNot();
3088
3089 /**
3090 * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Not#getOperand <em>Operand</em>}'.
3091 * <!-- begin-user-doc -->
3092 * <!-- end-user-doc -->
3093 * @return the meta object for the containment reference '<em>Operand</em>'.
3094 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Not#getOperand()
3095 * @see #getNot()
3096 * @generated
3097 */
3098 EReference getNot_Operand();
3099
3100 /**
3101 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Iff <em>Iff</em>}'.
3102 * <!-- begin-user-doc -->
3103 * <!-- end-user-doc -->
3104 * @return the meta object for class '<em>Iff</em>'.
3105 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Iff
3106 * @generated
3107 */
3108 EClass getIff();
3109
3110 /**
3111 * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Iff#getLeftOperand <em>Left Operand</em>}'.
3112 * <!-- begin-user-doc -->
3113 * <!-- end-user-doc -->
3114 * @return the meta object for the containment reference '<em>Left Operand</em>'.
3115 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Iff#getLeftOperand()
3116 * @see #getIff()
3117 * @generated
3118 */
3119 EReference getIff_LeftOperand();
3120
3121 /**
3122 * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Iff#getRightOperand <em>Right Operand</em>}'.
3123 * <!-- begin-user-doc -->
3124 * <!-- end-user-doc -->
3125 * @return the meta object for the containment reference '<em>Right Operand</em>'.
3126 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Iff#getRightOperand()
3127 * @see #getIff()
3128 * @generated
3129 */
3130 EReference getIff_RightOperand();
3131
3132 /**
3133 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.PrimitiveRelation <em>Primitive Relation</em>}'.
3134 * <!-- begin-user-doc -->
3135 * <!-- end-user-doc -->
3136 * @return the meta object for class '<em>Primitive Relation</em>'.
3137 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.PrimitiveRelation
3138 * @generated
3139 */
3140 EClass getPrimitiveRelation();
3141
3142 /**
3143 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Equals <em>Equals</em>}'.
3144 * <!-- begin-user-doc -->
3145 * <!-- end-user-doc -->
3146 * @return the meta object for class '<em>Equals</em>'.
3147 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Equals
3148 * @generated
3149 */
3150 EClass getEquals();
3151
3152 /**
3153 * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Equals#getLeftOperand <em>Left Operand</em>}'.
3154 * <!-- begin-user-doc -->
3155 * <!-- end-user-doc -->
3156 * @return the meta object for the containment reference '<em>Left Operand</em>'.
3157 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Equals#getLeftOperand()
3158 * @see #getEquals()
3159 * @generated
3160 */
3161 EReference getEquals_LeftOperand();
3162
3163 /**
3164 * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Equals#getRightOperand <em>Right Operand</em>}'.
3165 * <!-- begin-user-doc -->
3166 * <!-- end-user-doc -->
3167 * @return the meta object for the containment reference '<em>Right Operand</em>'.
3168 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Equals#getRightOperand()
3169 * @see #getEquals()
3170 * @generated
3171 */
3172 EReference getEquals_RightOperand();
3173
3174 /**
3175 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Distinct <em>Distinct</em>}'.
3176 * <!-- begin-user-doc -->
3177 * <!-- end-user-doc -->
3178 * @return the meta object for class '<em>Distinct</em>'.
3179 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Distinct
3180 * @generated
3181 */
3182 EClass getDistinct();
3183
3184 /**
3185 * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Distinct#getOperands <em>Operands</em>}'.
3186 * <!-- begin-user-doc -->
3187 * <!-- end-user-doc -->
3188 * @return the meta object for the containment reference list '<em>Operands</em>'.
3189 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Distinct#getOperands()
3190 * @see #getDistinct()
3191 * @generated
3192 */
3193 EReference getDistinct_Operands();
3194
3195 /**
3196 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LessThan <em>Less Than</em>}'.
3197 * <!-- begin-user-doc -->
3198 * <!-- end-user-doc -->
3199 * @return the meta object for class '<em>Less Than</em>'.
3200 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LessThan
3201 * @generated
3202 */
3203 EClass getLessThan();
3204
3205 /**
3206 * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LessThan#getLeftOperand <em>Left Operand</em>}'.
3207 * <!-- begin-user-doc -->
3208 * <!-- end-user-doc -->
3209 * @return the meta object for the containment reference '<em>Left Operand</em>'.
3210 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LessThan#getLeftOperand()
3211 * @see #getLessThan()
3212 * @generated
3213 */
3214 EReference getLessThan_LeftOperand();
3215
3216 /**
3217 * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LessThan#getRightOperand <em>Right Operand</em>}'.
3218 * <!-- begin-user-doc -->
3219 * <!-- end-user-doc -->
3220 * @return the meta object for the containment reference '<em>Right Operand</em>'.
3221 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LessThan#getRightOperand()
3222 * @see #getLessThan()
3223 * @generated
3224 */
3225 EReference getLessThan_RightOperand();
3226
3227 /**
3228 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.MoreThan <em>More Than</em>}'.
3229 * <!-- begin-user-doc -->
3230 * <!-- end-user-doc -->
3231 * @return the meta object for class '<em>More Than</em>'.
3232 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.MoreThan
3233 * @generated
3234 */
3235 EClass getMoreThan();
3236
3237 /**
3238 * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.MoreThan#getLeftOperand <em>Left Operand</em>}'.
3239 * <!-- begin-user-doc -->
3240 * <!-- end-user-doc -->
3241 * @return the meta object for the containment reference '<em>Left Operand</em>'.
3242 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.MoreThan#getLeftOperand()
3243 * @see #getMoreThan()
3244 * @generated
3245 */
3246 EReference getMoreThan_LeftOperand();
3247
3248 /**
3249 * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.MoreThan#getRightOperand <em>Right Operand</em>}'.
3250 * <!-- begin-user-doc -->
3251 * <!-- end-user-doc -->
3252 * @return the meta object for the containment reference '<em>Right Operand</em>'.
3253 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.MoreThan#getRightOperand()
3254 * @see #getMoreThan()
3255 * @generated
3256 */
3257 EReference getMoreThan_RightOperand();
3258
3259 /**
3260 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LessOrEqualThan <em>Less Or Equal Than</em>}'.
3261 * <!-- begin-user-doc -->
3262 * <!-- end-user-doc -->
3263 * @return the meta object for class '<em>Less Or Equal Than</em>'.
3264 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LessOrEqualThan
3265 * @generated
3266 */
3267 EClass getLessOrEqualThan();
3268
3269 /**
3270 * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LessOrEqualThan#getLeftOperand <em>Left Operand</em>}'.
3271 * <!-- begin-user-doc -->
3272 * <!-- end-user-doc -->
3273 * @return the meta object for the containment reference '<em>Left Operand</em>'.
3274 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LessOrEqualThan#getLeftOperand()
3275 * @see #getLessOrEqualThan()
3276 * @generated
3277 */
3278 EReference getLessOrEqualThan_LeftOperand();
3279
3280 /**
3281 * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LessOrEqualThan#getRightOperand <em>Right Operand</em>}'.
3282 * <!-- begin-user-doc -->
3283 * <!-- end-user-doc -->
3284 * @return the meta object for the containment reference '<em>Right Operand</em>'.
3285 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LessOrEqualThan#getRightOperand()
3286 * @see #getLessOrEqualThan()
3287 * @generated
3288 */
3289 EReference getLessOrEqualThan_RightOperand();
3290
3291 /**
3292 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.MoreOrEqualThan <em>More Or Equal Than</em>}'.
3293 * <!-- begin-user-doc -->
3294 * <!-- end-user-doc -->
3295 * @return the meta object for class '<em>More Or Equal Than</em>'.
3296 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.MoreOrEqualThan
3297 * @generated
3298 */
3299 EClass getMoreOrEqualThan();
3300
3301 /**
3302 * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.MoreOrEqualThan#getLeftOperand <em>Left Operand</em>}'.
3303 * <!-- begin-user-doc -->
3304 * <!-- end-user-doc -->
3305 * @return the meta object for the containment reference '<em>Left Operand</em>'.
3306 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.MoreOrEqualThan#getLeftOperand()
3307 * @see #getMoreOrEqualThan()
3308 * @generated
3309 */
3310 EReference getMoreOrEqualThan_LeftOperand();
3311
3312 /**
3313 * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.MoreOrEqualThan#getRightOperand <em>Right Operand</em>}'.
3314 * <!-- begin-user-doc -->
3315 * <!-- end-user-doc -->
3316 * @return the meta object for the containment reference '<em>Right Operand</em>'.
3317 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.MoreOrEqualThan#getRightOperand()
3318 * @see #getMoreOrEqualThan()
3319 * @generated
3320 */
3321 EReference getMoreOrEqualThan_RightOperand();
3322
3323 /**
3324 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.IntOperation <em>Int Operation</em>}'.
3325 * <!-- begin-user-doc -->
3326 * <!-- end-user-doc -->
3327 * @return the meta object for class '<em>Int Operation</em>'.
3328 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.IntOperation
3329 * @generated
3330 */
3331 EClass getIntOperation();
3332
3333 /**
3334 * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.IntOperation#getLeftOperand <em>Left Operand</em>}'.
3335 * <!-- begin-user-doc -->
3336 * <!-- end-user-doc -->
3337 * @return the meta object for the containment reference '<em>Left Operand</em>'.
3338 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.IntOperation#getLeftOperand()
3339 * @see #getIntOperation()
3340 * @generated
3341 */
3342 EReference getIntOperation_LeftOperand();
3343
3344 /**
3345 * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.IntOperation#getRightOperand <em>Right Operand</em>}'.
3346 * <!-- begin-user-doc -->
3347 * <!-- end-user-doc -->
3348 * @return the meta object for the containment reference '<em>Right Operand</em>'.
3349 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.IntOperation#getRightOperand()
3350 * @see #getIntOperation()
3351 * @generated
3352 */
3353 EReference getIntOperation_RightOperand();
3354
3355 /**
3356 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Plus <em>Plus</em>}'.
3357 * <!-- begin-user-doc -->
3358 * <!-- end-user-doc -->
3359 * @return the meta object for class '<em>Plus</em>'.
3360 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Plus
3361 * @generated
3362 */
3363 EClass getPlus();
3364
3365 /**
3366 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Minus <em>Minus</em>}'.
3367 * <!-- begin-user-doc -->
3368 * <!-- end-user-doc -->
3369 * @return the meta object for class '<em>Minus</em>'.
3370 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Minus
3371 * @generated
3372 */
3373 EClass getMinus();
3374
3375 /**
3376 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Multiply <em>Multiply</em>}'.
3377 * <!-- begin-user-doc -->
3378 * <!-- end-user-doc -->
3379 * @return the meta object for class '<em>Multiply</em>'.
3380 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Multiply
3381 * @generated
3382 */
3383 EClass getMultiply();
3384
3385 /**
3386 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Divison <em>Divison</em>}'.
3387 * <!-- begin-user-doc -->
3388 * <!-- end-user-doc -->
3389 * @return the meta object for class '<em>Divison</em>'.
3390 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Divison
3391 * @generated
3392 */
3393 EClass getDivison();
3394
3395 /**
3396 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Mod <em>Mod</em>}'.
3397 * <!-- begin-user-doc -->
3398 * <!-- end-user-doc -->
3399 * @return the meta object for class '<em>Mod</em>'.
3400 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Mod
3401 * @generated
3402 */
3403 EClass getMod();
3404
3405 /**
3406 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TypeDescriptor <em>Type Descriptor</em>}'.
3407 * <!-- begin-user-doc -->
3408 * <!-- end-user-doc -->
3409 * @return the meta object for class '<em>Type Descriptor</em>'.
3410 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TypeDescriptor
3411 * @generated
3412 */
3413 EClass getTypeDescriptor();
3414
3415 /**
3416 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TermDescription <em>Term Description</em>}'.
3417 * <!-- begin-user-doc -->
3418 * <!-- end-user-doc -->
3419 * @return the meta object for class '<em>Term Description</em>'.
3420 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TermDescription
3421 * @generated
3422 */
3423 EClass getTermDescription();
3424
3425 /**
3426 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Assertion <em>Assertion</em>}'.
3427 * <!-- begin-user-doc -->
3428 * <!-- end-user-doc -->
3429 * @return the meta object for class '<em>Assertion</em>'.
3430 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Assertion
3431 * @generated
3432 */
3433 EClass getAssertion();
3434
3435 /**
3436 * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Assertion#getValue <em>Value</em>}'.
3437 * <!-- begin-user-doc -->
3438 * <!-- end-user-doc -->
3439 * @return the meta object for the containment reference '<em>Value</em>'.
3440 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Assertion#getValue()
3441 * @see #getAssertion()
3442 * @generated
3443 */
3444 EReference getAssertion_Value();
3445
3446 /**
3447 * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Assertion#getName <em>Name</em>}'.
3448 * <!-- begin-user-doc -->
3449 * <!-- end-user-doc -->
3450 * @return the meta object for the attribute '<em>Name</em>'.
3451 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Assertion#getName()
3452 * @see #getAssertion()
3453 * @generated
3454 */
3455 EAttribute getAssertion_Name();
3456
3457 /**
3458 * Returns the meta object for the reference list '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Assertion#getAnnotations <em>Annotations</em>}'.
3459 * <!-- begin-user-doc -->
3460 * <!-- end-user-doc -->
3461 * @return the meta object for the reference list '<em>Annotations</em>'.
3462 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Assertion#getAnnotations()
3463 * @see #getAssertion()
3464 * @generated
3465 */
3466 EReference getAssertion_Annotations();
3467
3468 /**
3469 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Relation <em>Relation</em>}'.
3470 * <!-- begin-user-doc -->
3471 * <!-- end-user-doc -->
3472 * @return the meta object for class '<em>Relation</em>'.
3473 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Relation
3474 * @generated
3475 */
3476 EClass getRelation();
3477
3478 /**
3479 * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Relation#getParameters <em>Parameters</em>}'.
3480 * <!-- begin-user-doc -->
3481 * <!-- end-user-doc -->
3482 * @return the meta object for the containment reference list '<em>Parameters</em>'.
3483 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Relation#getParameters()
3484 * @see #getRelation()
3485 * @generated
3486 */
3487 EReference getRelation_Parameters();
3488
3489 /**
3490 * Returns the meta object for the reference list '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Relation#getAnnotations <em>Annotations</em>}'.
3491 * <!-- begin-user-doc -->
3492 * <!-- end-user-doc -->
3493 * @return the meta object for the reference list '<em>Annotations</em>'.
3494 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Relation#getAnnotations()
3495 * @see #getRelation()
3496 * @generated
3497 */
3498 EReference getRelation_Annotations();
3499
3500 /**
3501 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Constant <em>Constant</em>}'.
3502 * <!-- begin-user-doc -->
3503 * <!-- end-user-doc -->
3504 * @return the meta object for class '<em>Constant</em>'.
3505 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Constant
3506 * @generated
3507 */
3508 EClass getConstant();
3509
3510 /**
3511 * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Constant#getType <em>Type</em>}'.
3512 * <!-- begin-user-doc -->
3513 * <!-- end-user-doc -->
3514 * @return the meta object for the containment reference '<em>Type</em>'.
3515 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Constant#getType()
3516 * @see #getConstant()
3517 * @generated
3518 */
3519 EReference getConstant_Type();
3520
3521 /**
3522 * Returns the meta object for the reference list '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Constant#getAnnotations <em>Annotations</em>}'.
3523 * <!-- begin-user-doc -->
3524 * <!-- end-user-doc -->
3525 * @return the meta object for the reference list '<em>Annotations</em>'.
3526 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Constant#getAnnotations()
3527 * @see #getConstant()
3528 * @generated
3529 */
3530 EReference getConstant_Annotations();
3531
3532 /**
3533 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.ConstantDefinition <em>Constant Definition</em>}'.
3534 * <!-- begin-user-doc -->
3535 * <!-- end-user-doc -->
3536 * @return the meta object for class '<em>Constant Definition</em>'.
3537 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.ConstantDefinition
3538 * @generated
3539 */
3540 EClass getConstantDefinition();
3541
3542 /**
3543 * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.ConstantDefinition#getValue <em>Value</em>}'.
3544 * <!-- begin-user-doc -->
3545 * <!-- end-user-doc -->
3546 * @return the meta object for the containment reference '<em>Value</em>'.
3547 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.ConstantDefinition#getValue()
3548 * @see #getConstantDefinition()
3549 * @generated
3550 */
3551 EReference getConstantDefinition_Value();
3552
3553 /**
3554 * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.ConstantDefinition#getDefines <em>Defines</em>}'.
3555 * <!-- begin-user-doc -->
3556 * <!-- end-user-doc -->
3557 * @return the meta object for the reference '<em>Defines</em>'.
3558 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.ConstantDefinition#getDefines()
3559 * @see #getConstantDefinition()
3560 * @generated
3561 */
3562 EReference getConstantDefinition_Defines();
3563
3564 /**
3565 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.RelationDefinition <em>Relation Definition</em>}'.
3566 * <!-- begin-user-doc -->
3567 * <!-- end-user-doc -->
3568 * @return the meta object for class '<em>Relation Definition</em>'.
3569 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.RelationDefinition
3570 * @generated
3571 */
3572 EClass getRelationDefinition();
3573
3574 /**
3575 * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.RelationDefinition#getVariables <em>Variables</em>}'.
3576 * <!-- begin-user-doc -->
3577 * <!-- end-user-doc -->
3578 * @return the meta object for the containment reference list '<em>Variables</em>'.
3579 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.RelationDefinition#getVariables()
3580 * @see #getRelationDefinition()
3581 * @generated
3582 */
3583 EReference getRelationDefinition_Variables();
3584
3585 /**
3586 * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.RelationDefinition#getValue <em>Value</em>}'.
3587 * <!-- begin-user-doc -->
3588 * <!-- end-user-doc -->
3589 * @return the meta object for the containment reference '<em>Value</em>'.
3590 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.RelationDefinition#getValue()
3591 * @see #getRelationDefinition()
3592 * @generated
3593 */
3594 EReference getRelationDefinition_Value();
3595
3596 /**
3597 * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.RelationDefinition#getDefines <em>Defines</em>}'.
3598 * <!-- begin-user-doc -->
3599 * <!-- end-user-doc -->
3600 * @return the meta object for the reference '<em>Defines</em>'.
3601 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.RelationDefinition#getDefines()
3602 * @see #getRelationDefinition()
3603 * @generated
3604 */
3605 EReference getRelationDefinition_Defines();
3606
3607 /**
3608 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.FunctionDefinition <em>Function Definition</em>}'.
3609 * <!-- begin-user-doc -->
3610 * <!-- end-user-doc -->
3611 * @return the meta object for class '<em>Function Definition</em>'.
3612 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.FunctionDefinition
3613 * @generated
3614 */
3615 EClass getFunctionDefinition();
3616
3617 /**
3618 * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.FunctionDefinition#getVariable <em>Variable</em>}'.
3619 * <!-- begin-user-doc -->
3620 * <!-- end-user-doc -->
3621 * @return the meta object for the containment reference list '<em>Variable</em>'.
3622 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.FunctionDefinition#getVariable()
3623 * @see #getFunctionDefinition()
3624 * @generated
3625 */
3626 EReference getFunctionDefinition_Variable();
3627
3628 /**
3629 * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.FunctionDefinition#getDefines <em>Defines</em>}'.
3630 * <!-- begin-user-doc -->
3631 * <!-- end-user-doc -->
3632 * @return the meta object for the reference '<em>Defines</em>'.
3633 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.FunctionDefinition#getDefines()
3634 * @see #getFunctionDefinition()
3635 * @generated
3636 */
3637 EReference getFunctionDefinition_Defines();
3638
3639 /**
3640 * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.FunctionDefinition#getValue <em>Value</em>}'.
3641 * <!-- begin-user-doc -->
3642 * <!-- end-user-doc -->
3643 * @return the meta object for the containment reference '<em>Value</em>'.
3644 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.FunctionDefinition#getValue()
3645 * @see #getFunctionDefinition()
3646 * @generated
3647 */
3648 EReference getFunctionDefinition_Value();
3649
3650 /**
3651 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.IfThenElse <em>If Then Else</em>}'.
3652 * <!-- begin-user-doc -->
3653 * <!-- end-user-doc -->
3654 * @return the meta object for class '<em>If Then Else</em>'.
3655 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.IfThenElse
3656 * @generated
3657 */
3658 EClass getIfThenElse();
3659
3660 /**
3661 * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.IfThenElse#getCondition <em>Condition</em>}'.
3662 * <!-- begin-user-doc -->
3663 * <!-- end-user-doc -->
3664 * @return the meta object for the containment reference '<em>Condition</em>'.
3665 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.IfThenElse#getCondition()
3666 * @see #getIfThenElse()
3667 * @generated
3668 */
3669 EReference getIfThenElse_Condition();
3670
3671 /**
3672 * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.IfThenElse#getIfTrue <em>If True</em>}'.
3673 * <!-- begin-user-doc -->
3674 * <!-- end-user-doc -->
3675 * @return the meta object for the containment reference '<em>If True</em>'.
3676 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.IfThenElse#getIfTrue()
3677 * @see #getIfThenElse()
3678 * @generated
3679 */
3680 EReference getIfThenElse_IfTrue();
3681
3682 /**
3683 * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.IfThenElse#getIfFalse <em>If False</em>}'.
3684 * <!-- begin-user-doc -->
3685 * <!-- end-user-doc -->
3686 * @return the meta object for the containment reference '<em>If False</em>'.
3687 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.IfThenElse#getIfFalse()
3688 * @see #getIfThenElse()
3689 * @generated
3690 */
3691 EReference getIfThenElse_IfFalse();
3692
3693 /**
3694 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.ConstantDeclaration <em>Constant Declaration</em>}'.
3695 * <!-- begin-user-doc -->
3696 * <!-- end-user-doc -->
3697 * @return the meta object for class '<em>Constant Declaration</em>'.
3698 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.ConstantDeclaration
3699 * @generated
3700 */
3701 EClass getConstantDeclaration();
3702
3703 /**
3704 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.RelationDeclaration <em>Relation Declaration</em>}'.
3705 * <!-- begin-user-doc -->
3706 * <!-- end-user-doc -->
3707 * @return the meta object for class '<em>Relation Declaration</em>'.
3708 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.RelationDeclaration
3709 * @generated
3710 */
3711 EClass getRelationDeclaration();
3712
3713 /**
3714 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.FunctionDeclaration <em>Function Declaration</em>}'.
3715 * <!-- begin-user-doc -->
3716 * <!-- end-user-doc -->
3717 * @return the meta object for class '<em>Function Declaration</em>'.
3718 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.FunctionDeclaration
3719 * @generated
3720 */
3721 EClass getFunctionDeclaration();
3722
3723 /**
3724 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TypeDeclaration <em>Type Declaration</em>}'.
3725 * <!-- begin-user-doc -->
3726 * <!-- end-user-doc -->
3727 * @return the meta object for class '<em>Type Declaration</em>'.
3728 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TypeDeclaration
3729 * @generated
3730 */
3731 EClass getTypeDeclaration();
3732
3733 /**
3734 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.UnknownBecauseUninterpreted <em>Unknown Because Uninterpreted</em>}'.
3735 * <!-- begin-user-doc -->
3736 * <!-- end-user-doc -->
3737 * @return the meta object for class '<em>Unknown Because Uninterpreted</em>'.
3738 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.UnknownBecauseUninterpreted
3739 * @generated
3740 */
3741 EClass getUnknownBecauseUninterpreted();
3742
3743 /**
3744 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.InstanceOf <em>Instance Of</em>}'.
3745 * <!-- begin-user-doc -->
3746 * <!-- end-user-doc -->
3747 * @return the meta object for class '<em>Instance Of</em>'.
3748 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.InstanceOf
3749 * @generated
3750 */
3751 EClass getInstanceOf();
3752
3753 /**
3754 * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.InstanceOf#getValue <em>Value</em>}'.
3755 * <!-- begin-user-doc -->
3756 * <!-- end-user-doc -->
3757 * @return the meta object for the containment reference '<em>Value</em>'.
3758 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.InstanceOf#getValue()
3759 * @see #getInstanceOf()
3760 * @generated
3761 */
3762 EReference getInstanceOf_Value();
3763
3764 /**
3765 * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.InstanceOf#getRange <em>Range</em>}'.
3766 * <!-- begin-user-doc -->
3767 * <!-- end-user-doc -->
3768 * @return the meta object for the containment reference '<em>Range</em>'.
3769 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.InstanceOf#getRange()
3770 * @see #getInstanceOf()
3771 * @generated
3772 */
3773 EReference getInstanceOf_Range();
3774
3775 /**
3776 * Returns the factory that creates the instances of the model.
3777 * <!-- begin-user-doc -->
3778 * <!-- end-user-doc -->
3779 * @return the factory that creates the instances of the model.
3780 * @generated
3781 */
3782 LogiclanguageFactory getLogiclanguageFactory();
3783
3784 /**
3785 * <!-- begin-user-doc -->
3786 * Defines literals for the meta objects that represent
3787 * <ul>
3788 * <li>each class,</li>
3789 * <li>each feature of each class,</li>
3790 * <li>each operation of each class,</li>
3791 * <li>each enum,</li>
3792 * <li>and each data type</li>
3793 * </ul>
3794 * <!-- end-user-doc -->
3795 * @generated
3796 */
3797 interface Literals {
3798 /**
3799 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.TypeImpl <em>Type</em>}' class.
3800 * <!-- begin-user-doc -->
3801 * <!-- end-user-doc -->
3802 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.TypeImpl
3803 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getType()
3804 * @generated
3805 */
3806 EClass TYPE = eINSTANCE.getType();
3807
3808 /**
3809 * The meta object literal for the '<em><b>Name</b></em>' attribute feature.
3810 * <!-- begin-user-doc -->
3811 * <!-- end-user-doc -->
3812 * @generated
3813 */
3814 EAttribute TYPE__NAME = eINSTANCE.getType_Name();
3815
3816 /**
3817 * The meta object literal for the '<em><b>Subtypes</b></em>' reference list feature.
3818 * <!-- begin-user-doc -->
3819 * <!-- end-user-doc -->
3820 * @generated
3821 */
3822 EReference TYPE__SUBTYPES = eINSTANCE.getType_Subtypes();
3823
3824 /**
3825 * The meta object literal for the '<em><b>Supertypes</b></em>' reference list feature.
3826 * <!-- begin-user-doc -->
3827 * <!-- end-user-doc -->
3828 * @generated
3829 */
3830 EReference TYPE__SUPERTYPES = eINSTANCE.getType_Supertypes();
3831
3832 /**
3833 * The meta object literal for the '<em><b>Is Abstract</b></em>' attribute feature.
3834 * <!-- begin-user-doc -->
3835 * <!-- end-user-doc -->
3836 * @generated
3837 */
3838 EAttribute TYPE__IS_ABSTRACT = eINSTANCE.getType_IsAbstract();
3839
3840 /**
3841 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.DefinedElementImpl <em>Defined Element</em>}' class.
3842 * <!-- begin-user-doc -->
3843 * <!-- end-user-doc -->
3844 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.DefinedElementImpl
3845 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getDefinedElement()
3846 * @generated
3847 */
3848 EClass DEFINED_ELEMENT = eINSTANCE.getDefinedElement();
3849
3850 /**
3851 * The meta object literal for the '<em><b>Defined In Type</b></em>' reference list feature.
3852 * <!-- begin-user-doc -->
3853 * <!-- end-user-doc -->
3854 * @generated
3855 */
3856 EReference DEFINED_ELEMENT__DEFINED_IN_TYPE = eINSTANCE.getDefinedElement_DefinedInType();
3857
3858 /**
3859 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.TypeDefinitionImpl <em>Type Definition</em>}' class.
3860 * <!-- begin-user-doc -->
3861 * <!-- end-user-doc -->
3862 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.TypeDefinitionImpl
3863 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getTypeDefinition()
3864 * @generated
3865 */
3866 EClass TYPE_DEFINITION = eINSTANCE.getTypeDefinition();
3867
3868 /**
3869 * The meta object literal for the '<em><b>Elements</b></em>' reference list feature.
3870 * <!-- begin-user-doc -->
3871 * <!-- end-user-doc -->
3872 * @generated
3873 */
3874 EReference TYPE_DEFINITION__ELEMENTS = eINSTANCE.getTypeDefinition_Elements();
3875
3876 /**
3877 * The meta object literal for the '<em><b>Defines</b></em>' reference feature.
3878 * <!-- begin-user-doc -->
3879 * <!-- end-user-doc -->
3880 * @generated
3881 */
3882 EReference TYPE_DEFINITION__DEFINES = eINSTANCE.getTypeDefinition_Defines();
3883
3884 /**
3885 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.TypeReferenceImpl <em>Type Reference</em>}' class.
3886 * <!-- begin-user-doc -->
3887 * <!-- end-user-doc -->
3888 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.TypeReferenceImpl
3889 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getTypeReference()
3890 * @generated
3891 */
3892 EClass TYPE_REFERENCE = eINSTANCE.getTypeReference();
3893
3894 /**
3895 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.ComplexTypeReferenceImpl <em>Complex Type Reference</em>}' class.
3896 * <!-- begin-user-doc -->
3897 * <!-- end-user-doc -->
3898 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.ComplexTypeReferenceImpl
3899 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getComplexTypeReference()
3900 * @generated
3901 */
3902 EClass COMPLEX_TYPE_REFERENCE = eINSTANCE.getComplexTypeReference();
3903
3904 /**
3905 * The meta object literal for the '<em><b>Referred</b></em>' reference feature.
3906 * <!-- begin-user-doc -->
3907 * <!-- end-user-doc -->
3908 * @generated
3909 */
3910 EReference COMPLEX_TYPE_REFERENCE__REFERRED = eINSTANCE.getComplexTypeReference_Referred();
3911
3912 /**
3913 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.PrimitiveTypeReferenceImpl <em>Primitive Type Reference</em>}' class.
3914 * <!-- begin-user-doc -->
3915 * <!-- end-user-doc -->
3916 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.PrimitiveTypeReferenceImpl
3917 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getPrimitiveTypeReference()
3918 * @generated
3919 */
3920 EClass PRIMITIVE_TYPE_REFERENCE = eINSTANCE.getPrimitiveTypeReference();
3921
3922 /**
3923 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.IntTypeReferenceImpl <em>Int Type Reference</em>}' class.
3924 * <!-- begin-user-doc -->
3925 * <!-- end-user-doc -->
3926 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.IntTypeReferenceImpl
3927 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getIntTypeReference()
3928 * @generated
3929 */
3930 EClass INT_TYPE_REFERENCE = eINSTANCE.getIntTypeReference();
3931
3932 /**
3933 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.BoolTypeReferenceImpl <em>Bool Type Reference</em>}' class.
3934 * <!-- begin-user-doc -->
3935 * <!-- end-user-doc -->
3936 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.BoolTypeReferenceImpl
3937 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getBoolTypeReference()
3938 * @generated
3939 */
3940 EClass BOOL_TYPE_REFERENCE = eINSTANCE.getBoolTypeReference();
3941
3942 /**
3943 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.RealTypeReferenceImpl <em>Real Type Reference</em>}' class.
3944 * <!-- begin-user-doc -->
3945 * <!-- end-user-doc -->
3946 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.RealTypeReferenceImpl
3947 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getRealTypeReference()
3948 * @generated
3949 */
3950 EClass REAL_TYPE_REFERENCE = eINSTANCE.getRealTypeReference();
3951
3952 /**
3953 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.FunctionImpl <em>Function</em>}' class.
3954 * <!-- begin-user-doc -->
3955 * <!-- end-user-doc -->
3956 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.FunctionImpl
3957 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getFunction()
3958 * @generated
3959 */
3960 EClass FUNCTION = eINSTANCE.getFunction();
3961
3962 /**
3963 * The meta object literal for the '<em><b>Range</b></em>' containment reference feature.
3964 * <!-- begin-user-doc -->
3965 * <!-- end-user-doc -->
3966 * @generated
3967 */
3968 EReference FUNCTION__RANGE = eINSTANCE.getFunction_Range();
3969
3970 /**
3971 * The meta object literal for the '<em><b>Parameters</b></em>' containment reference list feature.
3972 * <!-- begin-user-doc -->
3973 * <!-- end-user-doc -->
3974 * @generated
3975 */
3976 EReference FUNCTION__PARAMETERS = eINSTANCE.getFunction_Parameters();
3977
3978 /**
3979 * The meta object literal for the '<em><b>Annotations</b></em>' reference list feature.
3980 * <!-- begin-user-doc -->
3981 * <!-- end-user-doc -->
3982 * @generated
3983 */
3984 EReference FUNCTION__ANNOTATIONS = eINSTANCE.getFunction_Annotations();
3985
3986 /**
3987 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.TermImpl <em>Term</em>}' class.
3988 * <!-- begin-user-doc -->
3989 * <!-- end-user-doc -->
3990 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.TermImpl
3991 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getTerm()
3992 * @generated
3993 */
3994 EClass TERM = eINSTANCE.getTerm();
3995
3996 /**
3997 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.SymbolicDeclarationImpl <em>Symbolic Declaration</em>}' class.
3998 * <!-- begin-user-doc -->
3999 * <!-- end-user-doc -->
4000 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.SymbolicDeclarationImpl
4001 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getSymbolicDeclaration()
4002 * @generated
4003 */
4004 EClass SYMBOLIC_DECLARATION = eINSTANCE.getSymbolicDeclaration();
4005
4006 /**
4007 * The meta object literal for the '<em><b>Name</b></em>' attribute feature.
4008 * <!-- begin-user-doc -->
4009 * <!-- end-user-doc -->
4010 * @generated
4011 */
4012 EAttribute SYMBOLIC_DECLARATION__NAME = eINSTANCE.getSymbolicDeclaration_Name();
4013
4014 /**
4015 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.SymbolicValueImpl <em>Symbolic Value</em>}' class.
4016 * <!-- begin-user-doc -->
4017 * <!-- end-user-doc -->
4018 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.SymbolicValueImpl
4019 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getSymbolicValue()
4020 * @generated
4021 */
4022 EClass SYMBOLIC_VALUE = eINSTANCE.getSymbolicValue();
4023
4024 /**
4025 * The meta object literal for the '<em><b>Symbolic Reference</b></em>' reference feature.
4026 * <!-- begin-user-doc -->
4027 * <!-- end-user-doc -->
4028 * @generated
4029 */
4030 EReference SYMBOLIC_VALUE__SYMBOLIC_REFERENCE = eINSTANCE.getSymbolicValue_SymbolicReference();
4031
4032 /**
4033 * The meta object literal for the '<em><b>Parameter Substitutions</b></em>' containment reference list feature.
4034 * <!-- begin-user-doc -->
4035 * <!-- end-user-doc -->
4036 * @generated
4037 */
4038 EReference SYMBOLIC_VALUE__PARAMETER_SUBSTITUTIONS = eINSTANCE.getSymbolicValue_ParameterSubstitutions();
4039
4040 /**
4041 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.AtomicTermImpl <em>Atomic Term</em>}' class.
4042 * <!-- begin-user-doc -->
4043 * <!-- end-user-doc -->
4044 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.AtomicTermImpl
4045 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getAtomicTerm()
4046 * @generated
4047 */
4048 EClass ATOMIC_TERM = eINSTANCE.getAtomicTerm();
4049
4050 /**
4051 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.IntLiteralImpl <em>Int Literal</em>}' class.
4052 * <!-- begin-user-doc -->
4053 * <!-- end-user-doc -->
4054 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.IntLiteralImpl
4055 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getIntLiteral()
4056 * @generated
4057 */
4058 EClass INT_LITERAL = eINSTANCE.getIntLiteral();
4059
4060 /**
4061 * The meta object literal for the '<em><b>Value</b></em>' attribute feature.
4062 * <!-- begin-user-doc -->
4063 * <!-- end-user-doc -->
4064 * @generated
4065 */
4066 EAttribute INT_LITERAL__VALUE = eINSTANCE.getIntLiteral_Value();
4067
4068 /**
4069 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.BoolLiteralImpl <em>Bool Literal</em>}' class.
4070 * <!-- begin-user-doc -->
4071 * <!-- end-user-doc -->
4072 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.BoolLiteralImpl
4073 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getBoolLiteral()
4074 * @generated
4075 */
4076 EClass BOOL_LITERAL = eINSTANCE.getBoolLiteral();
4077
4078 /**
4079 * The meta object literal for the '<em><b>Value</b></em>' attribute feature.
4080 * <!-- begin-user-doc -->
4081 * <!-- end-user-doc -->
4082 * @generated
4083 */
4084 EAttribute BOOL_LITERAL__VALUE = eINSTANCE.getBoolLiteral_Value();
4085
4086 /**
4087 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.RealLiteralImpl <em>Real Literal</em>}' class.
4088 * <!-- begin-user-doc -->
4089 * <!-- end-user-doc -->
4090 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.RealLiteralImpl
4091 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getRealLiteral()
4092 * @generated
4093 */
4094 EClass REAL_LITERAL = eINSTANCE.getRealLiteral();
4095
4096 /**
4097 * The meta object literal for the '<em><b>Value</b></em>' attribute feature.
4098 * <!-- begin-user-doc -->
4099 * <!-- end-user-doc -->
4100 * @generated
4101 */
4102 EAttribute REAL_LITERAL__VALUE = eINSTANCE.getRealLiteral_Value();
4103
4104 /**
4105 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.VariableImpl <em>Variable</em>}' class.
4106 * <!-- begin-user-doc -->
4107 * <!-- end-user-doc -->
4108 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.VariableImpl
4109 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getVariable()
4110 * @generated
4111 */
4112 EClass VARIABLE = eINSTANCE.getVariable();
4113
4114 /**
4115 * The meta object literal for the '<em><b>Range</b></em>' containment reference feature.
4116 * <!-- begin-user-doc -->
4117 * <!-- end-user-doc -->
4118 * @generated
4119 */
4120 EReference VARIABLE__RANGE = eINSTANCE.getVariable_Range();
4121
4122 /**
4123 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.QuantifiedExpressionImpl <em>Quantified Expression</em>}' class.
4124 * <!-- begin-user-doc -->
4125 * <!-- end-user-doc -->
4126 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.QuantifiedExpressionImpl
4127 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getQuantifiedExpression()
4128 * @generated
4129 */
4130 EClass QUANTIFIED_EXPRESSION = eINSTANCE.getQuantifiedExpression();
4131
4132 /**
4133 * The meta object literal for the '<em><b>Quantified Variables</b></em>' containment reference list feature.
4134 * <!-- begin-user-doc -->
4135 * <!-- end-user-doc -->
4136 * @generated
4137 */
4138 EReference QUANTIFIED_EXPRESSION__QUANTIFIED_VARIABLES = eINSTANCE.getQuantifiedExpression_QuantifiedVariables();
4139
4140 /**
4141 * The meta object literal for the '<em><b>Expression</b></em>' containment reference feature.
4142 * <!-- begin-user-doc -->
4143 * <!-- end-user-doc -->
4144 * @generated
4145 */
4146 EReference QUANTIFIED_EXPRESSION__EXPRESSION = eINSTANCE.getQuantifiedExpression_Expression();
4147
4148 /**
4149 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.ExistsImpl <em>Exists</em>}' class.
4150 * <!-- begin-user-doc -->
4151 * <!-- end-user-doc -->
4152 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.ExistsImpl
4153 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getExists()
4154 * @generated
4155 */
4156 EClass EXISTS = eINSTANCE.getExists();
4157
4158 /**
4159 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.ForallImpl <em>Forall</em>}' class.
4160 * <!-- begin-user-doc -->
4161 * <!-- end-user-doc -->
4162 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.ForallImpl
4163 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getForall()
4164 * @generated
4165 */
4166 EClass FORALL = eINSTANCE.getForall();
4167
4168 /**
4169 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.BoolOperationImpl <em>Bool Operation</em>}' class.
4170 * <!-- begin-user-doc -->
4171 * <!-- end-user-doc -->
4172 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.BoolOperationImpl
4173 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getBoolOperation()
4174 * @generated
4175 */
4176 EClass BOOL_OPERATION = eINSTANCE.getBoolOperation();
4177
4178 /**
4179 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.AndImpl <em>And</em>}' class.
4180 * <!-- begin-user-doc -->
4181 * <!-- end-user-doc -->
4182 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.AndImpl
4183 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getAnd()
4184 * @generated
4185 */
4186 EClass AND = eINSTANCE.getAnd();
4187
4188 /**
4189 * The meta object literal for the '<em><b>Operands</b></em>' containment reference list feature.
4190 * <!-- begin-user-doc -->
4191 * <!-- end-user-doc -->
4192 * @generated
4193 */
4194 EReference AND__OPERANDS = eINSTANCE.getAnd_Operands();
4195
4196 /**
4197 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.OrImpl <em>Or</em>}' class.
4198 * <!-- begin-user-doc -->
4199 * <!-- end-user-doc -->
4200 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.OrImpl
4201 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getOr()
4202 * @generated
4203 */
4204 EClass OR = eINSTANCE.getOr();
4205
4206 /**
4207 * The meta object literal for the '<em><b>Operands</b></em>' containment reference list feature.
4208 * <!-- begin-user-doc -->
4209 * <!-- end-user-doc -->
4210 * @generated
4211 */
4212 EReference OR__OPERANDS = eINSTANCE.getOr_Operands();
4213
4214 /**
4215 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.ImplImpl <em>Impl</em>}' class.
4216 * <!-- begin-user-doc -->
4217 * <!-- end-user-doc -->
4218 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.ImplImpl
4219 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getImpl()
4220 * @generated
4221 */
4222 EClass IMPL = eINSTANCE.getImpl();
4223
4224 /**
4225 * The meta object literal for the '<em><b>Left Operand</b></em>' containment reference feature.
4226 * <!-- begin-user-doc -->
4227 * <!-- end-user-doc -->
4228 * @generated
4229 */
4230 EReference IMPL__LEFT_OPERAND = eINSTANCE.getImpl_LeftOperand();
4231
4232 /**
4233 * The meta object literal for the '<em><b>Right Operand</b></em>' containment reference feature.
4234 * <!-- begin-user-doc -->
4235 * <!-- end-user-doc -->
4236 * @generated
4237 */
4238 EReference IMPL__RIGHT_OPERAND = eINSTANCE.getImpl_RightOperand();
4239
4240 /**
4241 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.NotImpl <em>Not</em>}' class.
4242 * <!-- begin-user-doc -->
4243 * <!-- end-user-doc -->
4244 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.NotImpl
4245 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getNot()
4246 * @generated
4247 */
4248 EClass NOT = eINSTANCE.getNot();
4249
4250 /**
4251 * The meta object literal for the '<em><b>Operand</b></em>' containment reference feature.
4252 * <!-- begin-user-doc -->
4253 * <!-- end-user-doc -->
4254 * @generated
4255 */
4256 EReference NOT__OPERAND = eINSTANCE.getNot_Operand();
4257
4258 /**
4259 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.IffImpl <em>Iff</em>}' class.
4260 * <!-- begin-user-doc -->
4261 * <!-- end-user-doc -->
4262 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.IffImpl
4263 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getIff()
4264 * @generated
4265 */
4266 EClass IFF = eINSTANCE.getIff();
4267
4268 /**
4269 * The meta object literal for the '<em><b>Left Operand</b></em>' containment reference feature.
4270 * <!-- begin-user-doc -->
4271 * <!-- end-user-doc -->
4272 * @generated
4273 */
4274 EReference IFF__LEFT_OPERAND = eINSTANCE.getIff_LeftOperand();
4275
4276 /**
4277 * The meta object literal for the '<em><b>Right Operand</b></em>' containment reference feature.
4278 * <!-- begin-user-doc -->
4279 * <!-- end-user-doc -->
4280 * @generated
4281 */
4282 EReference IFF__RIGHT_OPERAND = eINSTANCE.getIff_RightOperand();
4283
4284 /**
4285 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.PrimitiveRelationImpl <em>Primitive Relation</em>}' class.
4286 * <!-- begin-user-doc -->
4287 * <!-- end-user-doc -->
4288 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.PrimitiveRelationImpl
4289 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getPrimitiveRelation()
4290 * @generated
4291 */
4292 EClass PRIMITIVE_RELATION = eINSTANCE.getPrimitiveRelation();
4293
4294 /**
4295 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.EqualsImpl <em>Equals</em>}' class.
4296 * <!-- begin-user-doc -->
4297 * <!-- end-user-doc -->
4298 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.EqualsImpl
4299 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getEquals()
4300 * @generated
4301 */
4302 EClass EQUALS = eINSTANCE.getEquals();
4303
4304 /**
4305 * The meta object literal for the '<em><b>Left Operand</b></em>' containment reference feature.
4306 * <!-- begin-user-doc -->
4307 * <!-- end-user-doc -->
4308 * @generated
4309 */
4310 EReference EQUALS__LEFT_OPERAND = eINSTANCE.getEquals_LeftOperand();
4311
4312 /**
4313 * The meta object literal for the '<em><b>Right Operand</b></em>' containment reference feature.
4314 * <!-- begin-user-doc -->
4315 * <!-- end-user-doc -->
4316 * @generated
4317 */
4318 EReference EQUALS__RIGHT_OPERAND = eINSTANCE.getEquals_RightOperand();
4319
4320 /**
4321 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.DistinctImpl <em>Distinct</em>}' class.
4322 * <!-- begin-user-doc -->
4323 * <!-- end-user-doc -->
4324 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.DistinctImpl
4325 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getDistinct()
4326 * @generated
4327 */
4328 EClass DISTINCT = eINSTANCE.getDistinct();
4329
4330 /**
4331 * The meta object literal for the '<em><b>Operands</b></em>' containment reference list feature.
4332 * <!-- begin-user-doc -->
4333 * <!-- end-user-doc -->
4334 * @generated
4335 */
4336 EReference DISTINCT__OPERANDS = eINSTANCE.getDistinct_Operands();
4337
4338 /**
4339 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LessThanImpl <em>Less Than</em>}' class.
4340 * <!-- begin-user-doc -->
4341 * <!-- end-user-doc -->
4342 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LessThanImpl
4343 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getLessThan()
4344 * @generated
4345 */
4346 EClass LESS_THAN = eINSTANCE.getLessThan();
4347
4348 /**
4349 * The meta object literal for the '<em><b>Left Operand</b></em>' containment reference feature.
4350 * <!-- begin-user-doc -->
4351 * <!-- end-user-doc -->
4352 * @generated
4353 */
4354 EReference LESS_THAN__LEFT_OPERAND = eINSTANCE.getLessThan_LeftOperand();
4355
4356 /**
4357 * The meta object literal for the '<em><b>Right Operand</b></em>' containment reference feature.
4358 * <!-- begin-user-doc -->
4359 * <!-- end-user-doc -->
4360 * @generated
4361 */
4362 EReference LESS_THAN__RIGHT_OPERAND = eINSTANCE.getLessThan_RightOperand();
4363
4364 /**
4365 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.MoreThanImpl <em>More Than</em>}' class.
4366 * <!-- begin-user-doc -->
4367 * <!-- end-user-doc -->
4368 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.MoreThanImpl
4369 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getMoreThan()
4370 * @generated
4371 */
4372 EClass MORE_THAN = eINSTANCE.getMoreThan();
4373
4374 /**
4375 * The meta object literal for the '<em><b>Left Operand</b></em>' containment reference feature.
4376 * <!-- begin-user-doc -->
4377 * <!-- end-user-doc -->
4378 * @generated
4379 */
4380 EReference MORE_THAN__LEFT_OPERAND = eINSTANCE.getMoreThan_LeftOperand();
4381
4382 /**
4383 * The meta object literal for the '<em><b>Right Operand</b></em>' containment reference feature.
4384 * <!-- begin-user-doc -->
4385 * <!-- end-user-doc -->
4386 * @generated
4387 */
4388 EReference MORE_THAN__RIGHT_OPERAND = eINSTANCE.getMoreThan_RightOperand();
4389
4390 /**
4391 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LessOrEqualThanImpl <em>Less Or Equal Than</em>}' class.
4392 * <!-- begin-user-doc -->
4393 * <!-- end-user-doc -->
4394 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LessOrEqualThanImpl
4395 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getLessOrEqualThan()
4396 * @generated
4397 */
4398 EClass LESS_OR_EQUAL_THAN = eINSTANCE.getLessOrEqualThan();
4399
4400 /**
4401 * The meta object literal for the '<em><b>Left Operand</b></em>' containment reference feature.
4402 * <!-- begin-user-doc -->
4403 * <!-- end-user-doc -->
4404 * @generated
4405 */
4406 EReference LESS_OR_EQUAL_THAN__LEFT_OPERAND = eINSTANCE.getLessOrEqualThan_LeftOperand();
4407
4408 /**
4409 * The meta object literal for the '<em><b>Right Operand</b></em>' containment reference feature.
4410 * <!-- begin-user-doc -->
4411 * <!-- end-user-doc -->
4412 * @generated
4413 */
4414 EReference LESS_OR_EQUAL_THAN__RIGHT_OPERAND = eINSTANCE.getLessOrEqualThan_RightOperand();
4415
4416 /**
4417 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.MoreOrEqualThanImpl <em>More Or Equal Than</em>}' class.
4418 * <!-- begin-user-doc -->
4419 * <!-- end-user-doc -->
4420 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.MoreOrEqualThanImpl
4421 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getMoreOrEqualThan()
4422 * @generated
4423 */
4424 EClass MORE_OR_EQUAL_THAN = eINSTANCE.getMoreOrEqualThan();
4425
4426 /**
4427 * The meta object literal for the '<em><b>Left Operand</b></em>' containment reference feature.
4428 * <!-- begin-user-doc -->
4429 * <!-- end-user-doc -->
4430 * @generated
4431 */
4432 EReference MORE_OR_EQUAL_THAN__LEFT_OPERAND = eINSTANCE.getMoreOrEqualThan_LeftOperand();
4433
4434 /**
4435 * The meta object literal for the '<em><b>Right Operand</b></em>' containment reference feature.
4436 * <!-- begin-user-doc -->
4437 * <!-- end-user-doc -->
4438 * @generated
4439 */
4440 EReference MORE_OR_EQUAL_THAN__RIGHT_OPERAND = eINSTANCE.getMoreOrEqualThan_RightOperand();
4441
4442 /**
4443 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.IntOperationImpl <em>Int Operation</em>}' class.
4444 * <!-- begin-user-doc -->
4445 * <!-- end-user-doc -->
4446 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.IntOperationImpl
4447 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getIntOperation()
4448 * @generated
4449 */
4450 EClass INT_OPERATION = eINSTANCE.getIntOperation();
4451
4452 /**
4453 * The meta object literal for the '<em><b>Left Operand</b></em>' containment reference feature.
4454 * <!-- begin-user-doc -->
4455 * <!-- end-user-doc -->
4456 * @generated
4457 */
4458 EReference INT_OPERATION__LEFT_OPERAND = eINSTANCE.getIntOperation_LeftOperand();
4459
4460 /**
4461 * The meta object literal for the '<em><b>Right Operand</b></em>' containment reference feature.
4462 * <!-- begin-user-doc -->
4463 * <!-- end-user-doc -->
4464 * @generated
4465 */
4466 EReference INT_OPERATION__RIGHT_OPERAND = eINSTANCE.getIntOperation_RightOperand();
4467
4468 /**
4469 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.PlusImpl <em>Plus</em>}' class.
4470 * <!-- begin-user-doc -->
4471 * <!-- end-user-doc -->
4472 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.PlusImpl
4473 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getPlus()
4474 * @generated
4475 */
4476 EClass PLUS = eINSTANCE.getPlus();
4477
4478 /**
4479 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.MinusImpl <em>Minus</em>}' class.
4480 * <!-- begin-user-doc -->
4481 * <!-- end-user-doc -->
4482 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.MinusImpl
4483 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getMinus()
4484 * @generated
4485 */
4486 EClass MINUS = eINSTANCE.getMinus();
4487
4488 /**
4489 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.MultiplyImpl <em>Multiply</em>}' class.
4490 * <!-- begin-user-doc -->
4491 * <!-- end-user-doc -->
4492 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.MultiplyImpl
4493 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getMultiply()
4494 * @generated
4495 */
4496 EClass MULTIPLY = eINSTANCE.getMultiply();
4497
4498 /**
4499 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.DivisonImpl <em>Divison</em>}' class.
4500 * <!-- begin-user-doc -->
4501 * <!-- end-user-doc -->
4502 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.DivisonImpl
4503 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getDivison()
4504 * @generated
4505 */
4506 EClass DIVISON = eINSTANCE.getDivison();
4507
4508 /**
4509 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.ModImpl <em>Mod</em>}' class.
4510 * <!-- begin-user-doc -->
4511 * <!-- end-user-doc -->
4512 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.ModImpl
4513 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getMod()
4514 * @generated
4515 */
4516 EClass MOD = eINSTANCE.getMod();
4517
4518 /**
4519 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TypeDescriptor <em>Type Descriptor</em>}' class.
4520 * <!-- begin-user-doc -->
4521 * <!-- end-user-doc -->
4522 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TypeDescriptor
4523 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getTypeDescriptor()
4524 * @generated
4525 */
4526 EClass TYPE_DESCRIPTOR = eINSTANCE.getTypeDescriptor();
4527
4528 /**
4529 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TermDescription <em>Term Description</em>}' class.
4530 * <!-- begin-user-doc -->
4531 * <!-- end-user-doc -->
4532 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TermDescription
4533 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getTermDescription()
4534 * @generated
4535 */
4536 EClass TERM_DESCRIPTION = eINSTANCE.getTermDescription();
4537
4538 /**
4539 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.AssertionImpl <em>Assertion</em>}' class.
4540 * <!-- begin-user-doc -->
4541 * <!-- end-user-doc -->
4542 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.AssertionImpl
4543 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getAssertion()
4544 * @generated
4545 */
4546 EClass ASSERTION = eINSTANCE.getAssertion();
4547
4548 /**
4549 * The meta object literal for the '<em><b>Value</b></em>' containment reference feature.
4550 * <!-- begin-user-doc -->
4551 * <!-- end-user-doc -->
4552 * @generated
4553 */
4554 EReference ASSERTION__VALUE = eINSTANCE.getAssertion_Value();
4555
4556 /**
4557 * The meta object literal for the '<em><b>Name</b></em>' attribute feature.
4558 * <!-- begin-user-doc -->
4559 * <!-- end-user-doc -->
4560 * @generated
4561 */
4562 EAttribute ASSERTION__NAME = eINSTANCE.getAssertion_Name();
4563
4564 /**
4565 * The meta object literal for the '<em><b>Annotations</b></em>' reference list feature.
4566 * <!-- begin-user-doc -->
4567 * <!-- end-user-doc -->
4568 * @generated
4569 */
4570 EReference ASSERTION__ANNOTATIONS = eINSTANCE.getAssertion_Annotations();
4571
4572 /**
4573 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.RelationImpl <em>Relation</em>}' class.
4574 * <!-- begin-user-doc -->
4575 * <!-- end-user-doc -->
4576 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.RelationImpl
4577 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getRelation()
4578 * @generated
4579 */
4580 EClass RELATION = eINSTANCE.getRelation();
4581
4582 /**
4583 * The meta object literal for the '<em><b>Parameters</b></em>' containment reference list feature.
4584 * <!-- begin-user-doc -->
4585 * <!-- end-user-doc -->
4586 * @generated
4587 */
4588 EReference RELATION__PARAMETERS = eINSTANCE.getRelation_Parameters();
4589
4590 /**
4591 * The meta object literal for the '<em><b>Annotations</b></em>' reference list feature.
4592 * <!-- begin-user-doc -->
4593 * <!-- end-user-doc -->
4594 * @generated
4595 */
4596 EReference RELATION__ANNOTATIONS = eINSTANCE.getRelation_Annotations();
4597
4598 /**
4599 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.ConstantImpl <em>Constant</em>}' class.
4600 * <!-- begin-user-doc -->
4601 * <!-- end-user-doc -->
4602 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.ConstantImpl
4603 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getConstant()
4604 * @generated
4605 */
4606 EClass CONSTANT = eINSTANCE.getConstant();
4607
4608 /**
4609 * The meta object literal for the '<em><b>Type</b></em>' containment reference feature.
4610 * <!-- begin-user-doc -->
4611 * <!-- end-user-doc -->
4612 * @generated
4613 */
4614 EReference CONSTANT__TYPE = eINSTANCE.getConstant_Type();
4615
4616 /**
4617 * The meta object literal for the '<em><b>Annotations</b></em>' reference list feature.
4618 * <!-- begin-user-doc -->
4619 * <!-- end-user-doc -->
4620 * @generated
4621 */
4622 EReference CONSTANT__ANNOTATIONS = eINSTANCE.getConstant_Annotations();
4623
4624 /**
4625 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.ConstantDefinitionImpl <em>Constant Definition</em>}' class.
4626 * <!-- begin-user-doc -->
4627 * <!-- end-user-doc -->
4628 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.ConstantDefinitionImpl
4629 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getConstantDefinition()
4630 * @generated
4631 */
4632 EClass CONSTANT_DEFINITION = eINSTANCE.getConstantDefinition();
4633
4634 /**
4635 * The meta object literal for the '<em><b>Value</b></em>' containment reference feature.
4636 * <!-- begin-user-doc -->
4637 * <!-- end-user-doc -->
4638 * @generated
4639 */
4640 EReference CONSTANT_DEFINITION__VALUE = eINSTANCE.getConstantDefinition_Value();
4641
4642 /**
4643 * The meta object literal for the '<em><b>Defines</b></em>' reference feature.
4644 * <!-- begin-user-doc -->
4645 * <!-- end-user-doc -->
4646 * @generated
4647 */
4648 EReference CONSTANT_DEFINITION__DEFINES = eINSTANCE.getConstantDefinition_Defines();
4649
4650 /**
4651 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.RelationDefinitionImpl <em>Relation Definition</em>}' class.
4652 * <!-- begin-user-doc -->
4653 * <!-- end-user-doc -->
4654 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.RelationDefinitionImpl
4655 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getRelationDefinition()
4656 * @generated
4657 */
4658 EClass RELATION_DEFINITION = eINSTANCE.getRelationDefinition();
4659
4660 /**
4661 * The meta object literal for the '<em><b>Variables</b></em>' containment reference list feature.
4662 * <!-- begin-user-doc -->
4663 * <!-- end-user-doc -->
4664 * @generated
4665 */
4666 EReference RELATION_DEFINITION__VARIABLES = eINSTANCE.getRelationDefinition_Variables();
4667
4668 /**
4669 * The meta object literal for the '<em><b>Value</b></em>' containment reference feature.
4670 * <!-- begin-user-doc -->
4671 * <!-- end-user-doc -->
4672 * @generated
4673 */
4674 EReference RELATION_DEFINITION__VALUE = eINSTANCE.getRelationDefinition_Value();
4675
4676 /**
4677 * The meta object literal for the '<em><b>Defines</b></em>' reference feature.
4678 * <!-- begin-user-doc -->
4679 * <!-- end-user-doc -->
4680 * @generated
4681 */
4682 EReference RELATION_DEFINITION__DEFINES = eINSTANCE.getRelationDefinition_Defines();
4683
4684 /**
4685 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.FunctionDefinitionImpl <em>Function Definition</em>}' class.
4686 * <!-- begin-user-doc -->
4687 * <!-- end-user-doc -->
4688 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.FunctionDefinitionImpl
4689 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getFunctionDefinition()
4690 * @generated
4691 */
4692 EClass FUNCTION_DEFINITION = eINSTANCE.getFunctionDefinition();
4693
4694 /**
4695 * The meta object literal for the '<em><b>Variable</b></em>' containment reference list feature.
4696 * <!-- begin-user-doc -->
4697 * <!-- end-user-doc -->
4698 * @generated
4699 */
4700 EReference FUNCTION_DEFINITION__VARIABLE = eINSTANCE.getFunctionDefinition_Variable();
4701
4702 /**
4703 * The meta object literal for the '<em><b>Defines</b></em>' reference feature.
4704 * <!-- begin-user-doc -->
4705 * <!-- end-user-doc -->
4706 * @generated
4707 */
4708 EReference FUNCTION_DEFINITION__DEFINES = eINSTANCE.getFunctionDefinition_Defines();
4709
4710 /**
4711 * The meta object literal for the '<em><b>Value</b></em>' containment reference feature.
4712 * <!-- begin-user-doc -->
4713 * <!-- end-user-doc -->
4714 * @generated
4715 */
4716 EReference FUNCTION_DEFINITION__VALUE = eINSTANCE.getFunctionDefinition_Value();
4717
4718 /**
4719 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.IfThenElseImpl <em>If Then Else</em>}' class.
4720 * <!-- begin-user-doc -->
4721 * <!-- end-user-doc -->
4722 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.IfThenElseImpl
4723 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getIfThenElse()
4724 * @generated
4725 */
4726 EClass IF_THEN_ELSE = eINSTANCE.getIfThenElse();
4727
4728 /**
4729 * The meta object literal for the '<em><b>Condition</b></em>' containment reference feature.
4730 * <!-- begin-user-doc -->
4731 * <!-- end-user-doc -->
4732 * @generated
4733 */
4734 EReference IF_THEN_ELSE__CONDITION = eINSTANCE.getIfThenElse_Condition();
4735
4736 /**
4737 * The meta object literal for the '<em><b>If True</b></em>' containment reference feature.
4738 * <!-- begin-user-doc -->
4739 * <!-- end-user-doc -->
4740 * @generated
4741 */
4742 EReference IF_THEN_ELSE__IF_TRUE = eINSTANCE.getIfThenElse_IfTrue();
4743
4744 /**
4745 * The meta object literal for the '<em><b>If False</b></em>' containment reference feature.
4746 * <!-- begin-user-doc -->
4747 * <!-- end-user-doc -->
4748 * @generated
4749 */
4750 EReference IF_THEN_ELSE__IF_FALSE = eINSTANCE.getIfThenElse_IfFalse();
4751
4752 /**
4753 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.ConstantDeclarationImpl <em>Constant Declaration</em>}' class.
4754 * <!-- begin-user-doc -->
4755 * <!-- end-user-doc -->
4756 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.ConstantDeclarationImpl
4757 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getConstantDeclaration()
4758 * @generated
4759 */
4760 EClass CONSTANT_DECLARATION = eINSTANCE.getConstantDeclaration();
4761
4762 /**
4763 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.RelationDeclarationImpl <em>Relation Declaration</em>}' class.
4764 * <!-- begin-user-doc -->
4765 * <!-- end-user-doc -->
4766 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.RelationDeclarationImpl
4767 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getRelationDeclaration()
4768 * @generated
4769 */
4770 EClass RELATION_DECLARATION = eINSTANCE.getRelationDeclaration();
4771
4772 /**
4773 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.FunctionDeclarationImpl <em>Function Declaration</em>}' class.
4774 * <!-- begin-user-doc -->
4775 * <!-- end-user-doc -->
4776 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.FunctionDeclarationImpl
4777 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getFunctionDeclaration()
4778 * @generated
4779 */
4780 EClass FUNCTION_DECLARATION = eINSTANCE.getFunctionDeclaration();
4781
4782 /**
4783 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.TypeDeclarationImpl <em>Type Declaration</em>}' class.
4784 * <!-- begin-user-doc -->
4785 * <!-- end-user-doc -->
4786 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.TypeDeclarationImpl
4787 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getTypeDeclaration()
4788 * @generated
4789 */
4790 EClass TYPE_DECLARATION = eINSTANCE.getTypeDeclaration();
4791
4792 /**
4793 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.UnknownBecauseUninterpretedImpl <em>Unknown Because Uninterpreted</em>}' class.
4794 * <!-- begin-user-doc -->
4795 * <!-- end-user-doc -->
4796 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.UnknownBecauseUninterpretedImpl
4797 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getUnknownBecauseUninterpreted()
4798 * @generated
4799 */
4800 EClass UNKNOWN_BECAUSE_UNINTERPRETED = eINSTANCE.getUnknownBecauseUninterpreted();
4801
4802 /**
4803 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.InstanceOfImpl <em>Instance Of</em>}' class.
4804 * <!-- begin-user-doc -->
4805 * <!-- end-user-doc -->
4806 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.InstanceOfImpl
4807 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getInstanceOf()
4808 * @generated
4809 */
4810 EClass INSTANCE_OF = eINSTANCE.getInstanceOf();
4811
4812 /**
4813 * The meta object literal for the '<em><b>Value</b></em>' containment reference feature.
4814 * <!-- begin-user-doc -->
4815 * <!-- end-user-doc -->
4816 * @generated
4817 */
4818 EReference INSTANCE_OF__VALUE = eINSTANCE.getInstanceOf_Value();
4819
4820 /**
4821 * The meta object literal for the '<em><b>Range</b></em>' containment reference feature.
4822 * <!-- begin-user-doc -->
4823 * <!-- end-user-doc -->
4824 * @generated
4825 */
4826 EReference INSTANCE_OF__RANGE = eINSTANCE.getInstanceOf_Range();
4827
4828 }
4829
4830} //LogiclanguagePackage
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-29 06:54:49 +0000