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