aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/SmtLanguagePackage.java
diff options
context:
space:
mode:
Diffstat (limited to 'Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/SmtLanguagePackage.java')
-rw-r--r--Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/SmtLanguagePackage.java6013
1 files changed, 6013 insertions, 0 deletions
diff --git a/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/SmtLanguagePackage.java b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/SmtLanguagePackage.java
new file mode 100644
index 00000000..23355767
--- /dev/null
+++ b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/SmtLanguagePackage.java
@@ -0,0 +1,6013 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.smtLanguage;
4
5import org.eclipse.emf.ecore.EAttribute;
6import org.eclipse.emf.ecore.EClass;
7import org.eclipse.emf.ecore.EPackage;
8import org.eclipse.emf.ecore.EReference;
9
10/**
11 * <!-- begin-user-doc -->
12 * The <b>Package</b> for the model.
13 * It contains accessors for the meta objects to represent
14 * <ul>
15 * <li>each class,</li>
16 * <li>each feature of each class,</li>
17 * <li>each enum,</li>
18 * <li>and each data type</li>
19 * </ul>
20 * <!-- end-user-doc -->
21 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SmtLanguageFactory
22 * @model kind="package"
23 * @generated
24 */
25public interface SmtLanguagePackage extends EPackage
26{
27 /**
28 * The package name.
29 * <!-- begin-user-doc -->
30 * <!-- end-user-doc -->
31 * @generated
32 */
33 String eNAME = "smtLanguage";
34
35 /**
36 * The package namespace URI.
37 * <!-- begin-user-doc -->
38 * <!-- end-user-doc -->
39 * @generated
40 */
41 String eNS_URI = "http://www.bme.hu/mit/inf/dslreasoner/SmtLanguage";
42
43 /**
44 * The package namespace name.
45 * <!-- begin-user-doc -->
46 * <!-- end-user-doc -->
47 * @generated
48 */
49 String eNS_PREFIX = "smtLanguage";
50
51 /**
52 * The singleton instance of the package.
53 * <!-- begin-user-doc -->
54 * <!-- end-user-doc -->
55 * @generated
56 */
57 SmtLanguagePackage eINSTANCE = hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl.init();
58
59 /**
60 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTDocumentImpl <em>SMT Document</em>}' class.
61 * <!-- begin-user-doc -->
62 * <!-- end-user-doc -->
63 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTDocumentImpl
64 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTDocument()
65 * @generated
66 */
67 int SMT_DOCUMENT = 0;
68
69 /**
70 * The feature id for the '<em><b>Input</b></em>' containment reference.
71 * <!-- begin-user-doc -->
72 * <!-- end-user-doc -->
73 * @generated
74 * @ordered
75 */
76 int SMT_DOCUMENT__INPUT = 0;
77
78 /**
79 * The feature id for the '<em><b>Output</b></em>' containment reference.
80 * <!-- begin-user-doc -->
81 * <!-- end-user-doc -->
82 * @generated
83 * @ordered
84 */
85 int SMT_DOCUMENT__OUTPUT = 1;
86
87 /**
88 * The number of structural features of the '<em>SMT Document</em>' class.
89 * <!-- begin-user-doc -->
90 * <!-- end-user-doc -->
91 * @generated
92 * @ordered
93 */
94 int SMT_DOCUMENT_FEATURE_COUNT = 2;
95
96 /**
97 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTInputImpl <em>SMT Input</em>}' class.
98 * <!-- begin-user-doc -->
99 * <!-- end-user-doc -->
100 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTInputImpl
101 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTInput()
102 * @generated
103 */
104 int SMT_INPUT = 1;
105
106 /**
107 * The feature id for the '<em><b>Options</b></em>' containment reference list.
108 * <!-- begin-user-doc -->
109 * <!-- end-user-doc -->
110 * @generated
111 * @ordered
112 */
113 int SMT_INPUT__OPTIONS = 0;
114
115 /**
116 * The feature id for the '<em><b>Type Declarations</b></em>' containment reference list.
117 * <!-- begin-user-doc -->
118 * <!-- end-user-doc -->
119 * @generated
120 * @ordered
121 */
122 int SMT_INPUT__TYPE_DECLARATIONS = 1;
123
124 /**
125 * The feature id for the '<em><b>Function Declarations</b></em>' containment reference list.
126 * <!-- begin-user-doc -->
127 * <!-- end-user-doc -->
128 * @generated
129 * @ordered
130 */
131 int SMT_INPUT__FUNCTION_DECLARATIONS = 2;
132
133 /**
134 * The feature id for the '<em><b>Function Definition</b></em>' containment reference list.
135 * <!-- begin-user-doc -->
136 * <!-- end-user-doc -->
137 * @generated
138 * @ordered
139 */
140 int SMT_INPUT__FUNCTION_DEFINITION = 3;
141
142 /**
143 * The feature id for the '<em><b>Assertions</b></em>' containment reference list.
144 * <!-- begin-user-doc -->
145 * <!-- end-user-doc -->
146 * @generated
147 * @ordered
148 */
149 int SMT_INPUT__ASSERTIONS = 4;
150
151 /**
152 * The feature id for the '<em><b>Sat Command</b></em>' containment reference.
153 * <!-- begin-user-doc -->
154 * <!-- end-user-doc -->
155 * @generated
156 * @ordered
157 */
158 int SMT_INPUT__SAT_COMMAND = 5;
159
160 /**
161 * The feature id for the '<em><b>Get Model Command</b></em>' containment reference.
162 * <!-- begin-user-doc -->
163 * <!-- end-user-doc -->
164 * @generated
165 * @ordered
166 */
167 int SMT_INPUT__GET_MODEL_COMMAND = 6;
168
169 /**
170 * The number of structural features of the '<em>SMT Input</em>' class.
171 * <!-- begin-user-doc -->
172 * <!-- end-user-doc -->
173 * @generated
174 * @ordered
175 */
176 int SMT_INPUT_FEATURE_COUNT = 7;
177
178 /**
179 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTOutputImpl <em>SMT Output</em>}' class.
180 * <!-- begin-user-doc -->
181 * <!-- end-user-doc -->
182 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTOutputImpl
183 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTOutput()
184 * @generated
185 */
186 int SMT_OUTPUT = 2;
187
188 /**
189 * The feature id for the '<em><b>Sat Result</b></em>' containment reference.
190 * <!-- begin-user-doc -->
191 * <!-- end-user-doc -->
192 * @generated
193 * @ordered
194 */
195 int SMT_OUTPUT__SAT_RESULT = 0;
196
197 /**
198 * The feature id for the '<em><b>Get Model Result</b></em>' containment reference.
199 * <!-- begin-user-doc -->
200 * <!-- end-user-doc -->
201 * @generated
202 * @ordered
203 */
204 int SMT_OUTPUT__GET_MODEL_RESULT = 1;
205
206 /**
207 * The feature id for the '<em><b>Statistics</b></em>' containment reference.
208 * <!-- begin-user-doc -->
209 * <!-- end-user-doc -->
210 * @generated
211 * @ordered
212 */
213 int SMT_OUTPUT__STATISTICS = 2;
214
215 /**
216 * The number of structural features of the '<em>SMT Output</em>' class.
217 * <!-- begin-user-doc -->
218 * <!-- end-user-doc -->
219 * @generated
220 * @ordered
221 */
222 int SMT_OUTPUT_FEATURE_COUNT = 3;
223
224 /**
225 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTOptionImpl <em>SMT Option</em>}' class.
226 * <!-- begin-user-doc -->
227 * <!-- end-user-doc -->
228 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTOptionImpl
229 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTOption()
230 * @generated
231 */
232 int SMT_OPTION = 3;
233
234 /**
235 * The feature id for the '<em><b>Name</b></em>' attribute.
236 * <!-- begin-user-doc -->
237 * <!-- end-user-doc -->
238 * @generated
239 * @ordered
240 */
241 int SMT_OPTION__NAME = 0;
242
243 /**
244 * The feature id for the '<em><b>Value</b></em>' containment reference.
245 * <!-- begin-user-doc -->
246 * <!-- end-user-doc -->
247 * @generated
248 * @ordered
249 */
250 int SMT_OPTION__VALUE = 1;
251
252 /**
253 * The number of structural features of the '<em>SMT Option</em>' class.
254 * <!-- begin-user-doc -->
255 * <!-- end-user-doc -->
256 * @generated
257 * @ordered
258 */
259 int SMT_OPTION_FEATURE_COUNT = 2;
260
261 /**
262 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTTypeImpl <em>SMT Type</em>}' class.
263 * <!-- begin-user-doc -->
264 * <!-- end-user-doc -->
265 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTTypeImpl
266 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTType()
267 * @generated
268 */
269 int SMT_TYPE = 4;
270
271 /**
272 * The feature id for the '<em><b>Name</b></em>' attribute.
273 * <!-- begin-user-doc -->
274 * <!-- end-user-doc -->
275 * @generated
276 * @ordered
277 */
278 int SMT_TYPE__NAME = 0;
279
280 /**
281 * The number of structural features of the '<em>SMT Type</em>' class.
282 * <!-- begin-user-doc -->
283 * <!-- end-user-doc -->
284 * @generated
285 * @ordered
286 */
287 int SMT_TYPE_FEATURE_COUNT = 1;
288
289 /**
290 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTSymbolicDeclarationImpl <em>SMT Symbolic Declaration</em>}' class.
291 * <!-- begin-user-doc -->
292 * <!-- end-user-doc -->
293 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTSymbolicDeclarationImpl
294 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTSymbolicDeclaration()
295 * @generated
296 */
297 int SMT_SYMBOLIC_DECLARATION = 17;
298
299 /**
300 * The feature id for the '<em><b>Name</b></em>' attribute.
301 * <!-- begin-user-doc -->
302 * <!-- end-user-doc -->
303 * @generated
304 * @ordered
305 */
306 int SMT_SYMBOLIC_DECLARATION__NAME = 0;
307
308 /**
309 * The number of structural features of the '<em>SMT Symbolic Declaration</em>' class.
310 * <!-- begin-user-doc -->
311 * <!-- end-user-doc -->
312 * @generated
313 * @ordered
314 */
315 int SMT_SYMBOLIC_DECLARATION_FEATURE_COUNT = 1;
316
317 /**
318 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTEnumLiteralImpl <em>SMT Enum Literal</em>}' class.
319 * <!-- begin-user-doc -->
320 * <!-- end-user-doc -->
321 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTEnumLiteralImpl
322 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTEnumLiteral()
323 * @generated
324 */
325 int SMT_ENUM_LITERAL = 5;
326
327 /**
328 * The feature id for the '<em><b>Name</b></em>' attribute.
329 * <!-- begin-user-doc -->
330 * <!-- end-user-doc -->
331 * @generated
332 * @ordered
333 */
334 int SMT_ENUM_LITERAL__NAME = SMT_SYMBOLIC_DECLARATION__NAME;
335
336 /**
337 * The number of structural features of the '<em>SMT Enum Literal</em>' class.
338 * <!-- begin-user-doc -->
339 * <!-- end-user-doc -->
340 * @generated
341 * @ordered
342 */
343 int SMT_ENUM_LITERAL_FEATURE_COUNT = SMT_SYMBOLIC_DECLARATION_FEATURE_COUNT + 0;
344
345 /**
346 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTEnumeratedTypeDeclarationImpl <em>SMT Enumerated Type Declaration</em>}' class.
347 * <!-- begin-user-doc -->
348 * <!-- end-user-doc -->
349 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTEnumeratedTypeDeclarationImpl
350 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTEnumeratedTypeDeclaration()
351 * @generated
352 */
353 int SMT_ENUMERATED_TYPE_DECLARATION = 6;
354
355 /**
356 * The feature id for the '<em><b>Name</b></em>' attribute.
357 * <!-- begin-user-doc -->
358 * <!-- end-user-doc -->
359 * @generated
360 * @ordered
361 */
362 int SMT_ENUMERATED_TYPE_DECLARATION__NAME = SMT_TYPE__NAME;
363
364 /**
365 * The feature id for the '<em><b>Elements</b></em>' containment reference list.
366 * <!-- begin-user-doc -->
367 * <!-- end-user-doc -->
368 * @generated
369 * @ordered
370 */
371 int SMT_ENUMERATED_TYPE_DECLARATION__ELEMENTS = SMT_TYPE_FEATURE_COUNT + 0;
372
373 /**
374 * The number of structural features of the '<em>SMT Enumerated Type Declaration</em>' class.
375 * <!-- begin-user-doc -->
376 * <!-- end-user-doc -->
377 * @generated
378 * @ordered
379 */
380 int SMT_ENUMERATED_TYPE_DECLARATION_FEATURE_COUNT = SMT_TYPE_FEATURE_COUNT + 1;
381
382 /**
383 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTSetTypeDeclarationImpl <em>SMT Set Type Declaration</em>}' class.
384 * <!-- begin-user-doc -->
385 * <!-- end-user-doc -->
386 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTSetTypeDeclarationImpl
387 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTSetTypeDeclaration()
388 * @generated
389 */
390 int SMT_SET_TYPE_DECLARATION = 7;
391
392 /**
393 * The feature id for the '<em><b>Name</b></em>' attribute.
394 * <!-- begin-user-doc -->
395 * <!-- end-user-doc -->
396 * @generated
397 * @ordered
398 */
399 int SMT_SET_TYPE_DECLARATION__NAME = SMT_TYPE__NAME;
400
401 /**
402 * The number of structural features of the '<em>SMT Set Type Declaration</em>' class.
403 * <!-- begin-user-doc -->
404 * <!-- end-user-doc -->
405 * @generated
406 * @ordered
407 */
408 int SMT_SET_TYPE_DECLARATION_FEATURE_COUNT = SMT_TYPE_FEATURE_COUNT + 0;
409
410 /**
411 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTTypeReferenceImpl <em>SMT Type Reference</em>}' class.
412 * <!-- begin-user-doc -->
413 * <!-- end-user-doc -->
414 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTTypeReferenceImpl
415 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTTypeReference()
416 * @generated
417 */
418 int SMT_TYPE_REFERENCE = 8;
419
420 /**
421 * The number of structural features of the '<em>SMT Type Reference</em>' class.
422 * <!-- begin-user-doc -->
423 * <!-- end-user-doc -->
424 * @generated
425 * @ordered
426 */
427 int SMT_TYPE_REFERENCE_FEATURE_COUNT = 0;
428
429 /**
430 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTComplexTypeReferenceImpl <em>SMT Complex Type Reference</em>}' class.
431 * <!-- begin-user-doc -->
432 * <!-- end-user-doc -->
433 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTComplexTypeReferenceImpl
434 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTComplexTypeReference()
435 * @generated
436 */
437 int SMT_COMPLEX_TYPE_REFERENCE = 9;
438
439 /**
440 * The feature id for the '<em><b>Referred</b></em>' reference.
441 * <!-- begin-user-doc -->
442 * <!-- end-user-doc -->
443 * @generated
444 * @ordered
445 */
446 int SMT_COMPLEX_TYPE_REFERENCE__REFERRED = SMT_TYPE_REFERENCE_FEATURE_COUNT + 0;
447
448 /**
449 * The number of structural features of the '<em>SMT Complex Type Reference</em>' class.
450 * <!-- begin-user-doc -->
451 * <!-- end-user-doc -->
452 * @generated
453 * @ordered
454 */
455 int SMT_COMPLEX_TYPE_REFERENCE_FEATURE_COUNT = SMT_TYPE_REFERENCE_FEATURE_COUNT + 1;
456
457 /**
458 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTPrimitiveTypeReferenceImpl <em>SMT Primitive Type Reference</em>}' class.
459 * <!-- begin-user-doc -->
460 * <!-- end-user-doc -->
461 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTPrimitiveTypeReferenceImpl
462 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTPrimitiveTypeReference()
463 * @generated
464 */
465 int SMT_PRIMITIVE_TYPE_REFERENCE = 10;
466
467 /**
468 * The number of structural features of the '<em>SMT Primitive Type Reference</em>' class.
469 * <!-- begin-user-doc -->
470 * <!-- end-user-doc -->
471 * @generated
472 * @ordered
473 */
474 int SMT_PRIMITIVE_TYPE_REFERENCE_FEATURE_COUNT = SMT_TYPE_REFERENCE_FEATURE_COUNT + 0;
475
476 /**
477 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTIntTypeReferenceImpl <em>SMT Int Type Reference</em>}' class.
478 * <!-- begin-user-doc -->
479 * <!-- end-user-doc -->
480 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTIntTypeReferenceImpl
481 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTIntTypeReference()
482 * @generated
483 */
484 int SMT_INT_TYPE_REFERENCE = 11;
485
486 /**
487 * The number of structural features of the '<em>SMT Int Type Reference</em>' class.
488 * <!-- begin-user-doc -->
489 * <!-- end-user-doc -->
490 * @generated
491 * @ordered
492 */
493 int SMT_INT_TYPE_REFERENCE_FEATURE_COUNT = SMT_PRIMITIVE_TYPE_REFERENCE_FEATURE_COUNT + 0;
494
495 /**
496 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTBoolTypeReferenceImpl <em>SMT Bool Type Reference</em>}' class.
497 * <!-- begin-user-doc -->
498 * <!-- end-user-doc -->
499 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTBoolTypeReferenceImpl
500 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTBoolTypeReference()
501 * @generated
502 */
503 int SMT_BOOL_TYPE_REFERENCE = 12;
504
505 /**
506 * The number of structural features of the '<em>SMT Bool Type Reference</em>' class.
507 * <!-- begin-user-doc -->
508 * <!-- end-user-doc -->
509 * @generated
510 * @ordered
511 */
512 int SMT_BOOL_TYPE_REFERENCE_FEATURE_COUNT = SMT_PRIMITIVE_TYPE_REFERENCE_FEATURE_COUNT + 0;
513
514 /**
515 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTRealTypeReferenceImpl <em>SMT Real Type Reference</em>}' class.
516 * <!-- begin-user-doc -->
517 * <!-- end-user-doc -->
518 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTRealTypeReferenceImpl
519 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTRealTypeReference()
520 * @generated
521 */
522 int SMT_REAL_TYPE_REFERENCE = 13;
523
524 /**
525 * The number of structural features of the '<em>SMT Real Type Reference</em>' class.
526 * <!-- begin-user-doc -->
527 * <!-- end-user-doc -->
528 * @generated
529 * @ordered
530 */
531 int SMT_REAL_TYPE_REFERENCE_FEATURE_COUNT = SMT_PRIMITIVE_TYPE_REFERENCE_FEATURE_COUNT + 0;
532
533 /**
534 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTFunctionDeclarationImpl <em>SMT Function Declaration</em>}' class.
535 * <!-- begin-user-doc -->
536 * <!-- end-user-doc -->
537 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTFunctionDeclarationImpl
538 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTFunctionDeclaration()
539 * @generated
540 */
541 int SMT_FUNCTION_DECLARATION = 14;
542
543 /**
544 * The feature id for the '<em><b>Name</b></em>' attribute.
545 * <!-- begin-user-doc -->
546 * <!-- end-user-doc -->
547 * @generated
548 * @ordered
549 */
550 int SMT_FUNCTION_DECLARATION__NAME = SMT_SYMBOLIC_DECLARATION__NAME;
551
552 /**
553 * The feature id for the '<em><b>Parameters</b></em>' containment reference list.
554 * <!-- begin-user-doc -->
555 * <!-- end-user-doc -->
556 * @generated
557 * @ordered
558 */
559 int SMT_FUNCTION_DECLARATION__PARAMETERS = SMT_SYMBOLIC_DECLARATION_FEATURE_COUNT + 0;
560
561 /**
562 * The feature id for the '<em><b>Range</b></em>' containment reference.
563 * <!-- begin-user-doc -->
564 * <!-- end-user-doc -->
565 * @generated
566 * @ordered
567 */
568 int SMT_FUNCTION_DECLARATION__RANGE = SMT_SYMBOLIC_DECLARATION_FEATURE_COUNT + 1;
569
570 /**
571 * The number of structural features of the '<em>SMT Function Declaration</em>' class.
572 * <!-- begin-user-doc -->
573 * <!-- end-user-doc -->
574 * @generated
575 * @ordered
576 */
577 int SMT_FUNCTION_DECLARATION_FEATURE_COUNT = SMT_SYMBOLIC_DECLARATION_FEATURE_COUNT + 2;
578
579 /**
580 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTFunctionDefinitionImpl <em>SMT Function Definition</em>}' class.
581 * <!-- begin-user-doc -->
582 * <!-- end-user-doc -->
583 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTFunctionDefinitionImpl
584 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTFunctionDefinition()
585 * @generated
586 */
587 int SMT_FUNCTION_DEFINITION = 15;
588
589 /**
590 * The feature id for the '<em><b>Name</b></em>' attribute.
591 * <!-- begin-user-doc -->
592 * <!-- end-user-doc -->
593 * @generated
594 * @ordered
595 */
596 int SMT_FUNCTION_DEFINITION__NAME = SMT_SYMBOLIC_DECLARATION__NAME;
597
598 /**
599 * The feature id for the '<em><b>Parameters</b></em>' containment reference list.
600 * <!-- begin-user-doc -->
601 * <!-- end-user-doc -->
602 * @generated
603 * @ordered
604 */
605 int SMT_FUNCTION_DEFINITION__PARAMETERS = SMT_SYMBOLIC_DECLARATION_FEATURE_COUNT + 0;
606
607 /**
608 * The feature id for the '<em><b>Range</b></em>' containment reference.
609 * <!-- begin-user-doc -->
610 * <!-- end-user-doc -->
611 * @generated
612 * @ordered
613 */
614 int SMT_FUNCTION_DEFINITION__RANGE = SMT_SYMBOLIC_DECLARATION_FEATURE_COUNT + 1;
615
616 /**
617 * The feature id for the '<em><b>Value</b></em>' containment reference.
618 * <!-- begin-user-doc -->
619 * <!-- end-user-doc -->
620 * @generated
621 * @ordered
622 */
623 int SMT_FUNCTION_DEFINITION__VALUE = SMT_SYMBOLIC_DECLARATION_FEATURE_COUNT + 2;
624
625 /**
626 * The number of structural features of the '<em>SMT Function Definition</em>' class.
627 * <!-- begin-user-doc -->
628 * <!-- end-user-doc -->
629 * @generated
630 * @ordered
631 */
632 int SMT_FUNCTION_DEFINITION_FEATURE_COUNT = SMT_SYMBOLIC_DECLARATION_FEATURE_COUNT + 3;
633
634 /**
635 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTTermImpl <em>SMT Term</em>}' class.
636 * <!-- begin-user-doc -->
637 * <!-- end-user-doc -->
638 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTTermImpl
639 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTTerm()
640 * @generated
641 */
642 int SMT_TERM = 16;
643
644 /**
645 * The number of structural features of the '<em>SMT Term</em>' class.
646 * <!-- begin-user-doc -->
647 * <!-- end-user-doc -->
648 * @generated
649 * @ordered
650 */
651 int SMT_TERM_FEATURE_COUNT = 0;
652
653 /**
654 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTSymbolicValueImpl <em>SMT Symbolic Value</em>}' class.
655 * <!-- begin-user-doc -->
656 * <!-- end-user-doc -->
657 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTSymbolicValueImpl
658 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTSymbolicValue()
659 * @generated
660 */
661 int SMT_SYMBOLIC_VALUE = 18;
662
663 /**
664 * The feature id for the '<em><b>Symbolic Reference</b></em>' reference.
665 * <!-- begin-user-doc -->
666 * <!-- end-user-doc -->
667 * @generated
668 * @ordered
669 */
670 int SMT_SYMBOLIC_VALUE__SYMBOLIC_REFERENCE = SMT_TERM_FEATURE_COUNT + 0;
671
672 /**
673 * The feature id for the '<em><b>Parameter Substitutions</b></em>' containment reference list.
674 * <!-- begin-user-doc -->
675 * <!-- end-user-doc -->
676 * @generated
677 * @ordered
678 */
679 int SMT_SYMBOLIC_VALUE__PARAMETER_SUBSTITUTIONS = SMT_TERM_FEATURE_COUNT + 1;
680
681 /**
682 * The number of structural features of the '<em>SMT Symbolic Value</em>' class.
683 * <!-- begin-user-doc -->
684 * <!-- end-user-doc -->
685 * @generated
686 * @ordered
687 */
688 int SMT_SYMBOLIC_VALUE_FEATURE_COUNT = SMT_TERM_FEATURE_COUNT + 2;
689
690 /**
691 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTAtomicTermImpl <em>SMT Atomic Term</em>}' class.
692 * <!-- begin-user-doc -->
693 * <!-- end-user-doc -->
694 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTAtomicTermImpl
695 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTAtomicTerm()
696 * @generated
697 */
698 int SMT_ATOMIC_TERM = 19;
699
700 /**
701 * The number of structural features of the '<em>SMT Atomic Term</em>' class.
702 * <!-- begin-user-doc -->
703 * <!-- end-user-doc -->
704 * @generated
705 * @ordered
706 */
707 int SMT_ATOMIC_TERM_FEATURE_COUNT = SMT_TERM_FEATURE_COUNT + 0;
708
709 /**
710 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTIntLiteralImpl <em>SMT Int Literal</em>}' class.
711 * <!-- begin-user-doc -->
712 * <!-- end-user-doc -->
713 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTIntLiteralImpl
714 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTIntLiteral()
715 * @generated
716 */
717 int SMT_INT_LITERAL = 20;
718
719 /**
720 * The feature id for the '<em><b>Value</b></em>' attribute.
721 * <!-- begin-user-doc -->
722 * <!-- end-user-doc -->
723 * @generated
724 * @ordered
725 */
726 int SMT_INT_LITERAL__VALUE = SMT_ATOMIC_TERM_FEATURE_COUNT + 0;
727
728 /**
729 * The number of structural features of the '<em>SMT Int Literal</em>' class.
730 * <!-- begin-user-doc -->
731 * <!-- end-user-doc -->
732 * @generated
733 * @ordered
734 */
735 int SMT_INT_LITERAL_FEATURE_COUNT = SMT_ATOMIC_TERM_FEATURE_COUNT + 1;
736
737 /**
738 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTBoolLiteralImpl <em>SMT Bool Literal</em>}' class.
739 * <!-- begin-user-doc -->
740 * <!-- end-user-doc -->
741 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTBoolLiteralImpl
742 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTBoolLiteral()
743 * @generated
744 */
745 int SMT_BOOL_LITERAL = 21;
746
747 /**
748 * The feature id for the '<em><b>Value</b></em>' attribute.
749 * <!-- begin-user-doc -->
750 * <!-- end-user-doc -->
751 * @generated
752 * @ordered
753 */
754 int SMT_BOOL_LITERAL__VALUE = SMT_ATOMIC_TERM_FEATURE_COUNT + 0;
755
756 /**
757 * The number of structural features of the '<em>SMT Bool Literal</em>' class.
758 * <!-- begin-user-doc -->
759 * <!-- end-user-doc -->
760 * @generated
761 * @ordered
762 */
763 int SMT_BOOL_LITERAL_FEATURE_COUNT = SMT_ATOMIC_TERM_FEATURE_COUNT + 1;
764
765 /**
766 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTRealLiteralImpl <em>SMT Real Literal</em>}' class.
767 * <!-- begin-user-doc -->
768 * <!-- end-user-doc -->
769 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTRealLiteralImpl
770 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTRealLiteral()
771 * @generated
772 */
773 int SMT_REAL_LITERAL = 22;
774
775 /**
776 * The feature id for the '<em><b>Value</b></em>' attribute.
777 * <!-- begin-user-doc -->
778 * <!-- end-user-doc -->
779 * @generated
780 * @ordered
781 */
782 int SMT_REAL_LITERAL__VALUE = SMT_ATOMIC_TERM_FEATURE_COUNT + 0;
783
784 /**
785 * The number of structural features of the '<em>SMT Real Literal</em>' class.
786 * <!-- begin-user-doc -->
787 * <!-- end-user-doc -->
788 * @generated
789 * @ordered
790 */
791 int SMT_REAL_LITERAL_FEATURE_COUNT = SMT_ATOMIC_TERM_FEATURE_COUNT + 1;
792
793 /**
794 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTSortedVariableImpl <em>SMT Sorted Variable</em>}' class.
795 * <!-- begin-user-doc -->
796 * <!-- end-user-doc -->
797 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTSortedVariableImpl
798 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTSortedVariable()
799 * @generated
800 */
801 int SMT_SORTED_VARIABLE = 23;
802
803 /**
804 * The feature id for the '<em><b>Name</b></em>' attribute.
805 * <!-- begin-user-doc -->
806 * <!-- end-user-doc -->
807 * @generated
808 * @ordered
809 */
810 int SMT_SORTED_VARIABLE__NAME = SMT_SYMBOLIC_DECLARATION__NAME;
811
812 /**
813 * The feature id for the '<em><b>Range</b></em>' containment reference.
814 * <!-- begin-user-doc -->
815 * <!-- end-user-doc -->
816 * @generated
817 * @ordered
818 */
819 int SMT_SORTED_VARIABLE__RANGE = SMT_SYMBOLIC_DECLARATION_FEATURE_COUNT + 0;
820
821 /**
822 * The number of structural features of the '<em>SMT Sorted Variable</em>' class.
823 * <!-- begin-user-doc -->
824 * <!-- end-user-doc -->
825 * @generated
826 * @ordered
827 */
828 int SMT_SORTED_VARIABLE_FEATURE_COUNT = SMT_SYMBOLIC_DECLARATION_FEATURE_COUNT + 1;
829
830 /**
831 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTQuantifiedExpressionImpl <em>SMT Quantified Expression</em>}' class.
832 * <!-- begin-user-doc -->
833 * <!-- end-user-doc -->
834 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTQuantifiedExpressionImpl
835 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTQuantifiedExpression()
836 * @generated
837 */
838 int SMT_QUANTIFIED_EXPRESSION = 24;
839
840 /**
841 * The feature id for the '<em><b>Quantified Variables</b></em>' containment reference list.
842 * <!-- begin-user-doc -->
843 * <!-- end-user-doc -->
844 * @generated
845 * @ordered
846 */
847 int SMT_QUANTIFIED_EXPRESSION__QUANTIFIED_VARIABLES = SMT_TERM_FEATURE_COUNT + 0;
848
849 /**
850 * The feature id for the '<em><b>Expression</b></em>' containment reference.
851 * <!-- begin-user-doc -->
852 * <!-- end-user-doc -->
853 * @generated
854 * @ordered
855 */
856 int SMT_QUANTIFIED_EXPRESSION__EXPRESSION = SMT_TERM_FEATURE_COUNT + 1;
857
858 /**
859 * The feature id for the '<em><b>Pattern</b></em>' containment reference.
860 * <!-- begin-user-doc -->
861 * <!-- end-user-doc -->
862 * @generated
863 * @ordered
864 */
865 int SMT_QUANTIFIED_EXPRESSION__PATTERN = SMT_TERM_FEATURE_COUNT + 2;
866
867 /**
868 * The number of structural features of the '<em>SMT Quantified Expression</em>' class.
869 * <!-- begin-user-doc -->
870 * <!-- end-user-doc -->
871 * @generated
872 * @ordered
873 */
874 int SMT_QUANTIFIED_EXPRESSION_FEATURE_COUNT = SMT_TERM_FEATURE_COUNT + 3;
875
876 /**
877 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTExistsImpl <em>SMT Exists</em>}' class.
878 * <!-- begin-user-doc -->
879 * <!-- end-user-doc -->
880 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTExistsImpl
881 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTExists()
882 * @generated
883 */
884 int SMT_EXISTS = 25;
885
886 /**
887 * The feature id for the '<em><b>Quantified Variables</b></em>' containment reference list.
888 * <!-- begin-user-doc -->
889 * <!-- end-user-doc -->
890 * @generated
891 * @ordered
892 */
893 int SMT_EXISTS__QUANTIFIED_VARIABLES = SMT_QUANTIFIED_EXPRESSION__QUANTIFIED_VARIABLES;
894
895 /**
896 * The feature id for the '<em><b>Expression</b></em>' containment reference.
897 * <!-- begin-user-doc -->
898 * <!-- end-user-doc -->
899 * @generated
900 * @ordered
901 */
902 int SMT_EXISTS__EXPRESSION = SMT_QUANTIFIED_EXPRESSION__EXPRESSION;
903
904 /**
905 * The feature id for the '<em><b>Pattern</b></em>' containment reference.
906 * <!-- begin-user-doc -->
907 * <!-- end-user-doc -->
908 * @generated
909 * @ordered
910 */
911 int SMT_EXISTS__PATTERN = SMT_QUANTIFIED_EXPRESSION__PATTERN;
912
913 /**
914 * The number of structural features of the '<em>SMT Exists</em>' class.
915 * <!-- begin-user-doc -->
916 * <!-- end-user-doc -->
917 * @generated
918 * @ordered
919 */
920 int SMT_EXISTS_FEATURE_COUNT = SMT_QUANTIFIED_EXPRESSION_FEATURE_COUNT + 0;
921
922 /**
923 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTForallImpl <em>SMT Forall</em>}' class.
924 * <!-- begin-user-doc -->
925 * <!-- end-user-doc -->
926 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTForallImpl
927 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTForall()
928 * @generated
929 */
930 int SMT_FORALL = 26;
931
932 /**
933 * The feature id for the '<em><b>Quantified Variables</b></em>' containment reference list.
934 * <!-- begin-user-doc -->
935 * <!-- end-user-doc -->
936 * @generated
937 * @ordered
938 */
939 int SMT_FORALL__QUANTIFIED_VARIABLES = SMT_QUANTIFIED_EXPRESSION__QUANTIFIED_VARIABLES;
940
941 /**
942 * The feature id for the '<em><b>Expression</b></em>' containment reference.
943 * <!-- begin-user-doc -->
944 * <!-- end-user-doc -->
945 * @generated
946 * @ordered
947 */
948 int SMT_FORALL__EXPRESSION = SMT_QUANTIFIED_EXPRESSION__EXPRESSION;
949
950 /**
951 * The feature id for the '<em><b>Pattern</b></em>' containment reference.
952 * <!-- begin-user-doc -->
953 * <!-- end-user-doc -->
954 * @generated
955 * @ordered
956 */
957 int SMT_FORALL__PATTERN = SMT_QUANTIFIED_EXPRESSION__PATTERN;
958
959 /**
960 * The number of structural features of the '<em>SMT Forall</em>' class.
961 * <!-- begin-user-doc -->
962 * <!-- end-user-doc -->
963 * @generated
964 * @ordered
965 */
966 int SMT_FORALL_FEATURE_COUNT = SMT_QUANTIFIED_EXPRESSION_FEATURE_COUNT + 0;
967
968 /**
969 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTBoolOperationImpl <em>SMT Bool Operation</em>}' class.
970 * <!-- begin-user-doc -->
971 * <!-- end-user-doc -->
972 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTBoolOperationImpl
973 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTBoolOperation()
974 * @generated
975 */
976 int SMT_BOOL_OPERATION = 27;
977
978 /**
979 * The number of structural features of the '<em>SMT Bool Operation</em>' class.
980 * <!-- begin-user-doc -->
981 * <!-- end-user-doc -->
982 * @generated
983 * @ordered
984 */
985 int SMT_BOOL_OPERATION_FEATURE_COUNT = SMT_TERM_FEATURE_COUNT + 0;
986
987 /**
988 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTAndImpl <em>SMT And</em>}' class.
989 * <!-- begin-user-doc -->
990 * <!-- end-user-doc -->
991 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTAndImpl
992 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTAnd()
993 * @generated
994 */
995 int SMT_AND = 28;
996
997 /**
998 * The feature id for the '<em><b>Operands</b></em>' containment reference list.
999 * <!-- begin-user-doc -->
1000 * <!-- end-user-doc -->
1001 * @generated
1002 * @ordered
1003 */
1004 int SMT_AND__OPERANDS = SMT_BOOL_OPERATION_FEATURE_COUNT + 0;
1005
1006 /**
1007 * The number of structural features of the '<em>SMT And</em>' class.
1008 * <!-- begin-user-doc -->
1009 * <!-- end-user-doc -->
1010 * @generated
1011 * @ordered
1012 */
1013 int SMT_AND_FEATURE_COUNT = SMT_BOOL_OPERATION_FEATURE_COUNT + 1;
1014
1015 /**
1016 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTOrImpl <em>SMT Or</em>}' class.
1017 * <!-- begin-user-doc -->
1018 * <!-- end-user-doc -->
1019 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTOrImpl
1020 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTOr()
1021 * @generated
1022 */
1023 int SMT_OR = 29;
1024
1025 /**
1026 * The feature id for the '<em><b>Operands</b></em>' containment reference list.
1027 * <!-- begin-user-doc -->
1028 * <!-- end-user-doc -->
1029 * @generated
1030 * @ordered
1031 */
1032 int SMT_OR__OPERANDS = SMT_BOOL_OPERATION_FEATURE_COUNT + 0;
1033
1034 /**
1035 * The number of structural features of the '<em>SMT Or</em>' class.
1036 * <!-- begin-user-doc -->
1037 * <!-- end-user-doc -->
1038 * @generated
1039 * @ordered
1040 */
1041 int SMT_OR_FEATURE_COUNT = SMT_BOOL_OPERATION_FEATURE_COUNT + 1;
1042
1043 /**
1044 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTImplImpl <em>SMT Impl</em>}' class.
1045 * <!-- begin-user-doc -->
1046 * <!-- end-user-doc -->
1047 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTImplImpl
1048 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTImpl()
1049 * @generated
1050 */
1051 int SMT_IMPL = 30;
1052
1053 /**
1054 * The feature id for the '<em><b>Left Operand</b></em>' containment reference.
1055 * <!-- begin-user-doc -->
1056 * <!-- end-user-doc -->
1057 * @generated
1058 * @ordered
1059 */
1060 int SMT_IMPL__LEFT_OPERAND = SMT_BOOL_OPERATION_FEATURE_COUNT + 0;
1061
1062 /**
1063 * The feature id for the '<em><b>Right Operand</b></em>' containment reference.
1064 * <!-- begin-user-doc -->
1065 * <!-- end-user-doc -->
1066 * @generated
1067 * @ordered
1068 */
1069 int SMT_IMPL__RIGHT_OPERAND = SMT_BOOL_OPERATION_FEATURE_COUNT + 1;
1070
1071 /**
1072 * The number of structural features of the '<em>SMT Impl</em>' class.
1073 * <!-- begin-user-doc -->
1074 * <!-- end-user-doc -->
1075 * @generated
1076 * @ordered
1077 */
1078 int SMT_IMPL_FEATURE_COUNT = SMT_BOOL_OPERATION_FEATURE_COUNT + 2;
1079
1080 /**
1081 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTNotImpl <em>SMT Not</em>}' class.
1082 * <!-- begin-user-doc -->
1083 * <!-- end-user-doc -->
1084 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTNotImpl
1085 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTNot()
1086 * @generated
1087 */
1088 int SMT_NOT = 31;
1089
1090 /**
1091 * The feature id for the '<em><b>Operand</b></em>' containment reference.
1092 * <!-- begin-user-doc -->
1093 * <!-- end-user-doc -->
1094 * @generated
1095 * @ordered
1096 */
1097 int SMT_NOT__OPERAND = SMT_BOOL_OPERATION_FEATURE_COUNT + 0;
1098
1099 /**
1100 * The number of structural features of the '<em>SMT Not</em>' class.
1101 * <!-- begin-user-doc -->
1102 * <!-- end-user-doc -->
1103 * @generated
1104 * @ordered
1105 */
1106 int SMT_NOT_FEATURE_COUNT = SMT_BOOL_OPERATION_FEATURE_COUNT + 1;
1107
1108 /**
1109 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTIffImpl <em>SMT Iff</em>}' class.
1110 * <!-- begin-user-doc -->
1111 * <!-- end-user-doc -->
1112 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTIffImpl
1113 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTIff()
1114 * @generated
1115 */
1116 int SMT_IFF = 32;
1117
1118 /**
1119 * The feature id for the '<em><b>Left Operand</b></em>' containment reference.
1120 * <!-- begin-user-doc -->
1121 * <!-- end-user-doc -->
1122 * @generated
1123 * @ordered
1124 */
1125 int SMT_IFF__LEFT_OPERAND = SMT_BOOL_OPERATION_FEATURE_COUNT + 0;
1126
1127 /**
1128 * The feature id for the '<em><b>Right Operand</b></em>' containment reference.
1129 * <!-- begin-user-doc -->
1130 * <!-- end-user-doc -->
1131 * @generated
1132 * @ordered
1133 */
1134 int SMT_IFF__RIGHT_OPERAND = SMT_BOOL_OPERATION_FEATURE_COUNT + 1;
1135
1136 /**
1137 * The number of structural features of the '<em>SMT Iff</em>' class.
1138 * <!-- begin-user-doc -->
1139 * <!-- end-user-doc -->
1140 * @generated
1141 * @ordered
1142 */
1143 int SMT_IFF_FEATURE_COUNT = SMT_BOOL_OPERATION_FEATURE_COUNT + 2;
1144
1145 /**
1146 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTITEImpl <em>SMTITE</em>}' class.
1147 * <!-- begin-user-doc -->
1148 * <!-- end-user-doc -->
1149 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTITEImpl
1150 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTITE()
1151 * @generated
1152 */
1153 int SMTITE = 33;
1154
1155 /**
1156 * The feature id for the '<em><b>Condition</b></em>' containment reference.
1157 * <!-- begin-user-doc -->
1158 * <!-- end-user-doc -->
1159 * @generated
1160 * @ordered
1161 */
1162 int SMTITE__CONDITION = SMT_TERM_FEATURE_COUNT + 0;
1163
1164 /**
1165 * The feature id for the '<em><b>If</b></em>' containment reference.
1166 * <!-- begin-user-doc -->
1167 * <!-- end-user-doc -->
1168 * @generated
1169 * @ordered
1170 */
1171 int SMTITE__IF = SMT_TERM_FEATURE_COUNT + 1;
1172
1173 /**
1174 * The feature id for the '<em><b>Else</b></em>' containment reference.
1175 * <!-- begin-user-doc -->
1176 * <!-- end-user-doc -->
1177 * @generated
1178 * @ordered
1179 */
1180 int SMTITE__ELSE = SMT_TERM_FEATURE_COUNT + 2;
1181
1182 /**
1183 * The number of structural features of the '<em>SMTITE</em>' class.
1184 * <!-- begin-user-doc -->
1185 * <!-- end-user-doc -->
1186 * @generated
1187 * @ordered
1188 */
1189 int SMTITE_FEATURE_COUNT = SMT_TERM_FEATURE_COUNT + 3;
1190
1191 /**
1192 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTLetImpl <em>SMT Let</em>}' class.
1193 * <!-- begin-user-doc -->
1194 * <!-- end-user-doc -->
1195 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTLetImpl
1196 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTLet()
1197 * @generated
1198 */
1199 int SMT_LET = 34;
1200
1201 /**
1202 * The feature id for the '<em><b>Inline Constant Definitions</b></em>' containment reference list.
1203 * <!-- begin-user-doc -->
1204 * <!-- end-user-doc -->
1205 * @generated
1206 * @ordered
1207 */
1208 int SMT_LET__INLINE_CONSTANT_DEFINITIONS = SMT_TERM_FEATURE_COUNT + 0;
1209
1210 /**
1211 * The feature id for the '<em><b>Term</b></em>' containment reference.
1212 * <!-- begin-user-doc -->
1213 * <!-- end-user-doc -->
1214 * @generated
1215 * @ordered
1216 */
1217 int SMT_LET__TERM = SMT_TERM_FEATURE_COUNT + 1;
1218
1219 /**
1220 * The number of structural features of the '<em>SMT Let</em>' class.
1221 * <!-- begin-user-doc -->
1222 * <!-- end-user-doc -->
1223 * @generated
1224 * @ordered
1225 */
1226 int SMT_LET_FEATURE_COUNT = SMT_TERM_FEATURE_COUNT + 2;
1227
1228 /**
1229 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTInlineConstantDefinitionImpl <em>SMT Inline Constant Definition</em>}' class.
1230 * <!-- begin-user-doc -->
1231 * <!-- end-user-doc -->
1232 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTInlineConstantDefinitionImpl
1233 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTInlineConstantDefinition()
1234 * @generated
1235 */
1236 int SMT_INLINE_CONSTANT_DEFINITION = 35;
1237
1238 /**
1239 * The feature id for the '<em><b>Name</b></em>' attribute.
1240 * <!-- begin-user-doc -->
1241 * <!-- end-user-doc -->
1242 * @generated
1243 * @ordered
1244 */
1245 int SMT_INLINE_CONSTANT_DEFINITION__NAME = SMT_SYMBOLIC_DECLARATION__NAME;
1246
1247 /**
1248 * The feature id for the '<em><b>Definition</b></em>' containment reference.
1249 * <!-- begin-user-doc -->
1250 * <!-- end-user-doc -->
1251 * @generated
1252 * @ordered
1253 */
1254 int SMT_INLINE_CONSTANT_DEFINITION__DEFINITION = SMT_SYMBOLIC_DECLARATION_FEATURE_COUNT + 0;
1255
1256 /**
1257 * The number of structural features of the '<em>SMT Inline Constant Definition</em>' class.
1258 * <!-- begin-user-doc -->
1259 * <!-- end-user-doc -->
1260 * @generated
1261 * @ordered
1262 */
1263 int SMT_INLINE_CONSTANT_DEFINITION_FEATURE_COUNT = SMT_SYMBOLIC_DECLARATION_FEATURE_COUNT + 1;
1264
1265 /**
1266 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTRelationImpl <em>SMT Relation</em>}' class.
1267 * <!-- begin-user-doc -->
1268 * <!-- end-user-doc -->
1269 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTRelationImpl
1270 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTRelation()
1271 * @generated
1272 */
1273 int SMT_RELATION = 36;
1274
1275 /**
1276 * The number of structural features of the '<em>SMT Relation</em>' class.
1277 * <!-- begin-user-doc -->
1278 * <!-- end-user-doc -->
1279 * @generated
1280 * @ordered
1281 */
1282 int SMT_RELATION_FEATURE_COUNT = SMT_TERM_FEATURE_COUNT + 0;
1283
1284 /**
1285 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTEqualsImpl <em>SMT Equals</em>}' class.
1286 * <!-- begin-user-doc -->
1287 * <!-- end-user-doc -->
1288 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTEqualsImpl
1289 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTEquals()
1290 * @generated
1291 */
1292 int SMT_EQUALS = 37;
1293
1294 /**
1295 * The feature id for the '<em><b>Left Operand</b></em>' containment reference.
1296 * <!-- begin-user-doc -->
1297 * <!-- end-user-doc -->
1298 * @generated
1299 * @ordered
1300 */
1301 int SMT_EQUALS__LEFT_OPERAND = SMT_RELATION_FEATURE_COUNT + 0;
1302
1303 /**
1304 * The feature id for the '<em><b>Right Operand</b></em>' containment reference.
1305 * <!-- begin-user-doc -->
1306 * <!-- end-user-doc -->
1307 * @generated
1308 * @ordered
1309 */
1310 int SMT_EQUALS__RIGHT_OPERAND = SMT_RELATION_FEATURE_COUNT + 1;
1311
1312 /**
1313 * The number of structural features of the '<em>SMT Equals</em>' class.
1314 * <!-- begin-user-doc -->
1315 * <!-- end-user-doc -->
1316 * @generated
1317 * @ordered
1318 */
1319 int SMT_EQUALS_FEATURE_COUNT = SMT_RELATION_FEATURE_COUNT + 2;
1320
1321 /**
1322 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTDistinctImpl <em>SMT Distinct</em>}' class.
1323 * <!-- begin-user-doc -->
1324 * <!-- end-user-doc -->
1325 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTDistinctImpl
1326 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTDistinct()
1327 * @generated
1328 */
1329 int SMT_DISTINCT = 38;
1330
1331 /**
1332 * The feature id for the '<em><b>Operands</b></em>' containment reference list.
1333 * <!-- begin-user-doc -->
1334 * <!-- end-user-doc -->
1335 * @generated
1336 * @ordered
1337 */
1338 int SMT_DISTINCT__OPERANDS = SMT_RELATION_FEATURE_COUNT + 0;
1339
1340 /**
1341 * The number of structural features of the '<em>SMT Distinct</em>' class.
1342 * <!-- begin-user-doc -->
1343 * <!-- end-user-doc -->
1344 * @generated
1345 * @ordered
1346 */
1347 int SMT_DISTINCT_FEATURE_COUNT = SMT_RELATION_FEATURE_COUNT + 1;
1348
1349 /**
1350 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTLTImpl <em>SMTLT</em>}' class.
1351 * <!-- begin-user-doc -->
1352 * <!-- end-user-doc -->
1353 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTLTImpl
1354 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTLT()
1355 * @generated
1356 */
1357 int SMTLT = 39;
1358
1359 /**
1360 * The feature id for the '<em><b>Left Operand</b></em>' containment reference.
1361 * <!-- begin-user-doc -->
1362 * <!-- end-user-doc -->
1363 * @generated
1364 * @ordered
1365 */
1366 int SMTLT__LEFT_OPERAND = SMT_RELATION_FEATURE_COUNT + 0;
1367
1368 /**
1369 * The feature id for the '<em><b>Right Operand</b></em>' containment reference.
1370 * <!-- begin-user-doc -->
1371 * <!-- end-user-doc -->
1372 * @generated
1373 * @ordered
1374 */
1375 int SMTLT__RIGHT_OPERAND = SMT_RELATION_FEATURE_COUNT + 1;
1376
1377 /**
1378 * The number of structural features of the '<em>SMTLT</em>' class.
1379 * <!-- begin-user-doc -->
1380 * <!-- end-user-doc -->
1381 * @generated
1382 * @ordered
1383 */
1384 int SMTLT_FEATURE_COUNT = SMT_RELATION_FEATURE_COUNT + 2;
1385
1386 /**
1387 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTMTImpl <em>SMTMT</em>}' class.
1388 * <!-- begin-user-doc -->
1389 * <!-- end-user-doc -->
1390 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTMTImpl
1391 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTMT()
1392 * @generated
1393 */
1394 int SMTMT = 40;
1395
1396 /**
1397 * The feature id for the '<em><b>Left Operand</b></em>' containment reference.
1398 * <!-- begin-user-doc -->
1399 * <!-- end-user-doc -->
1400 * @generated
1401 * @ordered
1402 */
1403 int SMTMT__LEFT_OPERAND = SMT_RELATION_FEATURE_COUNT + 0;
1404
1405 /**
1406 * The feature id for the '<em><b>Right Operand</b></em>' containment reference.
1407 * <!-- begin-user-doc -->
1408 * <!-- end-user-doc -->
1409 * @generated
1410 * @ordered
1411 */
1412 int SMTMT__RIGHT_OPERAND = SMT_RELATION_FEATURE_COUNT + 1;
1413
1414 /**
1415 * The number of structural features of the '<em>SMTMT</em>' class.
1416 * <!-- begin-user-doc -->
1417 * <!-- end-user-doc -->
1418 * @generated
1419 * @ordered
1420 */
1421 int SMTMT_FEATURE_COUNT = SMT_RELATION_FEATURE_COUNT + 2;
1422
1423 /**
1424 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTLEQImpl <em>SMTLEQ</em>}' class.
1425 * <!-- begin-user-doc -->
1426 * <!-- end-user-doc -->
1427 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTLEQImpl
1428 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTLEQ()
1429 * @generated
1430 */
1431 int SMTLEQ = 41;
1432
1433 /**
1434 * The feature id for the '<em><b>Left Operand</b></em>' containment reference.
1435 * <!-- begin-user-doc -->
1436 * <!-- end-user-doc -->
1437 * @generated
1438 * @ordered
1439 */
1440 int SMTLEQ__LEFT_OPERAND = SMT_RELATION_FEATURE_COUNT + 0;
1441
1442 /**
1443 * The feature id for the '<em><b>Right Operand</b></em>' containment reference.
1444 * <!-- begin-user-doc -->
1445 * <!-- end-user-doc -->
1446 * @generated
1447 * @ordered
1448 */
1449 int SMTLEQ__RIGHT_OPERAND = SMT_RELATION_FEATURE_COUNT + 1;
1450
1451 /**
1452 * The number of structural features of the '<em>SMTLEQ</em>' class.
1453 * <!-- begin-user-doc -->
1454 * <!-- end-user-doc -->
1455 * @generated
1456 * @ordered
1457 */
1458 int SMTLEQ_FEATURE_COUNT = SMT_RELATION_FEATURE_COUNT + 2;
1459
1460 /**
1461 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTMEQImpl <em>SMTMEQ</em>}' class.
1462 * <!-- begin-user-doc -->
1463 * <!-- end-user-doc -->
1464 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTMEQImpl
1465 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTMEQ()
1466 * @generated
1467 */
1468 int SMTMEQ = 42;
1469
1470 /**
1471 * The feature id for the '<em><b>Left Operand</b></em>' containment reference.
1472 * <!-- begin-user-doc -->
1473 * <!-- end-user-doc -->
1474 * @generated
1475 * @ordered
1476 */
1477 int SMTMEQ__LEFT_OPERAND = SMT_RELATION_FEATURE_COUNT + 0;
1478
1479 /**
1480 * The feature id for the '<em><b>Right Operand</b></em>' containment reference.
1481 * <!-- begin-user-doc -->
1482 * <!-- end-user-doc -->
1483 * @generated
1484 * @ordered
1485 */
1486 int SMTMEQ__RIGHT_OPERAND = SMT_RELATION_FEATURE_COUNT + 1;
1487
1488 /**
1489 * The number of structural features of the '<em>SMTMEQ</em>' class.
1490 * <!-- begin-user-doc -->
1491 * <!-- end-user-doc -->
1492 * @generated
1493 * @ordered
1494 */
1495 int SMTMEQ_FEATURE_COUNT = SMT_RELATION_FEATURE_COUNT + 2;
1496
1497 /**
1498 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTIntOperationImpl <em>SMT Int Operation</em>}' class.
1499 * <!-- begin-user-doc -->
1500 * <!-- end-user-doc -->
1501 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTIntOperationImpl
1502 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTIntOperation()
1503 * @generated
1504 */
1505 int SMT_INT_OPERATION = 43;
1506
1507 /**
1508 * The feature id for the '<em><b>Left Operand</b></em>' containment reference.
1509 * <!-- begin-user-doc -->
1510 * <!-- end-user-doc -->
1511 * @generated
1512 * @ordered
1513 */
1514 int SMT_INT_OPERATION__LEFT_OPERAND = SMT_TERM_FEATURE_COUNT + 0;
1515
1516 /**
1517 * The feature id for the '<em><b>Right Operand</b></em>' containment reference.
1518 * <!-- begin-user-doc -->
1519 * <!-- end-user-doc -->
1520 * @generated
1521 * @ordered
1522 */
1523 int SMT_INT_OPERATION__RIGHT_OPERAND = SMT_TERM_FEATURE_COUNT + 1;
1524
1525 /**
1526 * The number of structural features of the '<em>SMT Int Operation</em>' class.
1527 * <!-- begin-user-doc -->
1528 * <!-- end-user-doc -->
1529 * @generated
1530 * @ordered
1531 */
1532 int SMT_INT_OPERATION_FEATURE_COUNT = SMT_TERM_FEATURE_COUNT + 2;
1533
1534 /**
1535 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTPlusImpl <em>SMT Plus</em>}' class.
1536 * <!-- begin-user-doc -->
1537 * <!-- end-user-doc -->
1538 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTPlusImpl
1539 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTPlus()
1540 * @generated
1541 */
1542 int SMT_PLUS = 44;
1543
1544 /**
1545 * The feature id for the '<em><b>Left Operand</b></em>' containment reference.
1546 * <!-- begin-user-doc -->
1547 * <!-- end-user-doc -->
1548 * @generated
1549 * @ordered
1550 */
1551 int SMT_PLUS__LEFT_OPERAND = SMT_INT_OPERATION__LEFT_OPERAND;
1552
1553 /**
1554 * The feature id for the '<em><b>Right Operand</b></em>' containment reference.
1555 * <!-- begin-user-doc -->
1556 * <!-- end-user-doc -->
1557 * @generated
1558 * @ordered
1559 */
1560 int SMT_PLUS__RIGHT_OPERAND = SMT_INT_OPERATION__RIGHT_OPERAND;
1561
1562 /**
1563 * The number of structural features of the '<em>SMT Plus</em>' class.
1564 * <!-- begin-user-doc -->
1565 * <!-- end-user-doc -->
1566 * @generated
1567 * @ordered
1568 */
1569 int SMT_PLUS_FEATURE_COUNT = SMT_INT_OPERATION_FEATURE_COUNT + 0;
1570
1571 /**
1572 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTMinusImpl <em>SMT Minus</em>}' class.
1573 * <!-- begin-user-doc -->
1574 * <!-- end-user-doc -->
1575 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTMinusImpl
1576 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTMinus()
1577 * @generated
1578 */
1579 int SMT_MINUS = 45;
1580
1581 /**
1582 * The feature id for the '<em><b>Left Operand</b></em>' containment reference.
1583 * <!-- begin-user-doc -->
1584 * <!-- end-user-doc -->
1585 * @generated
1586 * @ordered
1587 */
1588 int SMT_MINUS__LEFT_OPERAND = SMT_INT_OPERATION__LEFT_OPERAND;
1589
1590 /**
1591 * The feature id for the '<em><b>Right Operand</b></em>' containment reference.
1592 * <!-- begin-user-doc -->
1593 * <!-- end-user-doc -->
1594 * @generated
1595 * @ordered
1596 */
1597 int SMT_MINUS__RIGHT_OPERAND = SMT_INT_OPERATION__RIGHT_OPERAND;
1598
1599 /**
1600 * The number of structural features of the '<em>SMT Minus</em>' class.
1601 * <!-- begin-user-doc -->
1602 * <!-- end-user-doc -->
1603 * @generated
1604 * @ordered
1605 */
1606 int SMT_MINUS_FEATURE_COUNT = SMT_INT_OPERATION_FEATURE_COUNT + 0;
1607
1608 /**
1609 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTMultiplyImpl <em>SMT Multiply</em>}' class.
1610 * <!-- begin-user-doc -->
1611 * <!-- end-user-doc -->
1612 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTMultiplyImpl
1613 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTMultiply()
1614 * @generated
1615 */
1616 int SMT_MULTIPLY = 46;
1617
1618 /**
1619 * The feature id for the '<em><b>Left Operand</b></em>' containment reference.
1620 * <!-- begin-user-doc -->
1621 * <!-- end-user-doc -->
1622 * @generated
1623 * @ordered
1624 */
1625 int SMT_MULTIPLY__LEFT_OPERAND = SMT_INT_OPERATION__LEFT_OPERAND;
1626
1627 /**
1628 * The feature id for the '<em><b>Right Operand</b></em>' containment reference.
1629 * <!-- begin-user-doc -->
1630 * <!-- end-user-doc -->
1631 * @generated
1632 * @ordered
1633 */
1634 int SMT_MULTIPLY__RIGHT_OPERAND = SMT_INT_OPERATION__RIGHT_OPERAND;
1635
1636 /**
1637 * The number of structural features of the '<em>SMT Multiply</em>' class.
1638 * <!-- begin-user-doc -->
1639 * <!-- end-user-doc -->
1640 * @generated
1641 * @ordered
1642 */
1643 int SMT_MULTIPLY_FEATURE_COUNT = SMT_INT_OPERATION_FEATURE_COUNT + 0;
1644
1645 /**
1646 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTDivisonImpl <em>SMT Divison</em>}' class.
1647 * <!-- begin-user-doc -->
1648 * <!-- end-user-doc -->
1649 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTDivisonImpl
1650 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTDivison()
1651 * @generated
1652 */
1653 int SMT_DIVISON = 47;
1654
1655 /**
1656 * The feature id for the '<em><b>Left Operand</b></em>' containment reference.
1657 * <!-- begin-user-doc -->
1658 * <!-- end-user-doc -->
1659 * @generated
1660 * @ordered
1661 */
1662 int SMT_DIVISON__LEFT_OPERAND = SMT_INT_OPERATION__LEFT_OPERAND;
1663
1664 /**
1665 * The feature id for the '<em><b>Right Operand</b></em>' containment reference.
1666 * <!-- begin-user-doc -->
1667 * <!-- end-user-doc -->
1668 * @generated
1669 * @ordered
1670 */
1671 int SMT_DIVISON__RIGHT_OPERAND = SMT_INT_OPERATION__RIGHT_OPERAND;
1672
1673 /**
1674 * The number of structural features of the '<em>SMT Divison</em>' class.
1675 * <!-- begin-user-doc -->
1676 * <!-- end-user-doc -->
1677 * @generated
1678 * @ordered
1679 */
1680 int SMT_DIVISON_FEATURE_COUNT = SMT_INT_OPERATION_FEATURE_COUNT + 0;
1681
1682 /**
1683 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTDivImpl <em>SMT Div</em>}' class.
1684 * <!-- begin-user-doc -->
1685 * <!-- end-user-doc -->
1686 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTDivImpl
1687 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTDiv()
1688 * @generated
1689 */
1690 int SMT_DIV = 48;
1691
1692 /**
1693 * The feature id for the '<em><b>Left Operand</b></em>' containment reference.
1694 * <!-- begin-user-doc -->
1695 * <!-- end-user-doc -->
1696 * @generated
1697 * @ordered
1698 */
1699 int SMT_DIV__LEFT_OPERAND = SMT_INT_OPERATION__LEFT_OPERAND;
1700
1701 /**
1702 * The feature id for the '<em><b>Right Operand</b></em>' containment reference.
1703 * <!-- begin-user-doc -->
1704 * <!-- end-user-doc -->
1705 * @generated
1706 * @ordered
1707 */
1708 int SMT_DIV__RIGHT_OPERAND = SMT_INT_OPERATION__RIGHT_OPERAND;
1709
1710 /**
1711 * The number of structural features of the '<em>SMT Div</em>' class.
1712 * <!-- begin-user-doc -->
1713 * <!-- end-user-doc -->
1714 * @generated
1715 * @ordered
1716 */
1717 int SMT_DIV_FEATURE_COUNT = SMT_INT_OPERATION_FEATURE_COUNT + 0;
1718
1719 /**
1720 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTModImpl <em>SMT Mod</em>}' class.
1721 * <!-- begin-user-doc -->
1722 * <!-- end-user-doc -->
1723 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTModImpl
1724 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTMod()
1725 * @generated
1726 */
1727 int SMT_MOD = 49;
1728
1729 /**
1730 * The feature id for the '<em><b>Left Operand</b></em>' containment reference.
1731 * <!-- begin-user-doc -->
1732 * <!-- end-user-doc -->
1733 * @generated
1734 * @ordered
1735 */
1736 int SMT_MOD__LEFT_OPERAND = SMT_INT_OPERATION__LEFT_OPERAND;
1737
1738 /**
1739 * The feature id for the '<em><b>Right Operand</b></em>' containment reference.
1740 * <!-- begin-user-doc -->
1741 * <!-- end-user-doc -->
1742 * @generated
1743 * @ordered
1744 */
1745 int SMT_MOD__RIGHT_OPERAND = SMT_INT_OPERATION__RIGHT_OPERAND;
1746
1747 /**
1748 * The number of structural features of the '<em>SMT Mod</em>' class.
1749 * <!-- begin-user-doc -->
1750 * <!-- end-user-doc -->
1751 * @generated
1752 * @ordered
1753 */
1754 int SMT_MOD_FEATURE_COUNT = SMT_INT_OPERATION_FEATURE_COUNT + 0;
1755
1756 /**
1757 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTAssertionImpl <em>SMT Assertion</em>}' class.
1758 * <!-- begin-user-doc -->
1759 * <!-- end-user-doc -->
1760 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTAssertionImpl
1761 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTAssertion()
1762 * @generated
1763 */
1764 int SMT_ASSERTION = 50;
1765
1766 /**
1767 * The feature id for the '<em><b>Value</b></em>' containment reference.
1768 * <!-- begin-user-doc -->
1769 * <!-- end-user-doc -->
1770 * @generated
1771 * @ordered
1772 */
1773 int SMT_ASSERTION__VALUE = 0;
1774
1775 /**
1776 * The number of structural features of the '<em>SMT Assertion</em>' class.
1777 * <!-- begin-user-doc -->
1778 * <!-- end-user-doc -->
1779 * @generated
1780 * @ordered
1781 */
1782 int SMT_ASSERTION_FEATURE_COUNT = 1;
1783
1784 /**
1785 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTCardinalityConstraintImpl <em>SMT Cardinality Constraint</em>}' class.
1786 * <!-- begin-user-doc -->
1787 * <!-- end-user-doc -->
1788 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTCardinalityConstraintImpl
1789 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTCardinalityConstraint()
1790 * @generated
1791 */
1792 int SMT_CARDINALITY_CONSTRAINT = 51;
1793
1794 /**
1795 * The feature id for the '<em><b>Type</b></em>' containment reference.
1796 * <!-- begin-user-doc -->
1797 * <!-- end-user-doc -->
1798 * @generated
1799 * @ordered
1800 */
1801 int SMT_CARDINALITY_CONSTRAINT__TYPE = 0;
1802
1803 /**
1804 * The feature id for the '<em><b>Elements</b></em>' containment reference list.
1805 * <!-- begin-user-doc -->
1806 * <!-- end-user-doc -->
1807 * @generated
1808 * @ordered
1809 */
1810 int SMT_CARDINALITY_CONSTRAINT__ELEMENTS = 1;
1811
1812 /**
1813 * The number of structural features of the '<em>SMT Cardinality Constraint</em>' class.
1814 * <!-- begin-user-doc -->
1815 * <!-- end-user-doc -->
1816 * @generated
1817 * @ordered
1818 */
1819 int SMT_CARDINALITY_CONSTRAINT_FEATURE_COUNT = 2;
1820
1821 /**
1822 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTSatCommandImpl <em>SMT Sat Command</em>}' class.
1823 * <!-- begin-user-doc -->
1824 * <!-- end-user-doc -->
1825 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTSatCommandImpl
1826 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTSatCommand()
1827 * @generated
1828 */
1829 int SMT_SAT_COMMAND = 52;
1830
1831 /**
1832 * The number of structural features of the '<em>SMT Sat Command</em>' class.
1833 * <!-- begin-user-doc -->
1834 * <!-- end-user-doc -->
1835 * @generated
1836 * @ordered
1837 */
1838 int SMT_SAT_COMMAND_FEATURE_COUNT = 0;
1839
1840 /**
1841 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTSimpleSatCommandImpl <em>SMT Simple Sat Command</em>}' class.
1842 * <!-- begin-user-doc -->
1843 * <!-- end-user-doc -->
1844 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTSimpleSatCommandImpl
1845 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTSimpleSatCommand()
1846 * @generated
1847 */
1848 int SMT_SIMPLE_SAT_COMMAND = 53;
1849
1850 /**
1851 * The number of structural features of the '<em>SMT Simple Sat Command</em>' class.
1852 * <!-- begin-user-doc -->
1853 * <!-- end-user-doc -->
1854 * @generated
1855 * @ordered
1856 */
1857 int SMT_SIMPLE_SAT_COMMAND_FEATURE_COUNT = SMT_SAT_COMMAND_FEATURE_COUNT + 0;
1858
1859 /**
1860 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTComplexSatCommandImpl <em>SMT Complex Sat Command</em>}' class.
1861 * <!-- begin-user-doc -->
1862 * <!-- end-user-doc -->
1863 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTComplexSatCommandImpl
1864 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTComplexSatCommand()
1865 * @generated
1866 */
1867 int SMT_COMPLEX_SAT_COMMAND = 54;
1868
1869 /**
1870 * The feature id for the '<em><b>Method</b></em>' containment reference.
1871 * <!-- begin-user-doc -->
1872 * <!-- end-user-doc -->
1873 * @generated
1874 * @ordered
1875 */
1876 int SMT_COMPLEX_SAT_COMMAND__METHOD = SMT_SAT_COMMAND_FEATURE_COUNT + 0;
1877
1878 /**
1879 * The number of structural features of the '<em>SMT Complex Sat Command</em>' class.
1880 * <!-- begin-user-doc -->
1881 * <!-- end-user-doc -->
1882 * @generated
1883 * @ordered
1884 */
1885 int SMT_COMPLEX_SAT_COMMAND_FEATURE_COUNT = SMT_SAT_COMMAND_FEATURE_COUNT + 1;
1886
1887 /**
1888 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTGetModelCommandImpl <em>SMT Get Model Command</em>}' class.
1889 * <!-- begin-user-doc -->
1890 * <!-- end-user-doc -->
1891 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTGetModelCommandImpl
1892 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTGetModelCommand()
1893 * @generated
1894 */
1895 int SMT_GET_MODEL_COMMAND = 55;
1896
1897 /**
1898 * The number of structural features of the '<em>SMT Get Model Command</em>' class.
1899 * <!-- begin-user-doc -->
1900 * <!-- end-user-doc -->
1901 * @generated
1902 * @ordered
1903 */
1904 int SMT_GET_MODEL_COMMAND_FEATURE_COUNT = 0;
1905
1906 /**
1907 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTReasoningTacticImpl <em>SMT Reasoning Tactic</em>}' class.
1908 * <!-- begin-user-doc -->
1909 * <!-- end-user-doc -->
1910 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTReasoningTacticImpl
1911 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTReasoningTactic()
1912 * @generated
1913 */
1914 int SMT_REASONING_TACTIC = 56;
1915
1916 /**
1917 * The number of structural features of the '<em>SMT Reasoning Tactic</em>' class.
1918 * <!-- begin-user-doc -->
1919 * <!-- end-user-doc -->
1920 * @generated
1921 * @ordered
1922 */
1923 int SMT_REASONING_TACTIC_FEATURE_COUNT = 0;
1924
1925 /**
1926 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTBuiltinTacticImpl <em>SMT Builtin Tactic</em>}' class.
1927 * <!-- begin-user-doc -->
1928 * <!-- end-user-doc -->
1929 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTBuiltinTacticImpl
1930 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTBuiltinTactic()
1931 * @generated
1932 */
1933 int SMT_BUILTIN_TACTIC = 57;
1934
1935 /**
1936 * The feature id for the '<em><b>Name</b></em>' attribute.
1937 * <!-- begin-user-doc -->
1938 * <!-- end-user-doc -->
1939 * @generated
1940 * @ordered
1941 */
1942 int SMT_BUILTIN_TACTIC__NAME = SMT_REASONING_TACTIC_FEATURE_COUNT + 0;
1943
1944 /**
1945 * The number of structural features of the '<em>SMT Builtin Tactic</em>' class.
1946 * <!-- begin-user-doc -->
1947 * <!-- end-user-doc -->
1948 * @generated
1949 * @ordered
1950 */
1951 int SMT_BUILTIN_TACTIC_FEATURE_COUNT = SMT_REASONING_TACTIC_FEATURE_COUNT + 1;
1952
1953 /**
1954 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTReasoningCombinatorImpl <em>SMT Reasoning Combinator</em>}' class.
1955 * <!-- begin-user-doc -->
1956 * <!-- end-user-doc -->
1957 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTReasoningCombinatorImpl
1958 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTReasoningCombinator()
1959 * @generated
1960 */
1961 int SMT_REASONING_COMBINATOR = 58;
1962
1963 /**
1964 * The number of structural features of the '<em>SMT Reasoning Combinator</em>' class.
1965 * <!-- begin-user-doc -->
1966 * <!-- end-user-doc -->
1967 * @generated
1968 * @ordered
1969 */
1970 int SMT_REASONING_COMBINATOR_FEATURE_COUNT = SMT_REASONING_TACTIC_FEATURE_COUNT + 0;
1971
1972 /**
1973 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTAndThenCombinatorImpl <em>SMT And Then Combinator</em>}' class.
1974 * <!-- begin-user-doc -->
1975 * <!-- end-user-doc -->
1976 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTAndThenCombinatorImpl
1977 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTAndThenCombinator()
1978 * @generated
1979 */
1980 int SMT_AND_THEN_COMBINATOR = 59;
1981
1982 /**
1983 * The feature id for the '<em><b>Tactics</b></em>' containment reference list.
1984 * <!-- begin-user-doc -->
1985 * <!-- end-user-doc -->
1986 * @generated
1987 * @ordered
1988 */
1989 int SMT_AND_THEN_COMBINATOR__TACTICS = SMT_REASONING_COMBINATOR_FEATURE_COUNT + 0;
1990
1991 /**
1992 * The number of structural features of the '<em>SMT And Then Combinator</em>' class.
1993 * <!-- begin-user-doc -->
1994 * <!-- end-user-doc -->
1995 * @generated
1996 * @ordered
1997 */
1998 int SMT_AND_THEN_COMBINATOR_FEATURE_COUNT = SMT_REASONING_COMBINATOR_FEATURE_COUNT + 1;
1999
2000 /**
2001 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTOrElseCombinatorImpl <em>SMT Or Else Combinator</em>}' class.
2002 * <!-- begin-user-doc -->
2003 * <!-- end-user-doc -->
2004 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTOrElseCombinatorImpl
2005 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTOrElseCombinator()
2006 * @generated
2007 */
2008 int SMT_OR_ELSE_COMBINATOR = 60;
2009
2010 /**
2011 * The feature id for the '<em><b>Tactics</b></em>' containment reference list.
2012 * <!-- begin-user-doc -->
2013 * <!-- end-user-doc -->
2014 * @generated
2015 * @ordered
2016 */
2017 int SMT_OR_ELSE_COMBINATOR__TACTICS = SMT_REASONING_COMBINATOR_FEATURE_COUNT + 0;
2018
2019 /**
2020 * The number of structural features of the '<em>SMT Or Else Combinator</em>' class.
2021 * <!-- begin-user-doc -->
2022 * <!-- end-user-doc -->
2023 * @generated
2024 * @ordered
2025 */
2026 int SMT_OR_ELSE_COMBINATOR_FEATURE_COUNT = SMT_REASONING_COMBINATOR_FEATURE_COUNT + 1;
2027
2028 /**
2029 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTParOrCombinatorImpl <em>SMT Par Or Combinator</em>}' class.
2030 * <!-- begin-user-doc -->
2031 * <!-- end-user-doc -->
2032 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTParOrCombinatorImpl
2033 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTParOrCombinator()
2034 * @generated
2035 */
2036 int SMT_PAR_OR_COMBINATOR = 61;
2037
2038 /**
2039 * The feature id for the '<em><b>Tactics</b></em>' containment reference list.
2040 * <!-- begin-user-doc -->
2041 * <!-- end-user-doc -->
2042 * @generated
2043 * @ordered
2044 */
2045 int SMT_PAR_OR_COMBINATOR__TACTICS = SMT_REASONING_COMBINATOR_FEATURE_COUNT + 0;
2046
2047 /**
2048 * The number of structural features of the '<em>SMT Par Or Combinator</em>' class.
2049 * <!-- begin-user-doc -->
2050 * <!-- end-user-doc -->
2051 * @generated
2052 * @ordered
2053 */
2054 int SMT_PAR_OR_COMBINATOR_FEATURE_COUNT = SMT_REASONING_COMBINATOR_FEATURE_COUNT + 1;
2055
2056 /**
2057 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTParThenCombinatorImpl <em>SMT Par Then Combinator</em>}' class.
2058 * <!-- begin-user-doc -->
2059 * <!-- end-user-doc -->
2060 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTParThenCombinatorImpl
2061 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTParThenCombinator()
2062 * @generated
2063 */
2064 int SMT_PAR_THEN_COMBINATOR = 62;
2065
2066 /**
2067 * The feature id for the '<em><b>Pre Processing Tactic</b></em>' containment reference.
2068 * <!-- begin-user-doc -->
2069 * <!-- end-user-doc -->
2070 * @generated
2071 * @ordered
2072 */
2073 int SMT_PAR_THEN_COMBINATOR__PRE_PROCESSING_TACTIC = SMT_REASONING_COMBINATOR_FEATURE_COUNT + 0;
2074
2075 /**
2076 * The feature id for the '<em><b>Paralelly Postpricessing Tactic</b></em>' containment reference.
2077 * <!-- begin-user-doc -->
2078 * <!-- end-user-doc -->
2079 * @generated
2080 * @ordered
2081 */
2082 int SMT_PAR_THEN_COMBINATOR__PARALELLY_POSTPRICESSING_TACTIC = SMT_REASONING_COMBINATOR_FEATURE_COUNT + 1;
2083
2084 /**
2085 * The number of structural features of the '<em>SMT Par Then Combinator</em>' class.
2086 * <!-- begin-user-doc -->
2087 * <!-- end-user-doc -->
2088 * @generated
2089 * @ordered
2090 */
2091 int SMT_PAR_THEN_COMBINATOR_FEATURE_COUNT = SMT_REASONING_COMBINATOR_FEATURE_COUNT + 2;
2092
2093 /**
2094 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTTryForCombinatorImpl <em>SMT Try For Combinator</em>}' class.
2095 * <!-- begin-user-doc -->
2096 * <!-- end-user-doc -->
2097 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTTryForCombinatorImpl
2098 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTTryForCombinator()
2099 * @generated
2100 */
2101 int SMT_TRY_FOR_COMBINATOR = 63;
2102
2103 /**
2104 * The feature id for the '<em><b>Tactic</b></em>' containment reference.
2105 * <!-- begin-user-doc -->
2106 * <!-- end-user-doc -->
2107 * @generated
2108 * @ordered
2109 */
2110 int SMT_TRY_FOR_COMBINATOR__TACTIC = SMT_REASONING_COMBINATOR_FEATURE_COUNT + 0;
2111
2112 /**
2113 * The feature id for the '<em><b>Time</b></em>' attribute.
2114 * <!-- begin-user-doc -->
2115 * <!-- end-user-doc -->
2116 * @generated
2117 * @ordered
2118 */
2119 int SMT_TRY_FOR_COMBINATOR__TIME = SMT_REASONING_COMBINATOR_FEATURE_COUNT + 1;
2120
2121 /**
2122 * The number of structural features of the '<em>SMT Try For Combinator</em>' class.
2123 * <!-- begin-user-doc -->
2124 * <!-- end-user-doc -->
2125 * @generated
2126 * @ordered
2127 */
2128 int SMT_TRY_FOR_COMBINATOR_FEATURE_COUNT = SMT_REASONING_COMBINATOR_FEATURE_COUNT + 2;
2129
2130 /**
2131 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTIfCombinatorImpl <em>SMT If Combinator</em>}' class.
2132 * <!-- begin-user-doc -->
2133 * <!-- end-user-doc -->
2134 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTIfCombinatorImpl
2135 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTIfCombinator()
2136 * @generated
2137 */
2138 int SMT_IF_COMBINATOR = 64;
2139
2140 /**
2141 * The feature id for the '<em><b>Probe</b></em>' containment reference.
2142 * <!-- begin-user-doc -->
2143 * <!-- end-user-doc -->
2144 * @generated
2145 * @ordered
2146 */
2147 int SMT_IF_COMBINATOR__PROBE = SMT_REASONING_COMBINATOR_FEATURE_COUNT + 0;
2148
2149 /**
2150 * The feature id for the '<em><b>If Tactic</b></em>' containment reference.
2151 * <!-- begin-user-doc -->
2152 * <!-- end-user-doc -->
2153 * @generated
2154 * @ordered
2155 */
2156 int SMT_IF_COMBINATOR__IF_TACTIC = SMT_REASONING_COMBINATOR_FEATURE_COUNT + 1;
2157
2158 /**
2159 * The feature id for the '<em><b>Else Tactic</b></em>' containment reference.
2160 * <!-- begin-user-doc -->
2161 * <!-- end-user-doc -->
2162 * @generated
2163 * @ordered
2164 */
2165 int SMT_IF_COMBINATOR__ELSE_TACTIC = SMT_REASONING_COMBINATOR_FEATURE_COUNT + 2;
2166
2167 /**
2168 * The number of structural features of the '<em>SMT If Combinator</em>' class.
2169 * <!-- begin-user-doc -->
2170 * <!-- end-user-doc -->
2171 * @generated
2172 * @ordered
2173 */
2174 int SMT_IF_COMBINATOR_FEATURE_COUNT = SMT_REASONING_COMBINATOR_FEATURE_COUNT + 3;
2175
2176 /**
2177 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTWhenCombinatorImpl <em>SMT When Combinator</em>}' class.
2178 * <!-- begin-user-doc -->
2179 * <!-- end-user-doc -->
2180 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTWhenCombinatorImpl
2181 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTWhenCombinator()
2182 * @generated
2183 */
2184 int SMT_WHEN_COMBINATOR = 65;
2185
2186 /**
2187 * The feature id for the '<em><b>Probe</b></em>' containment reference.
2188 * <!-- begin-user-doc -->
2189 * <!-- end-user-doc -->
2190 * @generated
2191 * @ordered
2192 */
2193 int SMT_WHEN_COMBINATOR__PROBE = SMT_REASONING_COMBINATOR_FEATURE_COUNT + 0;
2194
2195 /**
2196 * The feature id for the '<em><b>Tactic</b></em>' containment reference.
2197 * <!-- begin-user-doc -->
2198 * <!-- end-user-doc -->
2199 * @generated
2200 * @ordered
2201 */
2202 int SMT_WHEN_COMBINATOR__TACTIC = SMT_REASONING_COMBINATOR_FEATURE_COUNT + 1;
2203
2204 /**
2205 * The number of structural features of the '<em>SMT When Combinator</em>' class.
2206 * <!-- begin-user-doc -->
2207 * <!-- end-user-doc -->
2208 * @generated
2209 * @ordered
2210 */
2211 int SMT_WHEN_COMBINATOR_FEATURE_COUNT = SMT_REASONING_COMBINATOR_FEATURE_COUNT + 2;
2212
2213 /**
2214 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTFailIfCombinatorImpl <em>SMT Fail If Combinator</em>}' class.
2215 * <!-- begin-user-doc -->
2216 * <!-- end-user-doc -->
2217 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTFailIfCombinatorImpl
2218 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTFailIfCombinator()
2219 * @generated
2220 */
2221 int SMT_FAIL_IF_COMBINATOR = 66;
2222
2223 /**
2224 * The feature id for the '<em><b>Probe</b></em>' containment reference.
2225 * <!-- begin-user-doc -->
2226 * <!-- end-user-doc -->
2227 * @generated
2228 * @ordered
2229 */
2230 int SMT_FAIL_IF_COMBINATOR__PROBE = SMT_REASONING_COMBINATOR_FEATURE_COUNT + 0;
2231
2232 /**
2233 * The number of structural features of the '<em>SMT Fail If Combinator</em>' class.
2234 * <!-- begin-user-doc -->
2235 * <!-- end-user-doc -->
2236 * @generated
2237 * @ordered
2238 */
2239 int SMT_FAIL_IF_COMBINATOR_FEATURE_COUNT = SMT_REASONING_COMBINATOR_FEATURE_COUNT + 1;
2240
2241 /**
2242 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTUsingParamCombinatorImpl <em>SMT Using Param Combinator</em>}' class.
2243 * <!-- begin-user-doc -->
2244 * <!-- end-user-doc -->
2245 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTUsingParamCombinatorImpl
2246 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTUsingParamCombinator()
2247 * @generated
2248 */
2249 int SMT_USING_PARAM_COMBINATOR = 67;
2250
2251 /**
2252 * The feature id for the '<em><b>Tactic</b></em>' containment reference.
2253 * <!-- begin-user-doc -->
2254 * <!-- end-user-doc -->
2255 * @generated
2256 * @ordered
2257 */
2258 int SMT_USING_PARAM_COMBINATOR__TACTIC = SMT_REASONING_COMBINATOR_FEATURE_COUNT + 0;
2259
2260 /**
2261 * The feature id for the '<em><b>Parameters</b></em>' containment reference list.
2262 * <!-- begin-user-doc -->
2263 * <!-- end-user-doc -->
2264 * @generated
2265 * @ordered
2266 */
2267 int SMT_USING_PARAM_COMBINATOR__PARAMETERS = SMT_REASONING_COMBINATOR_FEATURE_COUNT + 1;
2268
2269 /**
2270 * The number of structural features of the '<em>SMT Using Param Combinator</em>' class.
2271 * <!-- begin-user-doc -->
2272 * <!-- end-user-doc -->
2273 * @generated
2274 * @ordered
2275 */
2276 int SMT_USING_PARAM_COMBINATOR_FEATURE_COUNT = SMT_REASONING_COMBINATOR_FEATURE_COUNT + 2;
2277
2278 /**
2279 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.ReasoningProbeImpl <em>Reasoning Probe</em>}' class.
2280 * <!-- begin-user-doc -->
2281 * <!-- end-user-doc -->
2282 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.ReasoningProbeImpl
2283 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getReasoningProbe()
2284 * @generated
2285 */
2286 int REASONING_PROBE = 68;
2287
2288 /**
2289 * The feature id for the '<em><b>Name</b></em>' attribute.
2290 * <!-- begin-user-doc -->
2291 * <!-- end-user-doc -->
2292 * @generated
2293 * @ordered
2294 */
2295 int REASONING_PROBE__NAME = 0;
2296
2297 /**
2298 * The number of structural features of the '<em>Reasoning Probe</em>' class.
2299 * <!-- begin-user-doc -->
2300 * <!-- end-user-doc -->
2301 * @generated
2302 * @ordered
2303 */
2304 int REASONING_PROBE_FEATURE_COUNT = 1;
2305
2306 /**
2307 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.ReasoningTacticParameterImpl <em>Reasoning Tactic Parameter</em>}' class.
2308 * <!-- begin-user-doc -->
2309 * <!-- end-user-doc -->
2310 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.ReasoningTacticParameterImpl
2311 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getReasoningTacticParameter()
2312 * @generated
2313 */
2314 int REASONING_TACTIC_PARAMETER = 69;
2315
2316 /**
2317 * The feature id for the '<em><b>Name</b></em>' attribute.
2318 * <!-- begin-user-doc -->
2319 * <!-- end-user-doc -->
2320 * @generated
2321 * @ordered
2322 */
2323 int REASONING_TACTIC_PARAMETER__NAME = 0;
2324
2325 /**
2326 * The feature id for the '<em><b>Value</b></em>' containment reference.
2327 * <!-- begin-user-doc -->
2328 * <!-- end-user-doc -->
2329 * @generated
2330 * @ordered
2331 */
2332 int REASONING_TACTIC_PARAMETER__VALUE = 1;
2333
2334 /**
2335 * The number of structural features of the '<em>Reasoning Tactic Parameter</em>' class.
2336 * <!-- begin-user-doc -->
2337 * <!-- end-user-doc -->
2338 * @generated
2339 * @ordered
2340 */
2341 int REASONING_TACTIC_PARAMETER_FEATURE_COUNT = 2;
2342
2343 /**
2344 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTResultImpl <em>SMT Result</em>}' class.
2345 * <!-- begin-user-doc -->
2346 * <!-- end-user-doc -->
2347 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTResultImpl
2348 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTResult()
2349 * @generated
2350 */
2351 int SMT_RESULT = 70;
2352
2353 /**
2354 * The number of structural features of the '<em>SMT Result</em>' class.
2355 * <!-- begin-user-doc -->
2356 * <!-- end-user-doc -->
2357 * @generated
2358 * @ordered
2359 */
2360 int SMT_RESULT_FEATURE_COUNT = 0;
2361
2362 /**
2363 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTErrorResultImpl <em>SMT Error Result</em>}' class.
2364 * <!-- begin-user-doc -->
2365 * <!-- end-user-doc -->
2366 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTErrorResultImpl
2367 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTErrorResult()
2368 * @generated
2369 */
2370 int SMT_ERROR_RESULT = 71;
2371
2372 /**
2373 * The feature id for the '<em><b>Message</b></em>' attribute.
2374 * <!-- begin-user-doc -->
2375 * <!-- end-user-doc -->
2376 * @generated
2377 * @ordered
2378 */
2379 int SMT_ERROR_RESULT__MESSAGE = SMT_RESULT_FEATURE_COUNT + 0;
2380
2381 /**
2382 * The number of structural features of the '<em>SMT Error Result</em>' class.
2383 * <!-- begin-user-doc -->
2384 * <!-- end-user-doc -->
2385 * @generated
2386 * @ordered
2387 */
2388 int SMT_ERROR_RESULT_FEATURE_COUNT = SMT_RESULT_FEATURE_COUNT + 1;
2389
2390 /**
2391 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTUnsupportedResultImpl <em>SMT Unsupported Result</em>}' class.
2392 * <!-- begin-user-doc -->
2393 * <!-- end-user-doc -->
2394 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTUnsupportedResultImpl
2395 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTUnsupportedResult()
2396 * @generated
2397 */
2398 int SMT_UNSUPPORTED_RESULT = 72;
2399
2400 /**
2401 * The feature id for the '<em><b>Command</b></em>' attribute.
2402 * <!-- begin-user-doc -->
2403 * <!-- end-user-doc -->
2404 * @generated
2405 * @ordered
2406 */
2407 int SMT_UNSUPPORTED_RESULT__COMMAND = SMT_RESULT_FEATURE_COUNT + 0;
2408
2409 /**
2410 * The number of structural features of the '<em>SMT Unsupported Result</em>' class.
2411 * <!-- begin-user-doc -->
2412 * <!-- end-user-doc -->
2413 * @generated
2414 * @ordered
2415 */
2416 int SMT_UNSUPPORTED_RESULT_FEATURE_COUNT = SMT_RESULT_FEATURE_COUNT + 1;
2417
2418 /**
2419 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTSatResultImpl <em>SMT Sat Result</em>}' class.
2420 * <!-- begin-user-doc -->
2421 * <!-- end-user-doc -->
2422 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTSatResultImpl
2423 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTSatResult()
2424 * @generated
2425 */
2426 int SMT_SAT_RESULT = 73;
2427
2428 /**
2429 * The feature id for the '<em><b>Sat</b></em>' attribute.
2430 * <!-- begin-user-doc -->
2431 * <!-- end-user-doc -->
2432 * @generated
2433 * @ordered
2434 */
2435 int SMT_SAT_RESULT__SAT = SMT_RESULT_FEATURE_COUNT + 0;
2436
2437 /**
2438 * The feature id for the '<em><b>Unsat</b></em>' attribute.
2439 * <!-- begin-user-doc -->
2440 * <!-- end-user-doc -->
2441 * @generated
2442 * @ordered
2443 */
2444 int SMT_SAT_RESULT__UNSAT = SMT_RESULT_FEATURE_COUNT + 1;
2445
2446 /**
2447 * The feature id for the '<em><b>Unknown</b></em>' attribute.
2448 * <!-- begin-user-doc -->
2449 * <!-- end-user-doc -->
2450 * @generated
2451 * @ordered
2452 */
2453 int SMT_SAT_RESULT__UNKNOWN = SMT_RESULT_FEATURE_COUNT + 2;
2454
2455 /**
2456 * The number of structural features of the '<em>SMT Sat Result</em>' class.
2457 * <!-- begin-user-doc -->
2458 * <!-- end-user-doc -->
2459 * @generated
2460 * @ordered
2461 */
2462 int SMT_SAT_RESULT_FEATURE_COUNT = SMT_RESULT_FEATURE_COUNT + 3;
2463
2464 /**
2465 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTModelResultImpl <em>SMT Model Result</em>}' class.
2466 * <!-- begin-user-doc -->
2467 * <!-- end-user-doc -->
2468 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTModelResultImpl
2469 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTModelResult()
2470 * @generated
2471 */
2472 int SMT_MODEL_RESULT = 74;
2473
2474 /**
2475 * The feature id for the '<em><b>New Function Declarations</b></em>' containment reference list.
2476 * <!-- begin-user-doc -->
2477 * <!-- end-user-doc -->
2478 * @generated
2479 * @ordered
2480 */
2481 int SMT_MODEL_RESULT__NEW_FUNCTION_DECLARATIONS = SMT_RESULT_FEATURE_COUNT + 0;
2482
2483 /**
2484 * The feature id for the '<em><b>Type Definitions</b></em>' containment reference list.
2485 * <!-- begin-user-doc -->
2486 * <!-- end-user-doc -->
2487 * @generated
2488 * @ordered
2489 */
2490 int SMT_MODEL_RESULT__TYPE_DEFINITIONS = SMT_RESULT_FEATURE_COUNT + 1;
2491
2492 /**
2493 * The feature id for the '<em><b>New Function Definitions</b></em>' containment reference list.
2494 * <!-- begin-user-doc -->
2495 * <!-- end-user-doc -->
2496 * @generated
2497 * @ordered
2498 */
2499 int SMT_MODEL_RESULT__NEW_FUNCTION_DEFINITIONS = SMT_RESULT_FEATURE_COUNT + 2;
2500
2501 /**
2502 * The number of structural features of the '<em>SMT Model Result</em>' class.
2503 * <!-- begin-user-doc -->
2504 * <!-- end-user-doc -->
2505 * @generated
2506 * @ordered
2507 */
2508 int SMT_MODEL_RESULT_FEATURE_COUNT = SMT_RESULT_FEATURE_COUNT + 3;
2509
2510 /**
2511 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTStatisticValueImpl <em>SMT Statistic Value</em>}' class.
2512 * <!-- begin-user-doc -->
2513 * <!-- end-user-doc -->
2514 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTStatisticValueImpl
2515 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTStatisticValue()
2516 * @generated
2517 */
2518 int SMT_STATISTIC_VALUE = 75;
2519
2520 /**
2521 * The feature id for the '<em><b>Name</b></em>' attribute.
2522 * <!-- begin-user-doc -->
2523 * <!-- end-user-doc -->
2524 * @generated
2525 * @ordered
2526 */
2527 int SMT_STATISTIC_VALUE__NAME = 0;
2528
2529 /**
2530 * The number of structural features of the '<em>SMT Statistic Value</em>' class.
2531 * <!-- begin-user-doc -->
2532 * <!-- end-user-doc -->
2533 * @generated
2534 * @ordered
2535 */
2536 int SMT_STATISTIC_VALUE_FEATURE_COUNT = 1;
2537
2538 /**
2539 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTStatisticIntValueImpl <em>SMT Statistic Int Value</em>}' class.
2540 * <!-- begin-user-doc -->
2541 * <!-- end-user-doc -->
2542 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTStatisticIntValueImpl
2543 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTStatisticIntValue()
2544 * @generated
2545 */
2546 int SMT_STATISTIC_INT_VALUE = 76;
2547
2548 /**
2549 * The feature id for the '<em><b>Name</b></em>' attribute.
2550 * <!-- begin-user-doc -->
2551 * <!-- end-user-doc -->
2552 * @generated
2553 * @ordered
2554 */
2555 int SMT_STATISTIC_INT_VALUE__NAME = SMT_STATISTIC_VALUE__NAME;
2556
2557 /**
2558 * The feature id for the '<em><b>Value</b></em>' attribute.
2559 * <!-- begin-user-doc -->
2560 * <!-- end-user-doc -->
2561 * @generated
2562 * @ordered
2563 */
2564 int SMT_STATISTIC_INT_VALUE__VALUE = SMT_STATISTIC_VALUE_FEATURE_COUNT + 0;
2565
2566 /**
2567 * The number of structural features of the '<em>SMT Statistic Int Value</em>' class.
2568 * <!-- begin-user-doc -->
2569 * <!-- end-user-doc -->
2570 * @generated
2571 * @ordered
2572 */
2573 int SMT_STATISTIC_INT_VALUE_FEATURE_COUNT = SMT_STATISTIC_VALUE_FEATURE_COUNT + 1;
2574
2575 /**
2576 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTStatisticDoubleValueImpl <em>SMT Statistic Double Value</em>}' class.
2577 * <!-- begin-user-doc -->
2578 * <!-- end-user-doc -->
2579 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTStatisticDoubleValueImpl
2580 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTStatisticDoubleValue()
2581 * @generated
2582 */
2583 int SMT_STATISTIC_DOUBLE_VALUE = 77;
2584
2585 /**
2586 * The feature id for the '<em><b>Name</b></em>' attribute.
2587 * <!-- begin-user-doc -->
2588 * <!-- end-user-doc -->
2589 * @generated
2590 * @ordered
2591 */
2592 int SMT_STATISTIC_DOUBLE_VALUE__NAME = SMT_STATISTIC_VALUE__NAME;
2593
2594 /**
2595 * The feature id for the '<em><b>Value</b></em>' attribute.
2596 * <!-- begin-user-doc -->
2597 * <!-- end-user-doc -->
2598 * @generated
2599 * @ordered
2600 */
2601 int SMT_STATISTIC_DOUBLE_VALUE__VALUE = SMT_STATISTIC_VALUE_FEATURE_COUNT + 0;
2602
2603 /**
2604 * The number of structural features of the '<em>SMT Statistic Double Value</em>' class.
2605 * <!-- begin-user-doc -->
2606 * <!-- end-user-doc -->
2607 * @generated
2608 * @ordered
2609 */
2610 int SMT_STATISTIC_DOUBLE_VALUE_FEATURE_COUNT = SMT_STATISTIC_VALUE_FEATURE_COUNT + 1;
2611
2612 /**
2613 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTStatisticsSectionImpl <em>SMT Statistics Section</em>}' class.
2614 * <!-- begin-user-doc -->
2615 * <!-- end-user-doc -->
2616 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTStatisticsSectionImpl
2617 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTStatisticsSection()
2618 * @generated
2619 */
2620 int SMT_STATISTICS_SECTION = 78;
2621
2622 /**
2623 * The feature id for the '<em><b>Values</b></em>' containment reference list.
2624 * <!-- begin-user-doc -->
2625 * <!-- end-user-doc -->
2626 * @generated
2627 * @ordered
2628 */
2629 int SMT_STATISTICS_SECTION__VALUES = 0;
2630
2631 /**
2632 * The number of structural features of the '<em>SMT Statistics Section</em>' class.
2633 * <!-- begin-user-doc -->
2634 * <!-- end-user-doc -->
2635 * @generated
2636 * @ordered
2637 */
2638 int SMT_STATISTICS_SECTION_FEATURE_COUNT = 1;
2639
2640
2641 /**
2642 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTDocument <em>SMT Document</em>}'.
2643 * <!-- begin-user-doc -->
2644 * <!-- end-user-doc -->
2645 * @return the meta object for class '<em>SMT Document</em>'.
2646 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTDocument
2647 * @generated
2648 */
2649 EClass getSMTDocument();
2650
2651 /**
2652 * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTDocument#getInput <em>Input</em>}'.
2653 * <!-- begin-user-doc -->
2654 * <!-- end-user-doc -->
2655 * @return the meta object for the containment reference '<em>Input</em>'.
2656 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTDocument#getInput()
2657 * @see #getSMTDocument()
2658 * @generated
2659 */
2660 EReference getSMTDocument_Input();
2661
2662 /**
2663 * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTDocument#getOutput <em>Output</em>}'.
2664 * <!-- begin-user-doc -->
2665 * <!-- end-user-doc -->
2666 * @return the meta object for the containment reference '<em>Output</em>'.
2667 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTDocument#getOutput()
2668 * @see #getSMTDocument()
2669 * @generated
2670 */
2671 EReference getSMTDocument_Output();
2672
2673 /**
2674 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTInput <em>SMT Input</em>}'.
2675 * <!-- begin-user-doc -->
2676 * <!-- end-user-doc -->
2677 * @return the meta object for class '<em>SMT Input</em>'.
2678 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTInput
2679 * @generated
2680 */
2681 EClass getSMTInput();
2682
2683 /**
2684 * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTInput#getOptions <em>Options</em>}'.
2685 * <!-- begin-user-doc -->
2686 * <!-- end-user-doc -->
2687 * @return the meta object for the containment reference list '<em>Options</em>'.
2688 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTInput#getOptions()
2689 * @see #getSMTInput()
2690 * @generated
2691 */
2692 EReference getSMTInput_Options();
2693
2694 /**
2695 * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTInput#getTypeDeclarations <em>Type Declarations</em>}'.
2696 * <!-- begin-user-doc -->
2697 * <!-- end-user-doc -->
2698 * @return the meta object for the containment reference list '<em>Type Declarations</em>'.
2699 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTInput#getTypeDeclarations()
2700 * @see #getSMTInput()
2701 * @generated
2702 */
2703 EReference getSMTInput_TypeDeclarations();
2704
2705 /**
2706 * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTInput#getFunctionDeclarations <em>Function Declarations</em>}'.
2707 * <!-- begin-user-doc -->
2708 * <!-- end-user-doc -->
2709 * @return the meta object for the containment reference list '<em>Function Declarations</em>'.
2710 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTInput#getFunctionDeclarations()
2711 * @see #getSMTInput()
2712 * @generated
2713 */
2714 EReference getSMTInput_FunctionDeclarations();
2715
2716 /**
2717 * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTInput#getFunctionDefinition <em>Function Definition</em>}'.
2718 * <!-- begin-user-doc -->
2719 * <!-- end-user-doc -->
2720 * @return the meta object for the containment reference list '<em>Function Definition</em>'.
2721 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTInput#getFunctionDefinition()
2722 * @see #getSMTInput()
2723 * @generated
2724 */
2725 EReference getSMTInput_FunctionDefinition();
2726
2727 /**
2728 * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTInput#getAssertions <em>Assertions</em>}'.
2729 * <!-- begin-user-doc -->
2730 * <!-- end-user-doc -->
2731 * @return the meta object for the containment reference list '<em>Assertions</em>'.
2732 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTInput#getAssertions()
2733 * @see #getSMTInput()
2734 * @generated
2735 */
2736 EReference getSMTInput_Assertions();
2737
2738 /**
2739 * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTInput#getSatCommand <em>Sat Command</em>}'.
2740 * <!-- begin-user-doc -->
2741 * <!-- end-user-doc -->
2742 * @return the meta object for the containment reference '<em>Sat Command</em>'.
2743 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTInput#getSatCommand()
2744 * @see #getSMTInput()
2745 * @generated
2746 */
2747 EReference getSMTInput_SatCommand();
2748
2749 /**
2750 * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTInput#getGetModelCommand <em>Get Model Command</em>}'.
2751 * <!-- begin-user-doc -->
2752 * <!-- end-user-doc -->
2753 * @return the meta object for the containment reference '<em>Get Model Command</em>'.
2754 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTInput#getGetModelCommand()
2755 * @see #getSMTInput()
2756 * @generated
2757 */
2758 EReference getSMTInput_GetModelCommand();
2759
2760 /**
2761 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTOutput <em>SMT Output</em>}'.
2762 * <!-- begin-user-doc -->
2763 * <!-- end-user-doc -->
2764 * @return the meta object for class '<em>SMT Output</em>'.
2765 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTOutput
2766 * @generated
2767 */
2768 EClass getSMTOutput();
2769
2770 /**
2771 * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTOutput#getSatResult <em>Sat Result</em>}'.
2772 * <!-- begin-user-doc -->
2773 * <!-- end-user-doc -->
2774 * @return the meta object for the containment reference '<em>Sat Result</em>'.
2775 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTOutput#getSatResult()
2776 * @see #getSMTOutput()
2777 * @generated
2778 */
2779 EReference getSMTOutput_SatResult();
2780
2781 /**
2782 * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTOutput#getGetModelResult <em>Get Model Result</em>}'.
2783 * <!-- begin-user-doc -->
2784 * <!-- end-user-doc -->
2785 * @return the meta object for the containment reference '<em>Get Model Result</em>'.
2786 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTOutput#getGetModelResult()
2787 * @see #getSMTOutput()
2788 * @generated
2789 */
2790 EReference getSMTOutput_GetModelResult();
2791
2792 /**
2793 * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTOutput#getStatistics <em>Statistics</em>}'.
2794 * <!-- begin-user-doc -->
2795 * <!-- end-user-doc -->
2796 * @return the meta object for the containment reference '<em>Statistics</em>'.
2797 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTOutput#getStatistics()
2798 * @see #getSMTOutput()
2799 * @generated
2800 */
2801 EReference getSMTOutput_Statistics();
2802
2803 /**
2804 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTOption <em>SMT Option</em>}'.
2805 * <!-- begin-user-doc -->
2806 * <!-- end-user-doc -->
2807 * @return the meta object for class '<em>SMT Option</em>'.
2808 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTOption
2809 * @generated
2810 */
2811 EClass getSMTOption();
2812
2813 /**
2814 * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTOption#getName <em>Name</em>}'.
2815 * <!-- begin-user-doc -->
2816 * <!-- end-user-doc -->
2817 * @return the meta object for the attribute '<em>Name</em>'.
2818 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTOption#getName()
2819 * @see #getSMTOption()
2820 * @generated
2821 */
2822 EAttribute getSMTOption_Name();
2823
2824 /**
2825 * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTOption#getValue <em>Value</em>}'.
2826 * <!-- begin-user-doc -->
2827 * <!-- end-user-doc -->
2828 * @return the meta object for the containment reference '<em>Value</em>'.
2829 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTOption#getValue()
2830 * @see #getSMTOption()
2831 * @generated
2832 */
2833 EReference getSMTOption_Value();
2834
2835 /**
2836 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTType <em>SMT Type</em>}'.
2837 * <!-- begin-user-doc -->
2838 * <!-- end-user-doc -->
2839 * @return the meta object for class '<em>SMT Type</em>'.
2840 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTType
2841 * @generated
2842 */
2843 EClass getSMTType();
2844
2845 /**
2846 * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTType#getName <em>Name</em>}'.
2847 * <!-- begin-user-doc -->
2848 * <!-- end-user-doc -->
2849 * @return the meta object for the attribute '<em>Name</em>'.
2850 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTType#getName()
2851 * @see #getSMTType()
2852 * @generated
2853 */
2854 EAttribute getSMTType_Name();
2855
2856 /**
2857 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTEnumLiteral <em>SMT Enum Literal</em>}'.
2858 * <!-- begin-user-doc -->
2859 * <!-- end-user-doc -->
2860 * @return the meta object for class '<em>SMT Enum Literal</em>'.
2861 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTEnumLiteral
2862 * @generated
2863 */
2864 EClass getSMTEnumLiteral();
2865
2866 /**
2867 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTEnumeratedTypeDeclaration <em>SMT Enumerated Type Declaration</em>}'.
2868 * <!-- begin-user-doc -->
2869 * <!-- end-user-doc -->
2870 * @return the meta object for class '<em>SMT Enumerated Type Declaration</em>'.
2871 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTEnumeratedTypeDeclaration
2872 * @generated
2873 */
2874 EClass getSMTEnumeratedTypeDeclaration();
2875
2876 /**
2877 * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTEnumeratedTypeDeclaration#getElements <em>Elements</em>}'.
2878 * <!-- begin-user-doc -->
2879 * <!-- end-user-doc -->
2880 * @return the meta object for the containment reference list '<em>Elements</em>'.
2881 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTEnumeratedTypeDeclaration#getElements()
2882 * @see #getSMTEnumeratedTypeDeclaration()
2883 * @generated
2884 */
2885 EReference getSMTEnumeratedTypeDeclaration_Elements();
2886
2887 /**
2888 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTSetTypeDeclaration <em>SMT Set Type Declaration</em>}'.
2889 * <!-- begin-user-doc -->
2890 * <!-- end-user-doc -->
2891 * @return the meta object for class '<em>SMT Set Type Declaration</em>'.
2892 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTSetTypeDeclaration
2893 * @generated
2894 */
2895 EClass getSMTSetTypeDeclaration();
2896
2897 /**
2898 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTTypeReference <em>SMT Type Reference</em>}'.
2899 * <!-- begin-user-doc -->
2900 * <!-- end-user-doc -->
2901 * @return the meta object for class '<em>SMT Type Reference</em>'.
2902 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTTypeReference
2903 * @generated
2904 */
2905 EClass getSMTTypeReference();
2906
2907 /**
2908 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTComplexTypeReference <em>SMT Complex Type Reference</em>}'.
2909 * <!-- begin-user-doc -->
2910 * <!-- end-user-doc -->
2911 * @return the meta object for class '<em>SMT Complex Type Reference</em>'.
2912 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTComplexTypeReference
2913 * @generated
2914 */
2915 EClass getSMTComplexTypeReference();
2916
2917 /**
2918 * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTComplexTypeReference#getReferred <em>Referred</em>}'.
2919 * <!-- begin-user-doc -->
2920 * <!-- end-user-doc -->
2921 * @return the meta object for the reference '<em>Referred</em>'.
2922 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTComplexTypeReference#getReferred()
2923 * @see #getSMTComplexTypeReference()
2924 * @generated
2925 */
2926 EReference getSMTComplexTypeReference_Referred();
2927
2928 /**
2929 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTPrimitiveTypeReference <em>SMT Primitive Type Reference</em>}'.
2930 * <!-- begin-user-doc -->
2931 * <!-- end-user-doc -->
2932 * @return the meta object for class '<em>SMT Primitive Type Reference</em>'.
2933 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTPrimitiveTypeReference
2934 * @generated
2935 */
2936 EClass getSMTPrimitiveTypeReference();
2937
2938 /**
2939 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTIntTypeReference <em>SMT Int Type Reference</em>}'.
2940 * <!-- begin-user-doc -->
2941 * <!-- end-user-doc -->
2942 * @return the meta object for class '<em>SMT Int Type Reference</em>'.
2943 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTIntTypeReference
2944 * @generated
2945 */
2946 EClass getSMTIntTypeReference();
2947
2948 /**
2949 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTBoolTypeReference <em>SMT Bool Type Reference</em>}'.
2950 * <!-- begin-user-doc -->
2951 * <!-- end-user-doc -->
2952 * @return the meta object for class '<em>SMT Bool Type Reference</em>'.
2953 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTBoolTypeReference
2954 * @generated
2955 */
2956 EClass getSMTBoolTypeReference();
2957
2958 /**
2959 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTRealTypeReference <em>SMT Real Type Reference</em>}'.
2960 * <!-- begin-user-doc -->
2961 * <!-- end-user-doc -->
2962 * @return the meta object for class '<em>SMT Real Type Reference</em>'.
2963 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTRealTypeReference
2964 * @generated
2965 */
2966 EClass getSMTRealTypeReference();
2967
2968 /**
2969 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTFunctionDeclaration <em>SMT Function Declaration</em>}'.
2970 * <!-- begin-user-doc -->
2971 * <!-- end-user-doc -->
2972 * @return the meta object for class '<em>SMT Function Declaration</em>'.
2973 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTFunctionDeclaration
2974 * @generated
2975 */
2976 EClass getSMTFunctionDeclaration();
2977
2978 /**
2979 * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTFunctionDeclaration#getParameters <em>Parameters</em>}'.
2980 * <!-- begin-user-doc -->
2981 * <!-- end-user-doc -->
2982 * @return the meta object for the containment reference list '<em>Parameters</em>'.
2983 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTFunctionDeclaration#getParameters()
2984 * @see #getSMTFunctionDeclaration()
2985 * @generated
2986 */
2987 EReference getSMTFunctionDeclaration_Parameters();
2988
2989 /**
2990 * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTFunctionDeclaration#getRange <em>Range</em>}'.
2991 * <!-- begin-user-doc -->
2992 * <!-- end-user-doc -->
2993 * @return the meta object for the containment reference '<em>Range</em>'.
2994 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTFunctionDeclaration#getRange()
2995 * @see #getSMTFunctionDeclaration()
2996 * @generated
2997 */
2998 EReference getSMTFunctionDeclaration_Range();
2999
3000 /**
3001 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTFunctionDefinition <em>SMT Function Definition</em>}'.
3002 * <!-- begin-user-doc -->
3003 * <!-- end-user-doc -->
3004 * @return the meta object for class '<em>SMT Function Definition</em>'.
3005 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTFunctionDefinition
3006 * @generated
3007 */
3008 EClass getSMTFunctionDefinition();
3009
3010 /**
3011 * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTFunctionDefinition#getParameters <em>Parameters</em>}'.
3012 * <!-- begin-user-doc -->
3013 * <!-- end-user-doc -->
3014 * @return the meta object for the containment reference list '<em>Parameters</em>'.
3015 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTFunctionDefinition#getParameters()
3016 * @see #getSMTFunctionDefinition()
3017 * @generated
3018 */
3019 EReference getSMTFunctionDefinition_Parameters();
3020
3021 /**
3022 * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTFunctionDefinition#getRange <em>Range</em>}'.
3023 * <!-- begin-user-doc -->
3024 * <!-- end-user-doc -->
3025 * @return the meta object for the containment reference '<em>Range</em>'.
3026 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTFunctionDefinition#getRange()
3027 * @see #getSMTFunctionDefinition()
3028 * @generated
3029 */
3030 EReference getSMTFunctionDefinition_Range();
3031
3032 /**
3033 * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTFunctionDefinition#getValue <em>Value</em>}'.
3034 * <!-- begin-user-doc -->
3035 * <!-- end-user-doc -->
3036 * @return the meta object for the containment reference '<em>Value</em>'.
3037 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTFunctionDefinition#getValue()
3038 * @see #getSMTFunctionDefinition()
3039 * @generated
3040 */
3041 EReference getSMTFunctionDefinition_Value();
3042
3043 /**
3044 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTTerm <em>SMT Term</em>}'.
3045 * <!-- begin-user-doc -->
3046 * <!-- end-user-doc -->
3047 * @return the meta object for class '<em>SMT Term</em>'.
3048 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTTerm
3049 * @generated
3050 */
3051 EClass getSMTTerm();
3052
3053 /**
3054 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTSymbolicDeclaration <em>SMT Symbolic Declaration</em>}'.
3055 * <!-- begin-user-doc -->
3056 * <!-- end-user-doc -->
3057 * @return the meta object for class '<em>SMT Symbolic Declaration</em>'.
3058 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTSymbolicDeclaration
3059 * @generated
3060 */
3061 EClass getSMTSymbolicDeclaration();
3062
3063 /**
3064 * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTSymbolicDeclaration#getName <em>Name</em>}'.
3065 * <!-- begin-user-doc -->
3066 * <!-- end-user-doc -->
3067 * @return the meta object for the attribute '<em>Name</em>'.
3068 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTSymbolicDeclaration#getName()
3069 * @see #getSMTSymbolicDeclaration()
3070 * @generated
3071 */
3072 EAttribute getSMTSymbolicDeclaration_Name();
3073
3074 /**
3075 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTSymbolicValue <em>SMT Symbolic Value</em>}'.
3076 * <!-- begin-user-doc -->
3077 * <!-- end-user-doc -->
3078 * @return the meta object for class '<em>SMT Symbolic Value</em>'.
3079 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTSymbolicValue
3080 * @generated
3081 */
3082 EClass getSMTSymbolicValue();
3083
3084 /**
3085 * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTSymbolicValue#getSymbolicReference <em>Symbolic Reference</em>}'.
3086 * <!-- begin-user-doc -->
3087 * <!-- end-user-doc -->
3088 * @return the meta object for the reference '<em>Symbolic Reference</em>'.
3089 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTSymbolicValue#getSymbolicReference()
3090 * @see #getSMTSymbolicValue()
3091 * @generated
3092 */
3093 EReference getSMTSymbolicValue_SymbolicReference();
3094
3095 /**
3096 * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTSymbolicValue#getParameterSubstitutions <em>Parameter Substitutions</em>}'.
3097 * <!-- begin-user-doc -->
3098 * <!-- end-user-doc -->
3099 * @return the meta object for the containment reference list '<em>Parameter Substitutions</em>'.
3100 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTSymbolicValue#getParameterSubstitutions()
3101 * @see #getSMTSymbolicValue()
3102 * @generated
3103 */
3104 EReference getSMTSymbolicValue_ParameterSubstitutions();
3105
3106 /**
3107 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTAtomicTerm <em>SMT Atomic Term</em>}'.
3108 * <!-- begin-user-doc -->
3109 * <!-- end-user-doc -->
3110 * @return the meta object for class '<em>SMT Atomic Term</em>'.
3111 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTAtomicTerm
3112 * @generated
3113 */
3114 EClass getSMTAtomicTerm();
3115
3116 /**
3117 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTIntLiteral <em>SMT Int Literal</em>}'.
3118 * <!-- begin-user-doc -->
3119 * <!-- end-user-doc -->
3120 * @return the meta object for class '<em>SMT Int Literal</em>'.
3121 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTIntLiteral
3122 * @generated
3123 */
3124 EClass getSMTIntLiteral();
3125
3126 /**
3127 * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTIntLiteral#getValue <em>Value</em>}'.
3128 * <!-- begin-user-doc -->
3129 * <!-- end-user-doc -->
3130 * @return the meta object for the attribute '<em>Value</em>'.
3131 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTIntLiteral#getValue()
3132 * @see #getSMTIntLiteral()
3133 * @generated
3134 */
3135 EAttribute getSMTIntLiteral_Value();
3136
3137 /**
3138 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTBoolLiteral <em>SMT Bool Literal</em>}'.
3139 * <!-- begin-user-doc -->
3140 * <!-- end-user-doc -->
3141 * @return the meta object for class '<em>SMT Bool Literal</em>'.
3142 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTBoolLiteral
3143 * @generated
3144 */
3145 EClass getSMTBoolLiteral();
3146
3147 /**
3148 * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTBoolLiteral#isValue <em>Value</em>}'.
3149 * <!-- begin-user-doc -->
3150 * <!-- end-user-doc -->
3151 * @return the meta object for the attribute '<em>Value</em>'.
3152 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTBoolLiteral#isValue()
3153 * @see #getSMTBoolLiteral()
3154 * @generated
3155 */
3156 EAttribute getSMTBoolLiteral_Value();
3157
3158 /**
3159 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTRealLiteral <em>SMT Real Literal</em>}'.
3160 * <!-- begin-user-doc -->
3161 * <!-- end-user-doc -->
3162 * @return the meta object for class '<em>SMT Real Literal</em>'.
3163 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTRealLiteral
3164 * @generated
3165 */
3166 EClass getSMTRealLiteral();
3167
3168 /**
3169 * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTRealLiteral#getValue <em>Value</em>}'.
3170 * <!-- begin-user-doc -->
3171 * <!-- end-user-doc -->
3172 * @return the meta object for the attribute '<em>Value</em>'.
3173 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTRealLiteral#getValue()
3174 * @see #getSMTRealLiteral()
3175 * @generated
3176 */
3177 EAttribute getSMTRealLiteral_Value();
3178
3179 /**
3180 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTSortedVariable <em>SMT Sorted Variable</em>}'.
3181 * <!-- begin-user-doc -->
3182 * <!-- end-user-doc -->
3183 * @return the meta object for class '<em>SMT Sorted Variable</em>'.
3184 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTSortedVariable
3185 * @generated
3186 */
3187 EClass getSMTSortedVariable();
3188
3189 /**
3190 * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTSortedVariable#getRange <em>Range</em>}'.
3191 * <!-- begin-user-doc -->
3192 * <!-- end-user-doc -->
3193 * @return the meta object for the containment reference '<em>Range</em>'.
3194 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTSortedVariable#getRange()
3195 * @see #getSMTSortedVariable()
3196 * @generated
3197 */
3198 EReference getSMTSortedVariable_Range();
3199
3200 /**
3201 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTQuantifiedExpression <em>SMT Quantified Expression</em>}'.
3202 * <!-- begin-user-doc -->
3203 * <!-- end-user-doc -->
3204 * @return the meta object for class '<em>SMT Quantified Expression</em>'.
3205 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTQuantifiedExpression
3206 * @generated
3207 */
3208 EClass getSMTQuantifiedExpression();
3209
3210 /**
3211 * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTQuantifiedExpression#getQuantifiedVariables <em>Quantified Variables</em>}'.
3212 * <!-- begin-user-doc -->
3213 * <!-- end-user-doc -->
3214 * @return the meta object for the containment reference list '<em>Quantified Variables</em>'.
3215 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTQuantifiedExpression#getQuantifiedVariables()
3216 * @see #getSMTQuantifiedExpression()
3217 * @generated
3218 */
3219 EReference getSMTQuantifiedExpression_QuantifiedVariables();
3220
3221 /**
3222 * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTQuantifiedExpression#getExpression <em>Expression</em>}'.
3223 * <!-- begin-user-doc -->
3224 * <!-- end-user-doc -->
3225 * @return the meta object for the containment reference '<em>Expression</em>'.
3226 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTQuantifiedExpression#getExpression()
3227 * @see #getSMTQuantifiedExpression()
3228 * @generated
3229 */
3230 EReference getSMTQuantifiedExpression_Expression();
3231
3232 /**
3233 * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTQuantifiedExpression#getPattern <em>Pattern</em>}'.
3234 * <!-- begin-user-doc -->
3235 * <!-- end-user-doc -->
3236 * @return the meta object for the containment reference '<em>Pattern</em>'.
3237 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTQuantifiedExpression#getPattern()
3238 * @see #getSMTQuantifiedExpression()
3239 * @generated
3240 */
3241 EReference getSMTQuantifiedExpression_Pattern();
3242
3243 /**
3244 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTExists <em>SMT Exists</em>}'.
3245 * <!-- begin-user-doc -->
3246 * <!-- end-user-doc -->
3247 * @return the meta object for class '<em>SMT Exists</em>'.
3248 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTExists
3249 * @generated
3250 */
3251 EClass getSMTExists();
3252
3253 /**
3254 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTForall <em>SMT Forall</em>}'.
3255 * <!-- begin-user-doc -->
3256 * <!-- end-user-doc -->
3257 * @return the meta object for class '<em>SMT Forall</em>'.
3258 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTForall
3259 * @generated
3260 */
3261 EClass getSMTForall();
3262
3263 /**
3264 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTBoolOperation <em>SMT Bool Operation</em>}'.
3265 * <!-- begin-user-doc -->
3266 * <!-- end-user-doc -->
3267 * @return the meta object for class '<em>SMT Bool Operation</em>'.
3268 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTBoolOperation
3269 * @generated
3270 */
3271 EClass getSMTBoolOperation();
3272
3273 /**
3274 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTAnd <em>SMT And</em>}'.
3275 * <!-- begin-user-doc -->
3276 * <!-- end-user-doc -->
3277 * @return the meta object for class '<em>SMT And</em>'.
3278 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTAnd
3279 * @generated
3280 */
3281 EClass getSMTAnd();
3282
3283 /**
3284 * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTAnd#getOperands <em>Operands</em>}'.
3285 * <!-- begin-user-doc -->
3286 * <!-- end-user-doc -->
3287 * @return the meta object for the containment reference list '<em>Operands</em>'.
3288 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTAnd#getOperands()
3289 * @see #getSMTAnd()
3290 * @generated
3291 */
3292 EReference getSMTAnd_Operands();
3293
3294 /**
3295 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTOr <em>SMT Or</em>}'.
3296 * <!-- begin-user-doc -->
3297 * <!-- end-user-doc -->
3298 * @return the meta object for class '<em>SMT Or</em>'.
3299 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTOr
3300 * @generated
3301 */
3302 EClass getSMTOr();
3303
3304 /**
3305 * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTOr#getOperands <em>Operands</em>}'.
3306 * <!-- begin-user-doc -->
3307 * <!-- end-user-doc -->
3308 * @return the meta object for the containment reference list '<em>Operands</em>'.
3309 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTOr#getOperands()
3310 * @see #getSMTOr()
3311 * @generated
3312 */
3313 EReference getSMTOr_Operands();
3314
3315 /**
3316 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTImpl <em>SMT Impl</em>}'.
3317 * <!-- begin-user-doc -->
3318 * <!-- end-user-doc -->
3319 * @return the meta object for class '<em>SMT Impl</em>'.
3320 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTImpl
3321 * @generated
3322 */
3323 EClass getSMTImpl();
3324
3325 /**
3326 * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTImpl#getLeftOperand <em>Left Operand</em>}'.
3327 * <!-- begin-user-doc -->
3328 * <!-- end-user-doc -->
3329 * @return the meta object for the containment reference '<em>Left Operand</em>'.
3330 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTImpl#getLeftOperand()
3331 * @see #getSMTImpl()
3332 * @generated
3333 */
3334 EReference getSMTImpl_LeftOperand();
3335
3336 /**
3337 * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTImpl#getRightOperand <em>Right Operand</em>}'.
3338 * <!-- begin-user-doc -->
3339 * <!-- end-user-doc -->
3340 * @return the meta object for the containment reference '<em>Right Operand</em>'.
3341 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTImpl#getRightOperand()
3342 * @see #getSMTImpl()
3343 * @generated
3344 */
3345 EReference getSMTImpl_RightOperand();
3346
3347 /**
3348 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTNot <em>SMT Not</em>}'.
3349 * <!-- begin-user-doc -->
3350 * <!-- end-user-doc -->
3351 * @return the meta object for class '<em>SMT Not</em>'.
3352 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTNot
3353 * @generated
3354 */
3355 EClass getSMTNot();
3356
3357 /**
3358 * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTNot#getOperand <em>Operand</em>}'.
3359 * <!-- begin-user-doc -->
3360 * <!-- end-user-doc -->
3361 * @return the meta object for the containment reference '<em>Operand</em>'.
3362 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTNot#getOperand()
3363 * @see #getSMTNot()
3364 * @generated
3365 */
3366 EReference getSMTNot_Operand();
3367
3368 /**
3369 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTIff <em>SMT Iff</em>}'.
3370 * <!-- begin-user-doc -->
3371 * <!-- end-user-doc -->
3372 * @return the meta object for class '<em>SMT Iff</em>'.
3373 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTIff
3374 * @generated
3375 */
3376 EClass getSMTIff();
3377
3378 /**
3379 * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTIff#getLeftOperand <em>Left Operand</em>}'.
3380 * <!-- begin-user-doc -->
3381 * <!-- end-user-doc -->
3382 * @return the meta object for the containment reference '<em>Left Operand</em>'.
3383 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTIff#getLeftOperand()
3384 * @see #getSMTIff()
3385 * @generated
3386 */
3387 EReference getSMTIff_LeftOperand();
3388
3389 /**
3390 * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTIff#getRightOperand <em>Right Operand</em>}'.
3391 * <!-- begin-user-doc -->
3392 * <!-- end-user-doc -->
3393 * @return the meta object for the containment reference '<em>Right Operand</em>'.
3394 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTIff#getRightOperand()
3395 * @see #getSMTIff()
3396 * @generated
3397 */
3398 EReference getSMTIff_RightOperand();
3399
3400 /**
3401 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTITE <em>SMTITE</em>}'.
3402 * <!-- begin-user-doc -->
3403 * <!-- end-user-doc -->
3404 * @return the meta object for class '<em>SMTITE</em>'.
3405 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTITE
3406 * @generated
3407 */
3408 EClass getSMTITE();
3409
3410 /**
3411 * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTITE#getCondition <em>Condition</em>}'.
3412 * <!-- begin-user-doc -->
3413 * <!-- end-user-doc -->
3414 * @return the meta object for the containment reference '<em>Condition</em>'.
3415 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTITE#getCondition()
3416 * @see #getSMTITE()
3417 * @generated
3418 */
3419 EReference getSMTITE_Condition();
3420
3421 /**
3422 * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTITE#getIf <em>If</em>}'.
3423 * <!-- begin-user-doc -->
3424 * <!-- end-user-doc -->
3425 * @return the meta object for the containment reference '<em>If</em>'.
3426 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTITE#getIf()
3427 * @see #getSMTITE()
3428 * @generated
3429 */
3430 EReference getSMTITE_If();
3431
3432 /**
3433 * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTITE#getElse <em>Else</em>}'.
3434 * <!-- begin-user-doc -->
3435 * <!-- end-user-doc -->
3436 * @return the meta object for the containment reference '<em>Else</em>'.
3437 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTITE#getElse()
3438 * @see #getSMTITE()
3439 * @generated
3440 */
3441 EReference getSMTITE_Else();
3442
3443 /**
3444 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTLet <em>SMT Let</em>}'.
3445 * <!-- begin-user-doc -->
3446 * <!-- end-user-doc -->
3447 * @return the meta object for class '<em>SMT Let</em>'.
3448 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTLet
3449 * @generated
3450 */
3451 EClass getSMTLet();
3452
3453 /**
3454 * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTLet#getInlineConstantDefinitions <em>Inline Constant Definitions</em>}'.
3455 * <!-- begin-user-doc -->
3456 * <!-- end-user-doc -->
3457 * @return the meta object for the containment reference list '<em>Inline Constant Definitions</em>'.
3458 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTLet#getInlineConstantDefinitions()
3459 * @see #getSMTLet()
3460 * @generated
3461 */
3462 EReference getSMTLet_InlineConstantDefinitions();
3463
3464 /**
3465 * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTLet#getTerm <em>Term</em>}'.
3466 * <!-- begin-user-doc -->
3467 * <!-- end-user-doc -->
3468 * @return the meta object for the containment reference '<em>Term</em>'.
3469 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTLet#getTerm()
3470 * @see #getSMTLet()
3471 * @generated
3472 */
3473 EReference getSMTLet_Term();
3474
3475 /**
3476 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTInlineConstantDefinition <em>SMT Inline Constant Definition</em>}'.
3477 * <!-- begin-user-doc -->
3478 * <!-- end-user-doc -->
3479 * @return the meta object for class '<em>SMT Inline Constant Definition</em>'.
3480 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTInlineConstantDefinition
3481 * @generated
3482 */
3483 EClass getSMTInlineConstantDefinition();
3484
3485 /**
3486 * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTInlineConstantDefinition#getDefinition <em>Definition</em>}'.
3487 * <!-- begin-user-doc -->
3488 * <!-- end-user-doc -->
3489 * @return the meta object for the containment reference '<em>Definition</em>'.
3490 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTInlineConstantDefinition#getDefinition()
3491 * @see #getSMTInlineConstantDefinition()
3492 * @generated
3493 */
3494 EReference getSMTInlineConstantDefinition_Definition();
3495
3496 /**
3497 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTRelation <em>SMT Relation</em>}'.
3498 * <!-- begin-user-doc -->
3499 * <!-- end-user-doc -->
3500 * @return the meta object for class '<em>SMT Relation</em>'.
3501 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTRelation
3502 * @generated
3503 */
3504 EClass getSMTRelation();
3505
3506 /**
3507 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTEquals <em>SMT Equals</em>}'.
3508 * <!-- begin-user-doc -->
3509 * <!-- end-user-doc -->
3510 * @return the meta object for class '<em>SMT Equals</em>'.
3511 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTEquals
3512 * @generated
3513 */
3514 EClass getSMTEquals();
3515
3516 /**
3517 * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTEquals#getLeftOperand <em>Left Operand</em>}'.
3518 * <!-- begin-user-doc -->
3519 * <!-- end-user-doc -->
3520 * @return the meta object for the containment reference '<em>Left Operand</em>'.
3521 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTEquals#getLeftOperand()
3522 * @see #getSMTEquals()
3523 * @generated
3524 */
3525 EReference getSMTEquals_LeftOperand();
3526
3527 /**
3528 * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTEquals#getRightOperand <em>Right Operand</em>}'.
3529 * <!-- begin-user-doc -->
3530 * <!-- end-user-doc -->
3531 * @return the meta object for the containment reference '<em>Right Operand</em>'.
3532 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTEquals#getRightOperand()
3533 * @see #getSMTEquals()
3534 * @generated
3535 */
3536 EReference getSMTEquals_RightOperand();
3537
3538 /**
3539 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTDistinct <em>SMT Distinct</em>}'.
3540 * <!-- begin-user-doc -->
3541 * <!-- end-user-doc -->
3542 * @return the meta object for class '<em>SMT Distinct</em>'.
3543 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTDistinct
3544 * @generated
3545 */
3546 EClass getSMTDistinct();
3547
3548 /**
3549 * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTDistinct#getOperands <em>Operands</em>}'.
3550 * <!-- begin-user-doc -->
3551 * <!-- end-user-doc -->
3552 * @return the meta object for the containment reference list '<em>Operands</em>'.
3553 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTDistinct#getOperands()
3554 * @see #getSMTDistinct()
3555 * @generated
3556 */
3557 EReference getSMTDistinct_Operands();
3558
3559 /**
3560 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTLT <em>SMTLT</em>}'.
3561 * <!-- begin-user-doc -->
3562 * <!-- end-user-doc -->
3563 * @return the meta object for class '<em>SMTLT</em>'.
3564 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTLT
3565 * @generated
3566 */
3567 EClass getSMTLT();
3568
3569 /**
3570 * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTLT#getLeftOperand <em>Left Operand</em>}'.
3571 * <!-- begin-user-doc -->
3572 * <!-- end-user-doc -->
3573 * @return the meta object for the containment reference '<em>Left Operand</em>'.
3574 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTLT#getLeftOperand()
3575 * @see #getSMTLT()
3576 * @generated
3577 */
3578 EReference getSMTLT_LeftOperand();
3579
3580 /**
3581 * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTLT#getRightOperand <em>Right Operand</em>}'.
3582 * <!-- begin-user-doc -->
3583 * <!-- end-user-doc -->
3584 * @return the meta object for the containment reference '<em>Right Operand</em>'.
3585 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTLT#getRightOperand()
3586 * @see #getSMTLT()
3587 * @generated
3588 */
3589 EReference getSMTLT_RightOperand();
3590
3591 /**
3592 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTMT <em>SMTMT</em>}'.
3593 * <!-- begin-user-doc -->
3594 * <!-- end-user-doc -->
3595 * @return the meta object for class '<em>SMTMT</em>'.
3596 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTMT
3597 * @generated
3598 */
3599 EClass getSMTMT();
3600
3601 /**
3602 * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTMT#getLeftOperand <em>Left Operand</em>}'.
3603 * <!-- begin-user-doc -->
3604 * <!-- end-user-doc -->
3605 * @return the meta object for the containment reference '<em>Left Operand</em>'.
3606 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTMT#getLeftOperand()
3607 * @see #getSMTMT()
3608 * @generated
3609 */
3610 EReference getSMTMT_LeftOperand();
3611
3612 /**
3613 * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTMT#getRightOperand <em>Right Operand</em>}'.
3614 * <!-- begin-user-doc -->
3615 * <!-- end-user-doc -->
3616 * @return the meta object for the containment reference '<em>Right Operand</em>'.
3617 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTMT#getRightOperand()
3618 * @see #getSMTMT()
3619 * @generated
3620 */
3621 EReference getSMTMT_RightOperand();
3622
3623 /**
3624 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTLEQ <em>SMTLEQ</em>}'.
3625 * <!-- begin-user-doc -->
3626 * <!-- end-user-doc -->
3627 * @return the meta object for class '<em>SMTLEQ</em>'.
3628 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTLEQ
3629 * @generated
3630 */
3631 EClass getSMTLEQ();
3632
3633 /**
3634 * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTLEQ#getLeftOperand <em>Left Operand</em>}'.
3635 * <!-- begin-user-doc -->
3636 * <!-- end-user-doc -->
3637 * @return the meta object for the containment reference '<em>Left Operand</em>'.
3638 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTLEQ#getLeftOperand()
3639 * @see #getSMTLEQ()
3640 * @generated
3641 */
3642 EReference getSMTLEQ_LeftOperand();
3643
3644 /**
3645 * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTLEQ#getRightOperand <em>Right Operand</em>}'.
3646 * <!-- begin-user-doc -->
3647 * <!-- end-user-doc -->
3648 * @return the meta object for the containment reference '<em>Right Operand</em>'.
3649 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTLEQ#getRightOperand()
3650 * @see #getSMTLEQ()
3651 * @generated
3652 */
3653 EReference getSMTLEQ_RightOperand();
3654
3655 /**
3656 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTMEQ <em>SMTMEQ</em>}'.
3657 * <!-- begin-user-doc -->
3658 * <!-- end-user-doc -->
3659 * @return the meta object for class '<em>SMTMEQ</em>'.
3660 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTMEQ
3661 * @generated
3662 */
3663 EClass getSMTMEQ();
3664
3665 /**
3666 * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTMEQ#getLeftOperand <em>Left Operand</em>}'.
3667 * <!-- begin-user-doc -->
3668 * <!-- end-user-doc -->
3669 * @return the meta object for the containment reference '<em>Left Operand</em>'.
3670 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTMEQ#getLeftOperand()
3671 * @see #getSMTMEQ()
3672 * @generated
3673 */
3674 EReference getSMTMEQ_LeftOperand();
3675
3676 /**
3677 * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTMEQ#getRightOperand <em>Right Operand</em>}'.
3678 * <!-- begin-user-doc -->
3679 * <!-- end-user-doc -->
3680 * @return the meta object for the containment reference '<em>Right Operand</em>'.
3681 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTMEQ#getRightOperand()
3682 * @see #getSMTMEQ()
3683 * @generated
3684 */
3685 EReference getSMTMEQ_RightOperand();
3686
3687 /**
3688 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTIntOperation <em>SMT Int Operation</em>}'.
3689 * <!-- begin-user-doc -->
3690 * <!-- end-user-doc -->
3691 * @return the meta object for class '<em>SMT Int Operation</em>'.
3692 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTIntOperation
3693 * @generated
3694 */
3695 EClass getSMTIntOperation();
3696
3697 /**
3698 * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTIntOperation#getLeftOperand <em>Left Operand</em>}'.
3699 * <!-- begin-user-doc -->
3700 * <!-- end-user-doc -->
3701 * @return the meta object for the containment reference '<em>Left Operand</em>'.
3702 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTIntOperation#getLeftOperand()
3703 * @see #getSMTIntOperation()
3704 * @generated
3705 */
3706 EReference getSMTIntOperation_LeftOperand();
3707
3708 /**
3709 * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTIntOperation#getRightOperand <em>Right Operand</em>}'.
3710 * <!-- begin-user-doc -->
3711 * <!-- end-user-doc -->
3712 * @return the meta object for the containment reference '<em>Right Operand</em>'.
3713 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTIntOperation#getRightOperand()
3714 * @see #getSMTIntOperation()
3715 * @generated
3716 */
3717 EReference getSMTIntOperation_RightOperand();
3718
3719 /**
3720 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTPlus <em>SMT Plus</em>}'.
3721 * <!-- begin-user-doc -->
3722 * <!-- end-user-doc -->
3723 * @return the meta object for class '<em>SMT Plus</em>'.
3724 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTPlus
3725 * @generated
3726 */
3727 EClass getSMTPlus();
3728
3729 /**
3730 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTMinus <em>SMT Minus</em>}'.
3731 * <!-- begin-user-doc -->
3732 * <!-- end-user-doc -->
3733 * @return the meta object for class '<em>SMT Minus</em>'.
3734 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTMinus
3735 * @generated
3736 */
3737 EClass getSMTMinus();
3738
3739 /**
3740 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTMultiply <em>SMT Multiply</em>}'.
3741 * <!-- begin-user-doc -->
3742 * <!-- end-user-doc -->
3743 * @return the meta object for class '<em>SMT Multiply</em>'.
3744 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTMultiply
3745 * @generated
3746 */
3747 EClass getSMTMultiply();
3748
3749 /**
3750 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTDivison <em>SMT Divison</em>}'.
3751 * <!-- begin-user-doc -->
3752 * <!-- end-user-doc -->
3753 * @return the meta object for class '<em>SMT Divison</em>'.
3754 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTDivison
3755 * @generated
3756 */
3757 EClass getSMTDivison();
3758
3759 /**
3760 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTDiv <em>SMT Div</em>}'.
3761 * <!-- begin-user-doc -->
3762 * <!-- end-user-doc -->
3763 * @return the meta object for class '<em>SMT Div</em>'.
3764 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTDiv
3765 * @generated
3766 */
3767 EClass getSMTDiv();
3768
3769 /**
3770 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTMod <em>SMT Mod</em>}'.
3771 * <!-- begin-user-doc -->
3772 * <!-- end-user-doc -->
3773 * @return the meta object for class '<em>SMT Mod</em>'.
3774 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTMod
3775 * @generated
3776 */
3777 EClass getSMTMod();
3778
3779 /**
3780 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTAssertion <em>SMT Assertion</em>}'.
3781 * <!-- begin-user-doc -->
3782 * <!-- end-user-doc -->
3783 * @return the meta object for class '<em>SMT Assertion</em>'.
3784 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTAssertion
3785 * @generated
3786 */
3787 EClass getSMTAssertion();
3788
3789 /**
3790 * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTAssertion#getValue <em>Value</em>}'.
3791 * <!-- begin-user-doc -->
3792 * <!-- end-user-doc -->
3793 * @return the meta object for the containment reference '<em>Value</em>'.
3794 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTAssertion#getValue()
3795 * @see #getSMTAssertion()
3796 * @generated
3797 */
3798 EReference getSMTAssertion_Value();
3799
3800 /**
3801 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTCardinalityConstraint <em>SMT Cardinality Constraint</em>}'.
3802 * <!-- begin-user-doc -->
3803 * <!-- end-user-doc -->
3804 * @return the meta object for class '<em>SMT Cardinality Constraint</em>'.
3805 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTCardinalityConstraint
3806 * @generated
3807 */
3808 EClass getSMTCardinalityConstraint();
3809
3810 /**
3811 * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTCardinalityConstraint#getType <em>Type</em>}'.
3812 * <!-- begin-user-doc -->
3813 * <!-- end-user-doc -->
3814 * @return the meta object for the containment reference '<em>Type</em>'.
3815 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTCardinalityConstraint#getType()
3816 * @see #getSMTCardinalityConstraint()
3817 * @generated
3818 */
3819 EReference getSMTCardinalityConstraint_Type();
3820
3821 /**
3822 * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTCardinalityConstraint#getElements <em>Elements</em>}'.
3823 * <!-- begin-user-doc -->
3824 * <!-- end-user-doc -->
3825 * @return the meta object for the containment reference list '<em>Elements</em>'.
3826 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTCardinalityConstraint#getElements()
3827 * @see #getSMTCardinalityConstraint()
3828 * @generated
3829 */
3830 EReference getSMTCardinalityConstraint_Elements();
3831
3832 /**
3833 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTSatCommand <em>SMT Sat Command</em>}'.
3834 * <!-- begin-user-doc -->
3835 * <!-- end-user-doc -->
3836 * @return the meta object for class '<em>SMT Sat Command</em>'.
3837 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTSatCommand
3838 * @generated
3839 */
3840 EClass getSMTSatCommand();
3841
3842 /**
3843 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTSimpleSatCommand <em>SMT Simple Sat Command</em>}'.
3844 * <!-- begin-user-doc -->
3845 * <!-- end-user-doc -->
3846 * @return the meta object for class '<em>SMT Simple Sat Command</em>'.
3847 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTSimpleSatCommand
3848 * @generated
3849 */
3850 EClass getSMTSimpleSatCommand();
3851
3852 /**
3853 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTComplexSatCommand <em>SMT Complex Sat Command</em>}'.
3854 * <!-- begin-user-doc -->
3855 * <!-- end-user-doc -->
3856 * @return the meta object for class '<em>SMT Complex Sat Command</em>'.
3857 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTComplexSatCommand
3858 * @generated
3859 */
3860 EClass getSMTComplexSatCommand();
3861
3862 /**
3863 * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTComplexSatCommand#getMethod <em>Method</em>}'.
3864 * <!-- begin-user-doc -->
3865 * <!-- end-user-doc -->
3866 * @return the meta object for the containment reference '<em>Method</em>'.
3867 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTComplexSatCommand#getMethod()
3868 * @see #getSMTComplexSatCommand()
3869 * @generated
3870 */
3871 EReference getSMTComplexSatCommand_Method();
3872
3873 /**
3874 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTGetModelCommand <em>SMT Get Model Command</em>}'.
3875 * <!-- begin-user-doc -->
3876 * <!-- end-user-doc -->
3877 * @return the meta object for class '<em>SMT Get Model Command</em>'.
3878 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTGetModelCommand
3879 * @generated
3880 */
3881 EClass getSMTGetModelCommand();
3882
3883 /**
3884 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTReasoningTactic <em>SMT Reasoning Tactic</em>}'.
3885 * <!-- begin-user-doc -->
3886 * <!-- end-user-doc -->
3887 * @return the meta object for class '<em>SMT Reasoning Tactic</em>'.
3888 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTReasoningTactic
3889 * @generated
3890 */
3891 EClass getSMTReasoningTactic();
3892
3893 /**
3894 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTBuiltinTactic <em>SMT Builtin Tactic</em>}'.
3895 * <!-- begin-user-doc -->
3896 * <!-- end-user-doc -->
3897 * @return the meta object for class '<em>SMT Builtin Tactic</em>'.
3898 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTBuiltinTactic
3899 * @generated
3900 */
3901 EClass getSMTBuiltinTactic();
3902
3903 /**
3904 * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTBuiltinTactic#getName <em>Name</em>}'.
3905 * <!-- begin-user-doc -->
3906 * <!-- end-user-doc -->
3907 * @return the meta object for the attribute '<em>Name</em>'.
3908 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTBuiltinTactic#getName()
3909 * @see #getSMTBuiltinTactic()
3910 * @generated
3911 */
3912 EAttribute getSMTBuiltinTactic_Name();
3913
3914 /**
3915 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTReasoningCombinator <em>SMT Reasoning Combinator</em>}'.
3916 * <!-- begin-user-doc -->
3917 * <!-- end-user-doc -->
3918 * @return the meta object for class '<em>SMT Reasoning Combinator</em>'.
3919 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTReasoningCombinator
3920 * @generated
3921 */
3922 EClass getSMTReasoningCombinator();
3923
3924 /**
3925 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTAndThenCombinator <em>SMT And Then Combinator</em>}'.
3926 * <!-- begin-user-doc -->
3927 * <!-- end-user-doc -->
3928 * @return the meta object for class '<em>SMT And Then Combinator</em>'.
3929 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTAndThenCombinator
3930 * @generated
3931 */
3932 EClass getSMTAndThenCombinator();
3933
3934 /**
3935 * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTAndThenCombinator#getTactics <em>Tactics</em>}'.
3936 * <!-- begin-user-doc -->
3937 * <!-- end-user-doc -->
3938 * @return the meta object for the containment reference list '<em>Tactics</em>'.
3939 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTAndThenCombinator#getTactics()
3940 * @see #getSMTAndThenCombinator()
3941 * @generated
3942 */
3943 EReference getSMTAndThenCombinator_Tactics();
3944
3945 /**
3946 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTOrElseCombinator <em>SMT Or Else Combinator</em>}'.
3947 * <!-- begin-user-doc -->
3948 * <!-- end-user-doc -->
3949 * @return the meta object for class '<em>SMT Or Else Combinator</em>'.
3950 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTOrElseCombinator
3951 * @generated
3952 */
3953 EClass getSMTOrElseCombinator();
3954
3955 /**
3956 * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTOrElseCombinator#getTactics <em>Tactics</em>}'.
3957 * <!-- begin-user-doc -->
3958 * <!-- end-user-doc -->
3959 * @return the meta object for the containment reference list '<em>Tactics</em>'.
3960 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTOrElseCombinator#getTactics()
3961 * @see #getSMTOrElseCombinator()
3962 * @generated
3963 */
3964 EReference getSMTOrElseCombinator_Tactics();
3965
3966 /**
3967 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTParOrCombinator <em>SMT Par Or Combinator</em>}'.
3968 * <!-- begin-user-doc -->
3969 * <!-- end-user-doc -->
3970 * @return the meta object for class '<em>SMT Par Or Combinator</em>'.
3971 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTParOrCombinator
3972 * @generated
3973 */
3974 EClass getSMTParOrCombinator();
3975
3976 /**
3977 * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTParOrCombinator#getTactics <em>Tactics</em>}'.
3978 * <!-- begin-user-doc -->
3979 * <!-- end-user-doc -->
3980 * @return the meta object for the containment reference list '<em>Tactics</em>'.
3981 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTParOrCombinator#getTactics()
3982 * @see #getSMTParOrCombinator()
3983 * @generated
3984 */
3985 EReference getSMTParOrCombinator_Tactics();
3986
3987 /**
3988 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTParThenCombinator <em>SMT Par Then Combinator</em>}'.
3989 * <!-- begin-user-doc -->
3990 * <!-- end-user-doc -->
3991 * @return the meta object for class '<em>SMT Par Then Combinator</em>'.
3992 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTParThenCombinator
3993 * @generated
3994 */
3995 EClass getSMTParThenCombinator();
3996
3997 /**
3998 * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTParThenCombinator#getPreProcessingTactic <em>Pre Processing Tactic</em>}'.
3999 * <!-- begin-user-doc -->
4000 * <!-- end-user-doc -->
4001 * @return the meta object for the containment reference '<em>Pre Processing Tactic</em>'.
4002 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTParThenCombinator#getPreProcessingTactic()
4003 * @see #getSMTParThenCombinator()
4004 * @generated
4005 */
4006 EReference getSMTParThenCombinator_PreProcessingTactic();
4007
4008 /**
4009 * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTParThenCombinator#getParalellyPostpricessingTactic <em>Paralelly Postpricessing Tactic</em>}'.
4010 * <!-- begin-user-doc -->
4011 * <!-- end-user-doc -->
4012 * @return the meta object for the containment reference '<em>Paralelly Postpricessing Tactic</em>'.
4013 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTParThenCombinator#getParalellyPostpricessingTactic()
4014 * @see #getSMTParThenCombinator()
4015 * @generated
4016 */
4017 EReference getSMTParThenCombinator_ParalellyPostpricessingTactic();
4018
4019 /**
4020 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTTryForCombinator <em>SMT Try For Combinator</em>}'.
4021 * <!-- begin-user-doc -->
4022 * <!-- end-user-doc -->
4023 * @return the meta object for class '<em>SMT Try For Combinator</em>'.
4024 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTTryForCombinator
4025 * @generated
4026 */
4027 EClass getSMTTryForCombinator();
4028
4029 /**
4030 * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTTryForCombinator#getTactic <em>Tactic</em>}'.
4031 * <!-- begin-user-doc -->
4032 * <!-- end-user-doc -->
4033 * @return the meta object for the containment reference '<em>Tactic</em>'.
4034 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTTryForCombinator#getTactic()
4035 * @see #getSMTTryForCombinator()
4036 * @generated
4037 */
4038 EReference getSMTTryForCombinator_Tactic();
4039
4040 /**
4041 * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTTryForCombinator#getTime <em>Time</em>}'.
4042 * <!-- begin-user-doc -->
4043 * <!-- end-user-doc -->
4044 * @return the meta object for the attribute '<em>Time</em>'.
4045 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTTryForCombinator#getTime()
4046 * @see #getSMTTryForCombinator()
4047 * @generated
4048 */
4049 EAttribute getSMTTryForCombinator_Time();
4050
4051 /**
4052 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTIfCombinator <em>SMT If Combinator</em>}'.
4053 * <!-- begin-user-doc -->
4054 * <!-- end-user-doc -->
4055 * @return the meta object for class '<em>SMT If Combinator</em>'.
4056 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTIfCombinator
4057 * @generated
4058 */
4059 EClass getSMTIfCombinator();
4060
4061 /**
4062 * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTIfCombinator#getProbe <em>Probe</em>}'.
4063 * <!-- begin-user-doc -->
4064 * <!-- end-user-doc -->
4065 * @return the meta object for the containment reference '<em>Probe</em>'.
4066 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTIfCombinator#getProbe()
4067 * @see #getSMTIfCombinator()
4068 * @generated
4069 */
4070 EReference getSMTIfCombinator_Probe();
4071
4072 /**
4073 * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTIfCombinator#getIfTactic <em>If Tactic</em>}'.
4074 * <!-- begin-user-doc -->
4075 * <!-- end-user-doc -->
4076 * @return the meta object for the containment reference '<em>If Tactic</em>'.
4077 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTIfCombinator#getIfTactic()
4078 * @see #getSMTIfCombinator()
4079 * @generated
4080 */
4081 EReference getSMTIfCombinator_IfTactic();
4082
4083 /**
4084 * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTIfCombinator#getElseTactic <em>Else Tactic</em>}'.
4085 * <!-- begin-user-doc -->
4086 * <!-- end-user-doc -->
4087 * @return the meta object for the containment reference '<em>Else Tactic</em>'.
4088 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTIfCombinator#getElseTactic()
4089 * @see #getSMTIfCombinator()
4090 * @generated
4091 */
4092 EReference getSMTIfCombinator_ElseTactic();
4093
4094 /**
4095 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTWhenCombinator <em>SMT When Combinator</em>}'.
4096 * <!-- begin-user-doc -->
4097 * <!-- end-user-doc -->
4098 * @return the meta object for class '<em>SMT When Combinator</em>'.
4099 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTWhenCombinator
4100 * @generated
4101 */
4102 EClass getSMTWhenCombinator();
4103
4104 /**
4105 * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTWhenCombinator#getProbe <em>Probe</em>}'.
4106 * <!-- begin-user-doc -->
4107 * <!-- end-user-doc -->
4108 * @return the meta object for the containment reference '<em>Probe</em>'.
4109 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTWhenCombinator#getProbe()
4110 * @see #getSMTWhenCombinator()
4111 * @generated
4112 */
4113 EReference getSMTWhenCombinator_Probe();
4114
4115 /**
4116 * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTWhenCombinator#getTactic <em>Tactic</em>}'.
4117 * <!-- begin-user-doc -->
4118 * <!-- end-user-doc -->
4119 * @return the meta object for the containment reference '<em>Tactic</em>'.
4120 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTWhenCombinator#getTactic()
4121 * @see #getSMTWhenCombinator()
4122 * @generated
4123 */
4124 EReference getSMTWhenCombinator_Tactic();
4125
4126 /**
4127 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTFailIfCombinator <em>SMT Fail If Combinator</em>}'.
4128 * <!-- begin-user-doc -->
4129 * <!-- end-user-doc -->
4130 * @return the meta object for class '<em>SMT Fail If Combinator</em>'.
4131 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTFailIfCombinator
4132 * @generated
4133 */
4134 EClass getSMTFailIfCombinator();
4135
4136 /**
4137 * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTFailIfCombinator#getProbe <em>Probe</em>}'.
4138 * <!-- begin-user-doc -->
4139 * <!-- end-user-doc -->
4140 * @return the meta object for the containment reference '<em>Probe</em>'.
4141 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTFailIfCombinator#getProbe()
4142 * @see #getSMTFailIfCombinator()
4143 * @generated
4144 */
4145 EReference getSMTFailIfCombinator_Probe();
4146
4147 /**
4148 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTUsingParamCombinator <em>SMT Using Param Combinator</em>}'.
4149 * <!-- begin-user-doc -->
4150 * <!-- end-user-doc -->
4151 * @return the meta object for class '<em>SMT Using Param Combinator</em>'.
4152 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTUsingParamCombinator
4153 * @generated
4154 */
4155 EClass getSMTUsingParamCombinator();
4156
4157 /**
4158 * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTUsingParamCombinator#getTactic <em>Tactic</em>}'.
4159 * <!-- begin-user-doc -->
4160 * <!-- end-user-doc -->
4161 * @return the meta object for the containment reference '<em>Tactic</em>'.
4162 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTUsingParamCombinator#getTactic()
4163 * @see #getSMTUsingParamCombinator()
4164 * @generated
4165 */
4166 EReference getSMTUsingParamCombinator_Tactic();
4167
4168 /**
4169 * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTUsingParamCombinator#getParameters <em>Parameters</em>}'.
4170 * <!-- begin-user-doc -->
4171 * <!-- end-user-doc -->
4172 * @return the meta object for the containment reference list '<em>Parameters</em>'.
4173 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTUsingParamCombinator#getParameters()
4174 * @see #getSMTUsingParamCombinator()
4175 * @generated
4176 */
4177 EReference getSMTUsingParamCombinator_Parameters();
4178
4179 /**
4180 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.ReasoningProbe <em>Reasoning Probe</em>}'.
4181 * <!-- begin-user-doc -->
4182 * <!-- end-user-doc -->
4183 * @return the meta object for class '<em>Reasoning Probe</em>'.
4184 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.ReasoningProbe
4185 * @generated
4186 */
4187 EClass getReasoningProbe();
4188
4189 /**
4190 * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.ReasoningProbe#getName <em>Name</em>}'.
4191 * <!-- begin-user-doc -->
4192 * <!-- end-user-doc -->
4193 * @return the meta object for the attribute '<em>Name</em>'.
4194 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.ReasoningProbe#getName()
4195 * @see #getReasoningProbe()
4196 * @generated
4197 */
4198 EAttribute getReasoningProbe_Name();
4199
4200 /**
4201 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.ReasoningTacticParameter <em>Reasoning Tactic Parameter</em>}'.
4202 * <!-- begin-user-doc -->
4203 * <!-- end-user-doc -->
4204 * @return the meta object for class '<em>Reasoning Tactic Parameter</em>'.
4205 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.ReasoningTacticParameter
4206 * @generated
4207 */
4208 EClass getReasoningTacticParameter();
4209
4210 /**
4211 * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.ReasoningTacticParameter#getName <em>Name</em>}'.
4212 * <!-- begin-user-doc -->
4213 * <!-- end-user-doc -->
4214 * @return the meta object for the attribute '<em>Name</em>'.
4215 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.ReasoningTacticParameter#getName()
4216 * @see #getReasoningTacticParameter()
4217 * @generated
4218 */
4219 EAttribute getReasoningTacticParameter_Name();
4220
4221 /**
4222 * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.ReasoningTacticParameter#getValue <em>Value</em>}'.
4223 * <!-- begin-user-doc -->
4224 * <!-- end-user-doc -->
4225 * @return the meta object for the containment reference '<em>Value</em>'.
4226 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.ReasoningTacticParameter#getValue()
4227 * @see #getReasoningTacticParameter()
4228 * @generated
4229 */
4230 EReference getReasoningTacticParameter_Value();
4231
4232 /**
4233 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTResult <em>SMT Result</em>}'.
4234 * <!-- begin-user-doc -->
4235 * <!-- end-user-doc -->
4236 * @return the meta object for class '<em>SMT Result</em>'.
4237 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTResult
4238 * @generated
4239 */
4240 EClass getSMTResult();
4241
4242 /**
4243 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTErrorResult <em>SMT Error Result</em>}'.
4244 * <!-- begin-user-doc -->
4245 * <!-- end-user-doc -->
4246 * @return the meta object for class '<em>SMT Error Result</em>'.
4247 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTErrorResult
4248 * @generated
4249 */
4250 EClass getSMTErrorResult();
4251
4252 /**
4253 * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTErrorResult#getMessage <em>Message</em>}'.
4254 * <!-- begin-user-doc -->
4255 * <!-- end-user-doc -->
4256 * @return the meta object for the attribute '<em>Message</em>'.
4257 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTErrorResult#getMessage()
4258 * @see #getSMTErrorResult()
4259 * @generated
4260 */
4261 EAttribute getSMTErrorResult_Message();
4262
4263 /**
4264 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTUnsupportedResult <em>SMT Unsupported Result</em>}'.
4265 * <!-- begin-user-doc -->
4266 * <!-- end-user-doc -->
4267 * @return the meta object for class '<em>SMT Unsupported Result</em>'.
4268 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTUnsupportedResult
4269 * @generated
4270 */
4271 EClass getSMTUnsupportedResult();
4272
4273 /**
4274 * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTUnsupportedResult#getCommand <em>Command</em>}'.
4275 * <!-- begin-user-doc -->
4276 * <!-- end-user-doc -->
4277 * @return the meta object for the attribute '<em>Command</em>'.
4278 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTUnsupportedResult#getCommand()
4279 * @see #getSMTUnsupportedResult()
4280 * @generated
4281 */
4282 EAttribute getSMTUnsupportedResult_Command();
4283
4284 /**
4285 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTSatResult <em>SMT Sat Result</em>}'.
4286 * <!-- begin-user-doc -->
4287 * <!-- end-user-doc -->
4288 * @return the meta object for class '<em>SMT Sat Result</em>'.
4289 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTSatResult
4290 * @generated
4291 */
4292 EClass getSMTSatResult();
4293
4294 /**
4295 * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTSatResult#isSat <em>Sat</em>}'.
4296 * <!-- begin-user-doc -->
4297 * <!-- end-user-doc -->
4298 * @return the meta object for the attribute '<em>Sat</em>'.
4299 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTSatResult#isSat()
4300 * @see #getSMTSatResult()
4301 * @generated
4302 */
4303 EAttribute getSMTSatResult_Sat();
4304
4305 /**
4306 * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTSatResult#isUnsat <em>Unsat</em>}'.
4307 * <!-- begin-user-doc -->
4308 * <!-- end-user-doc -->
4309 * @return the meta object for the attribute '<em>Unsat</em>'.
4310 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTSatResult#isUnsat()
4311 * @see #getSMTSatResult()
4312 * @generated
4313 */
4314 EAttribute getSMTSatResult_Unsat();
4315
4316 /**
4317 * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTSatResult#isUnknown <em>Unknown</em>}'.
4318 * <!-- begin-user-doc -->
4319 * <!-- end-user-doc -->
4320 * @return the meta object for the attribute '<em>Unknown</em>'.
4321 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTSatResult#isUnknown()
4322 * @see #getSMTSatResult()
4323 * @generated
4324 */
4325 EAttribute getSMTSatResult_Unknown();
4326
4327 /**
4328 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTModelResult <em>SMT Model Result</em>}'.
4329 * <!-- begin-user-doc -->
4330 * <!-- end-user-doc -->
4331 * @return the meta object for class '<em>SMT Model Result</em>'.
4332 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTModelResult
4333 * @generated
4334 */
4335 EClass getSMTModelResult();
4336
4337 /**
4338 * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTModelResult#getNewFunctionDeclarations <em>New Function Declarations</em>}'.
4339 * <!-- begin-user-doc -->
4340 * <!-- end-user-doc -->
4341 * @return the meta object for the containment reference list '<em>New Function Declarations</em>'.
4342 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTModelResult#getNewFunctionDeclarations()
4343 * @see #getSMTModelResult()
4344 * @generated
4345 */
4346 EReference getSMTModelResult_NewFunctionDeclarations();
4347
4348 /**
4349 * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTModelResult#getTypeDefinitions <em>Type Definitions</em>}'.
4350 * <!-- begin-user-doc -->
4351 * <!-- end-user-doc -->
4352 * @return the meta object for the containment reference list '<em>Type Definitions</em>'.
4353 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTModelResult#getTypeDefinitions()
4354 * @see #getSMTModelResult()
4355 * @generated
4356 */
4357 EReference getSMTModelResult_TypeDefinitions();
4358
4359 /**
4360 * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTModelResult#getNewFunctionDefinitions <em>New Function Definitions</em>}'.
4361 * <!-- begin-user-doc -->
4362 * <!-- end-user-doc -->
4363 * @return the meta object for the containment reference list '<em>New Function Definitions</em>'.
4364 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTModelResult#getNewFunctionDefinitions()
4365 * @see #getSMTModelResult()
4366 * @generated
4367 */
4368 EReference getSMTModelResult_NewFunctionDefinitions();
4369
4370 /**
4371 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTStatisticValue <em>SMT Statistic Value</em>}'.
4372 * <!-- begin-user-doc -->
4373 * <!-- end-user-doc -->
4374 * @return the meta object for class '<em>SMT Statistic Value</em>'.
4375 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTStatisticValue
4376 * @generated
4377 */
4378 EClass getSMTStatisticValue();
4379
4380 /**
4381 * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTStatisticValue#getName <em>Name</em>}'.
4382 * <!-- begin-user-doc -->
4383 * <!-- end-user-doc -->
4384 * @return the meta object for the attribute '<em>Name</em>'.
4385 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTStatisticValue#getName()
4386 * @see #getSMTStatisticValue()
4387 * @generated
4388 */
4389 EAttribute getSMTStatisticValue_Name();
4390
4391 /**
4392 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTStatisticIntValue <em>SMT Statistic Int Value</em>}'.
4393 * <!-- begin-user-doc -->
4394 * <!-- end-user-doc -->
4395 * @return the meta object for class '<em>SMT Statistic Int Value</em>'.
4396 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTStatisticIntValue
4397 * @generated
4398 */
4399 EClass getSMTStatisticIntValue();
4400
4401 /**
4402 * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTStatisticIntValue#getValue <em>Value</em>}'.
4403 * <!-- begin-user-doc -->
4404 * <!-- end-user-doc -->
4405 * @return the meta object for the attribute '<em>Value</em>'.
4406 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTStatisticIntValue#getValue()
4407 * @see #getSMTStatisticIntValue()
4408 * @generated
4409 */
4410 EAttribute getSMTStatisticIntValue_Value();
4411
4412 /**
4413 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTStatisticDoubleValue <em>SMT Statistic Double Value</em>}'.
4414 * <!-- begin-user-doc -->
4415 * <!-- end-user-doc -->
4416 * @return the meta object for class '<em>SMT Statistic Double Value</em>'.
4417 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTStatisticDoubleValue
4418 * @generated
4419 */
4420 EClass getSMTStatisticDoubleValue();
4421
4422 /**
4423 * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTStatisticDoubleValue#getValue <em>Value</em>}'.
4424 * <!-- begin-user-doc -->
4425 * <!-- end-user-doc -->
4426 * @return the meta object for the attribute '<em>Value</em>'.
4427 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTStatisticDoubleValue#getValue()
4428 * @see #getSMTStatisticDoubleValue()
4429 * @generated
4430 */
4431 EAttribute getSMTStatisticDoubleValue_Value();
4432
4433 /**
4434 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTStatisticsSection <em>SMT Statistics Section</em>}'.
4435 * <!-- begin-user-doc -->
4436 * <!-- end-user-doc -->
4437 * @return the meta object for class '<em>SMT Statistics Section</em>'.
4438 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTStatisticsSection
4439 * @generated
4440 */
4441 EClass getSMTStatisticsSection();
4442
4443 /**
4444 * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTStatisticsSection#getValues <em>Values</em>}'.
4445 * <!-- begin-user-doc -->
4446 * <!-- end-user-doc -->
4447 * @return the meta object for the containment reference list '<em>Values</em>'.
4448 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SMTStatisticsSection#getValues()
4449 * @see #getSMTStatisticsSection()
4450 * @generated
4451 */
4452 EReference getSMTStatisticsSection_Values();
4453
4454 /**
4455 * Returns the factory that creates the instances of the model.
4456 * <!-- begin-user-doc -->
4457 * <!-- end-user-doc -->
4458 * @return the factory that creates the instances of the model.
4459 * @generated
4460 */
4461 SmtLanguageFactory getSmtLanguageFactory();
4462
4463 /**
4464 * <!-- begin-user-doc -->
4465 * Defines literals for the meta objects that represent
4466 * <ul>
4467 * <li>each class,</li>
4468 * <li>each feature of each class,</li>
4469 * <li>each enum,</li>
4470 * <li>and each data type</li>
4471 * </ul>
4472 * <!-- end-user-doc -->
4473 * @generated
4474 */
4475 interface Literals
4476 {
4477 /**
4478 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTDocumentImpl <em>SMT Document</em>}' class.
4479 * <!-- begin-user-doc -->
4480 * <!-- end-user-doc -->
4481 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTDocumentImpl
4482 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTDocument()
4483 * @generated
4484 */
4485 EClass SMT_DOCUMENT = eINSTANCE.getSMTDocument();
4486
4487 /**
4488 * The meta object literal for the '<em><b>Input</b></em>' containment reference feature.
4489 * <!-- begin-user-doc -->
4490 * <!-- end-user-doc -->
4491 * @generated
4492 */
4493 EReference SMT_DOCUMENT__INPUT = eINSTANCE.getSMTDocument_Input();
4494
4495 /**
4496 * The meta object literal for the '<em><b>Output</b></em>' containment reference feature.
4497 * <!-- begin-user-doc -->
4498 * <!-- end-user-doc -->
4499 * @generated
4500 */
4501 EReference SMT_DOCUMENT__OUTPUT = eINSTANCE.getSMTDocument_Output();
4502
4503 /**
4504 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTInputImpl <em>SMT Input</em>}' class.
4505 * <!-- begin-user-doc -->
4506 * <!-- end-user-doc -->
4507 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTInputImpl
4508 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTInput()
4509 * @generated
4510 */
4511 EClass SMT_INPUT = eINSTANCE.getSMTInput();
4512
4513 /**
4514 * The meta object literal for the '<em><b>Options</b></em>' containment reference list feature.
4515 * <!-- begin-user-doc -->
4516 * <!-- end-user-doc -->
4517 * @generated
4518 */
4519 EReference SMT_INPUT__OPTIONS = eINSTANCE.getSMTInput_Options();
4520
4521 /**
4522 * The meta object literal for the '<em><b>Type Declarations</b></em>' containment reference list feature.
4523 * <!-- begin-user-doc -->
4524 * <!-- end-user-doc -->
4525 * @generated
4526 */
4527 EReference SMT_INPUT__TYPE_DECLARATIONS = eINSTANCE.getSMTInput_TypeDeclarations();
4528
4529 /**
4530 * The meta object literal for the '<em><b>Function Declarations</b></em>' containment reference list feature.
4531 * <!-- begin-user-doc -->
4532 * <!-- end-user-doc -->
4533 * @generated
4534 */
4535 EReference SMT_INPUT__FUNCTION_DECLARATIONS = eINSTANCE.getSMTInput_FunctionDeclarations();
4536
4537 /**
4538 * The meta object literal for the '<em><b>Function Definition</b></em>' containment reference list feature.
4539 * <!-- begin-user-doc -->
4540 * <!-- end-user-doc -->
4541 * @generated
4542 */
4543 EReference SMT_INPUT__FUNCTION_DEFINITION = eINSTANCE.getSMTInput_FunctionDefinition();
4544
4545 /**
4546 * The meta object literal for the '<em><b>Assertions</b></em>' containment reference list feature.
4547 * <!-- begin-user-doc -->
4548 * <!-- end-user-doc -->
4549 * @generated
4550 */
4551 EReference SMT_INPUT__ASSERTIONS = eINSTANCE.getSMTInput_Assertions();
4552
4553 /**
4554 * The meta object literal for the '<em><b>Sat Command</b></em>' containment reference feature.
4555 * <!-- begin-user-doc -->
4556 * <!-- end-user-doc -->
4557 * @generated
4558 */
4559 EReference SMT_INPUT__SAT_COMMAND = eINSTANCE.getSMTInput_SatCommand();
4560
4561 /**
4562 * The meta object literal for the '<em><b>Get Model Command</b></em>' containment reference feature.
4563 * <!-- begin-user-doc -->
4564 * <!-- end-user-doc -->
4565 * @generated
4566 */
4567 EReference SMT_INPUT__GET_MODEL_COMMAND = eINSTANCE.getSMTInput_GetModelCommand();
4568
4569 /**
4570 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTOutputImpl <em>SMT Output</em>}' class.
4571 * <!-- begin-user-doc -->
4572 * <!-- end-user-doc -->
4573 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTOutputImpl
4574 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTOutput()
4575 * @generated
4576 */
4577 EClass SMT_OUTPUT = eINSTANCE.getSMTOutput();
4578
4579 /**
4580 * The meta object literal for the '<em><b>Sat Result</b></em>' containment reference feature.
4581 * <!-- begin-user-doc -->
4582 * <!-- end-user-doc -->
4583 * @generated
4584 */
4585 EReference SMT_OUTPUT__SAT_RESULT = eINSTANCE.getSMTOutput_SatResult();
4586
4587 /**
4588 * The meta object literal for the '<em><b>Get Model Result</b></em>' containment reference feature.
4589 * <!-- begin-user-doc -->
4590 * <!-- end-user-doc -->
4591 * @generated
4592 */
4593 EReference SMT_OUTPUT__GET_MODEL_RESULT = eINSTANCE.getSMTOutput_GetModelResult();
4594
4595 /**
4596 * The meta object literal for the '<em><b>Statistics</b></em>' containment reference feature.
4597 * <!-- begin-user-doc -->
4598 * <!-- end-user-doc -->
4599 * @generated
4600 */
4601 EReference SMT_OUTPUT__STATISTICS = eINSTANCE.getSMTOutput_Statistics();
4602
4603 /**
4604 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTOptionImpl <em>SMT Option</em>}' class.
4605 * <!-- begin-user-doc -->
4606 * <!-- end-user-doc -->
4607 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTOptionImpl
4608 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTOption()
4609 * @generated
4610 */
4611 EClass SMT_OPTION = eINSTANCE.getSMTOption();
4612
4613 /**
4614 * The meta object literal for the '<em><b>Name</b></em>' attribute feature.
4615 * <!-- begin-user-doc -->
4616 * <!-- end-user-doc -->
4617 * @generated
4618 */
4619 EAttribute SMT_OPTION__NAME = eINSTANCE.getSMTOption_Name();
4620
4621 /**
4622 * The meta object literal for the '<em><b>Value</b></em>' containment reference feature.
4623 * <!-- begin-user-doc -->
4624 * <!-- end-user-doc -->
4625 * @generated
4626 */
4627 EReference SMT_OPTION__VALUE = eINSTANCE.getSMTOption_Value();
4628
4629 /**
4630 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTTypeImpl <em>SMT Type</em>}' class.
4631 * <!-- begin-user-doc -->
4632 * <!-- end-user-doc -->
4633 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTTypeImpl
4634 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTType()
4635 * @generated
4636 */
4637 EClass SMT_TYPE = eINSTANCE.getSMTType();
4638
4639 /**
4640 * The meta object literal for the '<em><b>Name</b></em>' attribute feature.
4641 * <!-- begin-user-doc -->
4642 * <!-- end-user-doc -->
4643 * @generated
4644 */
4645 EAttribute SMT_TYPE__NAME = eINSTANCE.getSMTType_Name();
4646
4647 /**
4648 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTEnumLiteralImpl <em>SMT Enum Literal</em>}' class.
4649 * <!-- begin-user-doc -->
4650 * <!-- end-user-doc -->
4651 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTEnumLiteralImpl
4652 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTEnumLiteral()
4653 * @generated
4654 */
4655 EClass SMT_ENUM_LITERAL = eINSTANCE.getSMTEnumLiteral();
4656
4657 /**
4658 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTEnumeratedTypeDeclarationImpl <em>SMT Enumerated Type Declaration</em>}' class.
4659 * <!-- begin-user-doc -->
4660 * <!-- end-user-doc -->
4661 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTEnumeratedTypeDeclarationImpl
4662 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTEnumeratedTypeDeclaration()
4663 * @generated
4664 */
4665 EClass SMT_ENUMERATED_TYPE_DECLARATION = eINSTANCE.getSMTEnumeratedTypeDeclaration();
4666
4667 /**
4668 * The meta object literal for the '<em><b>Elements</b></em>' containment reference list feature.
4669 * <!-- begin-user-doc -->
4670 * <!-- end-user-doc -->
4671 * @generated
4672 */
4673 EReference SMT_ENUMERATED_TYPE_DECLARATION__ELEMENTS = eINSTANCE.getSMTEnumeratedTypeDeclaration_Elements();
4674
4675 /**
4676 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTSetTypeDeclarationImpl <em>SMT Set Type Declaration</em>}' class.
4677 * <!-- begin-user-doc -->
4678 * <!-- end-user-doc -->
4679 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTSetTypeDeclarationImpl
4680 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTSetTypeDeclaration()
4681 * @generated
4682 */
4683 EClass SMT_SET_TYPE_DECLARATION = eINSTANCE.getSMTSetTypeDeclaration();
4684
4685 /**
4686 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTTypeReferenceImpl <em>SMT Type Reference</em>}' class.
4687 * <!-- begin-user-doc -->
4688 * <!-- end-user-doc -->
4689 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTTypeReferenceImpl
4690 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTTypeReference()
4691 * @generated
4692 */
4693 EClass SMT_TYPE_REFERENCE = eINSTANCE.getSMTTypeReference();
4694
4695 /**
4696 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTComplexTypeReferenceImpl <em>SMT Complex Type Reference</em>}' class.
4697 * <!-- begin-user-doc -->
4698 * <!-- end-user-doc -->
4699 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTComplexTypeReferenceImpl
4700 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTComplexTypeReference()
4701 * @generated
4702 */
4703 EClass SMT_COMPLEX_TYPE_REFERENCE = eINSTANCE.getSMTComplexTypeReference();
4704
4705 /**
4706 * The meta object literal for the '<em><b>Referred</b></em>' reference feature.
4707 * <!-- begin-user-doc -->
4708 * <!-- end-user-doc -->
4709 * @generated
4710 */
4711 EReference SMT_COMPLEX_TYPE_REFERENCE__REFERRED = eINSTANCE.getSMTComplexTypeReference_Referred();
4712
4713 /**
4714 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTPrimitiveTypeReferenceImpl <em>SMT Primitive Type Reference</em>}' class.
4715 * <!-- begin-user-doc -->
4716 * <!-- end-user-doc -->
4717 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTPrimitiveTypeReferenceImpl
4718 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTPrimitiveTypeReference()
4719 * @generated
4720 */
4721 EClass SMT_PRIMITIVE_TYPE_REFERENCE = eINSTANCE.getSMTPrimitiveTypeReference();
4722
4723 /**
4724 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTIntTypeReferenceImpl <em>SMT Int Type Reference</em>}' class.
4725 * <!-- begin-user-doc -->
4726 * <!-- end-user-doc -->
4727 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTIntTypeReferenceImpl
4728 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTIntTypeReference()
4729 * @generated
4730 */
4731 EClass SMT_INT_TYPE_REFERENCE = eINSTANCE.getSMTIntTypeReference();
4732
4733 /**
4734 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTBoolTypeReferenceImpl <em>SMT Bool Type Reference</em>}' class.
4735 * <!-- begin-user-doc -->
4736 * <!-- end-user-doc -->
4737 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTBoolTypeReferenceImpl
4738 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTBoolTypeReference()
4739 * @generated
4740 */
4741 EClass SMT_BOOL_TYPE_REFERENCE = eINSTANCE.getSMTBoolTypeReference();
4742
4743 /**
4744 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTRealTypeReferenceImpl <em>SMT Real Type Reference</em>}' class.
4745 * <!-- begin-user-doc -->
4746 * <!-- end-user-doc -->
4747 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTRealTypeReferenceImpl
4748 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTRealTypeReference()
4749 * @generated
4750 */
4751 EClass SMT_REAL_TYPE_REFERENCE = eINSTANCE.getSMTRealTypeReference();
4752
4753 /**
4754 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTFunctionDeclarationImpl <em>SMT Function Declaration</em>}' class.
4755 * <!-- begin-user-doc -->
4756 * <!-- end-user-doc -->
4757 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTFunctionDeclarationImpl
4758 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTFunctionDeclaration()
4759 * @generated
4760 */
4761 EClass SMT_FUNCTION_DECLARATION = eINSTANCE.getSMTFunctionDeclaration();
4762
4763 /**
4764 * The meta object literal for the '<em><b>Parameters</b></em>' containment reference list feature.
4765 * <!-- begin-user-doc -->
4766 * <!-- end-user-doc -->
4767 * @generated
4768 */
4769 EReference SMT_FUNCTION_DECLARATION__PARAMETERS = eINSTANCE.getSMTFunctionDeclaration_Parameters();
4770
4771 /**
4772 * The meta object literal for the '<em><b>Range</b></em>' containment reference feature.
4773 * <!-- begin-user-doc -->
4774 * <!-- end-user-doc -->
4775 * @generated
4776 */
4777 EReference SMT_FUNCTION_DECLARATION__RANGE = eINSTANCE.getSMTFunctionDeclaration_Range();
4778
4779 /**
4780 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTFunctionDefinitionImpl <em>SMT Function Definition</em>}' class.
4781 * <!-- begin-user-doc -->
4782 * <!-- end-user-doc -->
4783 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTFunctionDefinitionImpl
4784 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTFunctionDefinition()
4785 * @generated
4786 */
4787 EClass SMT_FUNCTION_DEFINITION = eINSTANCE.getSMTFunctionDefinition();
4788
4789 /**
4790 * The meta object literal for the '<em><b>Parameters</b></em>' containment reference list feature.
4791 * <!-- begin-user-doc -->
4792 * <!-- end-user-doc -->
4793 * @generated
4794 */
4795 EReference SMT_FUNCTION_DEFINITION__PARAMETERS = eINSTANCE.getSMTFunctionDefinition_Parameters();
4796
4797 /**
4798 * The meta object literal for the '<em><b>Range</b></em>' containment reference feature.
4799 * <!-- begin-user-doc -->
4800 * <!-- end-user-doc -->
4801 * @generated
4802 */
4803 EReference SMT_FUNCTION_DEFINITION__RANGE = eINSTANCE.getSMTFunctionDefinition_Range();
4804
4805 /**
4806 * The meta object literal for the '<em><b>Value</b></em>' containment reference feature.
4807 * <!-- begin-user-doc -->
4808 * <!-- end-user-doc -->
4809 * @generated
4810 */
4811 EReference SMT_FUNCTION_DEFINITION__VALUE = eINSTANCE.getSMTFunctionDefinition_Value();
4812
4813 /**
4814 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTTermImpl <em>SMT Term</em>}' class.
4815 * <!-- begin-user-doc -->
4816 * <!-- end-user-doc -->
4817 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTTermImpl
4818 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTTerm()
4819 * @generated
4820 */
4821 EClass SMT_TERM = eINSTANCE.getSMTTerm();
4822
4823 /**
4824 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTSymbolicDeclarationImpl <em>SMT Symbolic Declaration</em>}' class.
4825 * <!-- begin-user-doc -->
4826 * <!-- end-user-doc -->
4827 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTSymbolicDeclarationImpl
4828 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTSymbolicDeclaration()
4829 * @generated
4830 */
4831 EClass SMT_SYMBOLIC_DECLARATION = eINSTANCE.getSMTSymbolicDeclaration();
4832
4833 /**
4834 * The meta object literal for the '<em><b>Name</b></em>' attribute feature.
4835 * <!-- begin-user-doc -->
4836 * <!-- end-user-doc -->
4837 * @generated
4838 */
4839 EAttribute SMT_SYMBOLIC_DECLARATION__NAME = eINSTANCE.getSMTSymbolicDeclaration_Name();
4840
4841 /**
4842 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTSymbolicValueImpl <em>SMT Symbolic Value</em>}' class.
4843 * <!-- begin-user-doc -->
4844 * <!-- end-user-doc -->
4845 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTSymbolicValueImpl
4846 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTSymbolicValue()
4847 * @generated
4848 */
4849 EClass SMT_SYMBOLIC_VALUE = eINSTANCE.getSMTSymbolicValue();
4850
4851 /**
4852 * The meta object literal for the '<em><b>Symbolic Reference</b></em>' reference feature.
4853 * <!-- begin-user-doc -->
4854 * <!-- end-user-doc -->
4855 * @generated
4856 */
4857 EReference SMT_SYMBOLIC_VALUE__SYMBOLIC_REFERENCE = eINSTANCE.getSMTSymbolicValue_SymbolicReference();
4858
4859 /**
4860 * The meta object literal for the '<em><b>Parameter Substitutions</b></em>' containment reference list feature.
4861 * <!-- begin-user-doc -->
4862 * <!-- end-user-doc -->
4863 * @generated
4864 */
4865 EReference SMT_SYMBOLIC_VALUE__PARAMETER_SUBSTITUTIONS = eINSTANCE.getSMTSymbolicValue_ParameterSubstitutions();
4866
4867 /**
4868 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTAtomicTermImpl <em>SMT Atomic Term</em>}' class.
4869 * <!-- begin-user-doc -->
4870 * <!-- end-user-doc -->
4871 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTAtomicTermImpl
4872 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTAtomicTerm()
4873 * @generated
4874 */
4875 EClass SMT_ATOMIC_TERM = eINSTANCE.getSMTAtomicTerm();
4876
4877 /**
4878 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTIntLiteralImpl <em>SMT Int Literal</em>}' class.
4879 * <!-- begin-user-doc -->
4880 * <!-- end-user-doc -->
4881 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTIntLiteralImpl
4882 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTIntLiteral()
4883 * @generated
4884 */
4885 EClass SMT_INT_LITERAL = eINSTANCE.getSMTIntLiteral();
4886
4887 /**
4888 * The meta object literal for the '<em><b>Value</b></em>' attribute feature.
4889 * <!-- begin-user-doc -->
4890 * <!-- end-user-doc -->
4891 * @generated
4892 */
4893 EAttribute SMT_INT_LITERAL__VALUE = eINSTANCE.getSMTIntLiteral_Value();
4894
4895 /**
4896 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTBoolLiteralImpl <em>SMT Bool Literal</em>}' class.
4897 * <!-- begin-user-doc -->
4898 * <!-- end-user-doc -->
4899 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTBoolLiteralImpl
4900 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTBoolLiteral()
4901 * @generated
4902 */
4903 EClass SMT_BOOL_LITERAL = eINSTANCE.getSMTBoolLiteral();
4904
4905 /**
4906 * The meta object literal for the '<em><b>Value</b></em>' attribute feature.
4907 * <!-- begin-user-doc -->
4908 * <!-- end-user-doc -->
4909 * @generated
4910 */
4911 EAttribute SMT_BOOL_LITERAL__VALUE = eINSTANCE.getSMTBoolLiteral_Value();
4912
4913 /**
4914 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTRealLiteralImpl <em>SMT Real Literal</em>}' class.
4915 * <!-- begin-user-doc -->
4916 * <!-- end-user-doc -->
4917 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTRealLiteralImpl
4918 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTRealLiteral()
4919 * @generated
4920 */
4921 EClass SMT_REAL_LITERAL = eINSTANCE.getSMTRealLiteral();
4922
4923 /**
4924 * The meta object literal for the '<em><b>Value</b></em>' attribute feature.
4925 * <!-- begin-user-doc -->
4926 * <!-- end-user-doc -->
4927 * @generated
4928 */
4929 EAttribute SMT_REAL_LITERAL__VALUE = eINSTANCE.getSMTRealLiteral_Value();
4930
4931 /**
4932 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTSortedVariableImpl <em>SMT Sorted Variable</em>}' class.
4933 * <!-- begin-user-doc -->
4934 * <!-- end-user-doc -->
4935 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTSortedVariableImpl
4936 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTSortedVariable()
4937 * @generated
4938 */
4939 EClass SMT_SORTED_VARIABLE = eINSTANCE.getSMTSortedVariable();
4940
4941 /**
4942 * The meta object literal for the '<em><b>Range</b></em>' containment reference feature.
4943 * <!-- begin-user-doc -->
4944 * <!-- end-user-doc -->
4945 * @generated
4946 */
4947 EReference SMT_SORTED_VARIABLE__RANGE = eINSTANCE.getSMTSortedVariable_Range();
4948
4949 /**
4950 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTQuantifiedExpressionImpl <em>SMT Quantified Expression</em>}' class.
4951 * <!-- begin-user-doc -->
4952 * <!-- end-user-doc -->
4953 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTQuantifiedExpressionImpl
4954 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTQuantifiedExpression()
4955 * @generated
4956 */
4957 EClass SMT_QUANTIFIED_EXPRESSION = eINSTANCE.getSMTQuantifiedExpression();
4958
4959 /**
4960 * The meta object literal for the '<em><b>Quantified Variables</b></em>' containment reference list feature.
4961 * <!-- begin-user-doc -->
4962 * <!-- end-user-doc -->
4963 * @generated
4964 */
4965 EReference SMT_QUANTIFIED_EXPRESSION__QUANTIFIED_VARIABLES = eINSTANCE.getSMTQuantifiedExpression_QuantifiedVariables();
4966
4967 /**
4968 * The meta object literal for the '<em><b>Expression</b></em>' containment reference feature.
4969 * <!-- begin-user-doc -->
4970 * <!-- end-user-doc -->
4971 * @generated
4972 */
4973 EReference SMT_QUANTIFIED_EXPRESSION__EXPRESSION = eINSTANCE.getSMTQuantifiedExpression_Expression();
4974
4975 /**
4976 * The meta object literal for the '<em><b>Pattern</b></em>' containment reference feature.
4977 * <!-- begin-user-doc -->
4978 * <!-- end-user-doc -->
4979 * @generated
4980 */
4981 EReference SMT_QUANTIFIED_EXPRESSION__PATTERN = eINSTANCE.getSMTQuantifiedExpression_Pattern();
4982
4983 /**
4984 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTExistsImpl <em>SMT Exists</em>}' class.
4985 * <!-- begin-user-doc -->
4986 * <!-- end-user-doc -->
4987 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTExistsImpl
4988 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTExists()
4989 * @generated
4990 */
4991 EClass SMT_EXISTS = eINSTANCE.getSMTExists();
4992
4993 /**
4994 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTForallImpl <em>SMT Forall</em>}' class.
4995 * <!-- begin-user-doc -->
4996 * <!-- end-user-doc -->
4997 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTForallImpl
4998 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTForall()
4999 * @generated
5000 */
5001 EClass SMT_FORALL = eINSTANCE.getSMTForall();
5002
5003 /**
5004 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTBoolOperationImpl <em>SMT Bool Operation</em>}' class.
5005 * <!-- begin-user-doc -->
5006 * <!-- end-user-doc -->
5007 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTBoolOperationImpl
5008 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTBoolOperation()
5009 * @generated
5010 */
5011 EClass SMT_BOOL_OPERATION = eINSTANCE.getSMTBoolOperation();
5012
5013 /**
5014 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTAndImpl <em>SMT And</em>}' class.
5015 * <!-- begin-user-doc -->
5016 * <!-- end-user-doc -->
5017 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTAndImpl
5018 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTAnd()
5019 * @generated
5020 */
5021 EClass SMT_AND = eINSTANCE.getSMTAnd();
5022
5023 /**
5024 * The meta object literal for the '<em><b>Operands</b></em>' containment reference list feature.
5025 * <!-- begin-user-doc -->
5026 * <!-- end-user-doc -->
5027 * @generated
5028 */
5029 EReference SMT_AND__OPERANDS = eINSTANCE.getSMTAnd_Operands();
5030
5031 /**
5032 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTOrImpl <em>SMT Or</em>}' class.
5033 * <!-- begin-user-doc -->
5034 * <!-- end-user-doc -->
5035 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTOrImpl
5036 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTOr()
5037 * @generated
5038 */
5039 EClass SMT_OR = eINSTANCE.getSMTOr();
5040
5041 /**
5042 * The meta object literal for the '<em><b>Operands</b></em>' containment reference list feature.
5043 * <!-- begin-user-doc -->
5044 * <!-- end-user-doc -->
5045 * @generated
5046 */
5047 EReference SMT_OR__OPERANDS = eINSTANCE.getSMTOr_Operands();
5048
5049 /**
5050 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTImplImpl <em>SMT Impl</em>}' class.
5051 * <!-- begin-user-doc -->
5052 * <!-- end-user-doc -->
5053 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTImplImpl
5054 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTImpl()
5055 * @generated
5056 */
5057 EClass SMT_IMPL = eINSTANCE.getSMTImpl();
5058
5059 /**
5060 * The meta object literal for the '<em><b>Left Operand</b></em>' containment reference feature.
5061 * <!-- begin-user-doc -->
5062 * <!-- end-user-doc -->
5063 * @generated
5064 */
5065 EReference SMT_IMPL__LEFT_OPERAND = eINSTANCE.getSMTImpl_LeftOperand();
5066
5067 /**
5068 * The meta object literal for the '<em><b>Right Operand</b></em>' containment reference feature.
5069 * <!-- begin-user-doc -->
5070 * <!-- end-user-doc -->
5071 * @generated
5072 */
5073 EReference SMT_IMPL__RIGHT_OPERAND = eINSTANCE.getSMTImpl_RightOperand();
5074
5075 /**
5076 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTNotImpl <em>SMT Not</em>}' class.
5077 * <!-- begin-user-doc -->
5078 * <!-- end-user-doc -->
5079 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTNotImpl
5080 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTNot()
5081 * @generated
5082 */
5083 EClass SMT_NOT = eINSTANCE.getSMTNot();
5084
5085 /**
5086 * The meta object literal for the '<em><b>Operand</b></em>' containment reference feature.
5087 * <!-- begin-user-doc -->
5088 * <!-- end-user-doc -->
5089 * @generated
5090 */
5091 EReference SMT_NOT__OPERAND = eINSTANCE.getSMTNot_Operand();
5092
5093 /**
5094 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTIffImpl <em>SMT Iff</em>}' class.
5095 * <!-- begin-user-doc -->
5096 * <!-- end-user-doc -->
5097 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTIffImpl
5098 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTIff()
5099 * @generated
5100 */
5101 EClass SMT_IFF = eINSTANCE.getSMTIff();
5102
5103 /**
5104 * The meta object literal for the '<em><b>Left Operand</b></em>' containment reference feature.
5105 * <!-- begin-user-doc -->
5106 * <!-- end-user-doc -->
5107 * @generated
5108 */
5109 EReference SMT_IFF__LEFT_OPERAND = eINSTANCE.getSMTIff_LeftOperand();
5110
5111 /**
5112 * The meta object literal for the '<em><b>Right Operand</b></em>' containment reference feature.
5113 * <!-- begin-user-doc -->
5114 * <!-- end-user-doc -->
5115 * @generated
5116 */
5117 EReference SMT_IFF__RIGHT_OPERAND = eINSTANCE.getSMTIff_RightOperand();
5118
5119 /**
5120 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTITEImpl <em>SMTITE</em>}' class.
5121 * <!-- begin-user-doc -->
5122 * <!-- end-user-doc -->
5123 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTITEImpl
5124 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTITE()
5125 * @generated
5126 */
5127 EClass SMTITE = eINSTANCE.getSMTITE();
5128
5129 /**
5130 * The meta object literal for the '<em><b>Condition</b></em>' containment reference feature.
5131 * <!-- begin-user-doc -->
5132 * <!-- end-user-doc -->
5133 * @generated
5134 */
5135 EReference SMTITE__CONDITION = eINSTANCE.getSMTITE_Condition();
5136
5137 /**
5138 * The meta object literal for the '<em><b>If</b></em>' containment reference feature.
5139 * <!-- begin-user-doc -->
5140 * <!-- end-user-doc -->
5141 * @generated
5142 */
5143 EReference SMTITE__IF = eINSTANCE.getSMTITE_If();
5144
5145 /**
5146 * The meta object literal for the '<em><b>Else</b></em>' containment reference feature.
5147 * <!-- begin-user-doc -->
5148 * <!-- end-user-doc -->
5149 * @generated
5150 */
5151 EReference SMTITE__ELSE = eINSTANCE.getSMTITE_Else();
5152
5153 /**
5154 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTLetImpl <em>SMT Let</em>}' class.
5155 * <!-- begin-user-doc -->
5156 * <!-- end-user-doc -->
5157 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTLetImpl
5158 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTLet()
5159 * @generated
5160 */
5161 EClass SMT_LET = eINSTANCE.getSMTLet();
5162
5163 /**
5164 * The meta object literal for the '<em><b>Inline Constant Definitions</b></em>' containment reference list feature.
5165 * <!-- begin-user-doc -->
5166 * <!-- end-user-doc -->
5167 * @generated
5168 */
5169 EReference SMT_LET__INLINE_CONSTANT_DEFINITIONS = eINSTANCE.getSMTLet_InlineConstantDefinitions();
5170
5171 /**
5172 * The meta object literal for the '<em><b>Term</b></em>' containment reference feature.
5173 * <!-- begin-user-doc -->
5174 * <!-- end-user-doc -->
5175 * @generated
5176 */
5177 EReference SMT_LET__TERM = eINSTANCE.getSMTLet_Term();
5178
5179 /**
5180 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTInlineConstantDefinitionImpl <em>SMT Inline Constant Definition</em>}' class.
5181 * <!-- begin-user-doc -->
5182 * <!-- end-user-doc -->
5183 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTInlineConstantDefinitionImpl
5184 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTInlineConstantDefinition()
5185 * @generated
5186 */
5187 EClass SMT_INLINE_CONSTANT_DEFINITION = eINSTANCE.getSMTInlineConstantDefinition();
5188
5189 /**
5190 * The meta object literal for the '<em><b>Definition</b></em>' containment reference feature.
5191 * <!-- begin-user-doc -->
5192 * <!-- end-user-doc -->
5193 * @generated
5194 */
5195 EReference SMT_INLINE_CONSTANT_DEFINITION__DEFINITION = eINSTANCE.getSMTInlineConstantDefinition_Definition();
5196
5197 /**
5198 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTRelationImpl <em>SMT Relation</em>}' class.
5199 * <!-- begin-user-doc -->
5200 * <!-- end-user-doc -->
5201 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTRelationImpl
5202 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTRelation()
5203 * @generated
5204 */
5205 EClass SMT_RELATION = eINSTANCE.getSMTRelation();
5206
5207 /**
5208 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTEqualsImpl <em>SMT Equals</em>}' class.
5209 * <!-- begin-user-doc -->
5210 * <!-- end-user-doc -->
5211 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTEqualsImpl
5212 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTEquals()
5213 * @generated
5214 */
5215 EClass SMT_EQUALS = eINSTANCE.getSMTEquals();
5216
5217 /**
5218 * The meta object literal for the '<em><b>Left Operand</b></em>' containment reference feature.
5219 * <!-- begin-user-doc -->
5220 * <!-- end-user-doc -->
5221 * @generated
5222 */
5223 EReference SMT_EQUALS__LEFT_OPERAND = eINSTANCE.getSMTEquals_LeftOperand();
5224
5225 /**
5226 * The meta object literal for the '<em><b>Right Operand</b></em>' containment reference feature.
5227 * <!-- begin-user-doc -->
5228 * <!-- end-user-doc -->
5229 * @generated
5230 */
5231 EReference SMT_EQUALS__RIGHT_OPERAND = eINSTANCE.getSMTEquals_RightOperand();
5232
5233 /**
5234 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTDistinctImpl <em>SMT Distinct</em>}' class.
5235 * <!-- begin-user-doc -->
5236 * <!-- end-user-doc -->
5237 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTDistinctImpl
5238 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTDistinct()
5239 * @generated
5240 */
5241 EClass SMT_DISTINCT = eINSTANCE.getSMTDistinct();
5242
5243 /**
5244 * The meta object literal for the '<em><b>Operands</b></em>' containment reference list feature.
5245 * <!-- begin-user-doc -->
5246 * <!-- end-user-doc -->
5247 * @generated
5248 */
5249 EReference SMT_DISTINCT__OPERANDS = eINSTANCE.getSMTDistinct_Operands();
5250
5251 /**
5252 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTLTImpl <em>SMTLT</em>}' class.
5253 * <!-- begin-user-doc -->
5254 * <!-- end-user-doc -->
5255 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTLTImpl
5256 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTLT()
5257 * @generated
5258 */
5259 EClass SMTLT = eINSTANCE.getSMTLT();
5260
5261 /**
5262 * The meta object literal for the '<em><b>Left Operand</b></em>' containment reference feature.
5263 * <!-- begin-user-doc -->
5264 * <!-- end-user-doc -->
5265 * @generated
5266 */
5267 EReference SMTLT__LEFT_OPERAND = eINSTANCE.getSMTLT_LeftOperand();
5268
5269 /**
5270 * The meta object literal for the '<em><b>Right Operand</b></em>' containment reference feature.
5271 * <!-- begin-user-doc -->
5272 * <!-- end-user-doc -->
5273 * @generated
5274 */
5275 EReference SMTLT__RIGHT_OPERAND = eINSTANCE.getSMTLT_RightOperand();
5276
5277 /**
5278 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTMTImpl <em>SMTMT</em>}' class.
5279 * <!-- begin-user-doc -->
5280 * <!-- end-user-doc -->
5281 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTMTImpl
5282 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTMT()
5283 * @generated
5284 */
5285 EClass SMTMT = eINSTANCE.getSMTMT();
5286
5287 /**
5288 * The meta object literal for the '<em><b>Left Operand</b></em>' containment reference feature.
5289 * <!-- begin-user-doc -->
5290 * <!-- end-user-doc -->
5291 * @generated
5292 */
5293 EReference SMTMT__LEFT_OPERAND = eINSTANCE.getSMTMT_LeftOperand();
5294
5295 /**
5296 * The meta object literal for the '<em><b>Right Operand</b></em>' containment reference feature.
5297 * <!-- begin-user-doc -->
5298 * <!-- end-user-doc -->
5299 * @generated
5300 */
5301 EReference SMTMT__RIGHT_OPERAND = eINSTANCE.getSMTMT_RightOperand();
5302
5303 /**
5304 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTLEQImpl <em>SMTLEQ</em>}' class.
5305 * <!-- begin-user-doc -->
5306 * <!-- end-user-doc -->
5307 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTLEQImpl
5308 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTLEQ()
5309 * @generated
5310 */
5311 EClass SMTLEQ = eINSTANCE.getSMTLEQ();
5312
5313 /**
5314 * The meta object literal for the '<em><b>Left Operand</b></em>' containment reference feature.
5315 * <!-- begin-user-doc -->
5316 * <!-- end-user-doc -->
5317 * @generated
5318 */
5319 EReference SMTLEQ__LEFT_OPERAND = eINSTANCE.getSMTLEQ_LeftOperand();
5320
5321 /**
5322 * The meta object literal for the '<em><b>Right Operand</b></em>' containment reference feature.
5323 * <!-- begin-user-doc -->
5324 * <!-- end-user-doc -->
5325 * @generated
5326 */
5327 EReference SMTLEQ__RIGHT_OPERAND = eINSTANCE.getSMTLEQ_RightOperand();
5328
5329 /**
5330 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTMEQImpl <em>SMTMEQ</em>}' class.
5331 * <!-- begin-user-doc -->
5332 * <!-- end-user-doc -->
5333 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTMEQImpl
5334 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTMEQ()
5335 * @generated
5336 */
5337 EClass SMTMEQ = eINSTANCE.getSMTMEQ();
5338
5339 /**
5340 * The meta object literal for the '<em><b>Left Operand</b></em>' containment reference feature.
5341 * <!-- begin-user-doc -->
5342 * <!-- end-user-doc -->
5343 * @generated
5344 */
5345 EReference SMTMEQ__LEFT_OPERAND = eINSTANCE.getSMTMEQ_LeftOperand();
5346
5347 /**
5348 * The meta object literal for the '<em><b>Right Operand</b></em>' containment reference feature.
5349 * <!-- begin-user-doc -->
5350 * <!-- end-user-doc -->
5351 * @generated
5352 */
5353 EReference SMTMEQ__RIGHT_OPERAND = eINSTANCE.getSMTMEQ_RightOperand();
5354
5355 /**
5356 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTIntOperationImpl <em>SMT Int Operation</em>}' class.
5357 * <!-- begin-user-doc -->
5358 * <!-- end-user-doc -->
5359 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTIntOperationImpl
5360 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTIntOperation()
5361 * @generated
5362 */
5363 EClass SMT_INT_OPERATION = eINSTANCE.getSMTIntOperation();
5364
5365 /**
5366 * The meta object literal for the '<em><b>Left Operand</b></em>' containment reference feature.
5367 * <!-- begin-user-doc -->
5368 * <!-- end-user-doc -->
5369 * @generated
5370 */
5371 EReference SMT_INT_OPERATION__LEFT_OPERAND = eINSTANCE.getSMTIntOperation_LeftOperand();
5372
5373 /**
5374 * The meta object literal for the '<em><b>Right Operand</b></em>' containment reference feature.
5375 * <!-- begin-user-doc -->
5376 * <!-- end-user-doc -->
5377 * @generated
5378 */
5379 EReference SMT_INT_OPERATION__RIGHT_OPERAND = eINSTANCE.getSMTIntOperation_RightOperand();
5380
5381 /**
5382 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTPlusImpl <em>SMT Plus</em>}' class.
5383 * <!-- begin-user-doc -->
5384 * <!-- end-user-doc -->
5385 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTPlusImpl
5386 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTPlus()
5387 * @generated
5388 */
5389 EClass SMT_PLUS = eINSTANCE.getSMTPlus();
5390
5391 /**
5392 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTMinusImpl <em>SMT Minus</em>}' class.
5393 * <!-- begin-user-doc -->
5394 * <!-- end-user-doc -->
5395 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTMinusImpl
5396 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTMinus()
5397 * @generated
5398 */
5399 EClass SMT_MINUS = eINSTANCE.getSMTMinus();
5400
5401 /**
5402 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTMultiplyImpl <em>SMT Multiply</em>}' class.
5403 * <!-- begin-user-doc -->
5404 * <!-- end-user-doc -->
5405 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTMultiplyImpl
5406 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTMultiply()
5407 * @generated
5408 */
5409 EClass SMT_MULTIPLY = eINSTANCE.getSMTMultiply();
5410
5411 /**
5412 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTDivisonImpl <em>SMT Divison</em>}' class.
5413 * <!-- begin-user-doc -->
5414 * <!-- end-user-doc -->
5415 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTDivisonImpl
5416 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTDivison()
5417 * @generated
5418 */
5419 EClass SMT_DIVISON = eINSTANCE.getSMTDivison();
5420
5421 /**
5422 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTDivImpl <em>SMT Div</em>}' class.
5423 * <!-- begin-user-doc -->
5424 * <!-- end-user-doc -->
5425 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTDivImpl
5426 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTDiv()
5427 * @generated
5428 */
5429 EClass SMT_DIV = eINSTANCE.getSMTDiv();
5430
5431 /**
5432 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTModImpl <em>SMT Mod</em>}' class.
5433 * <!-- begin-user-doc -->
5434 * <!-- end-user-doc -->
5435 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTModImpl
5436 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTMod()
5437 * @generated
5438 */
5439 EClass SMT_MOD = eINSTANCE.getSMTMod();
5440
5441 /**
5442 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTAssertionImpl <em>SMT Assertion</em>}' class.
5443 * <!-- begin-user-doc -->
5444 * <!-- end-user-doc -->
5445 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTAssertionImpl
5446 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTAssertion()
5447 * @generated
5448 */
5449 EClass SMT_ASSERTION = eINSTANCE.getSMTAssertion();
5450
5451 /**
5452 * The meta object literal for the '<em><b>Value</b></em>' containment reference feature.
5453 * <!-- begin-user-doc -->
5454 * <!-- end-user-doc -->
5455 * @generated
5456 */
5457 EReference SMT_ASSERTION__VALUE = eINSTANCE.getSMTAssertion_Value();
5458
5459 /**
5460 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTCardinalityConstraintImpl <em>SMT Cardinality Constraint</em>}' class.
5461 * <!-- begin-user-doc -->
5462 * <!-- end-user-doc -->
5463 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTCardinalityConstraintImpl
5464 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTCardinalityConstraint()
5465 * @generated
5466 */
5467 EClass SMT_CARDINALITY_CONSTRAINT = eINSTANCE.getSMTCardinalityConstraint();
5468
5469 /**
5470 * The meta object literal for the '<em><b>Type</b></em>' containment reference feature.
5471 * <!-- begin-user-doc -->
5472 * <!-- end-user-doc -->
5473 * @generated
5474 */
5475 EReference SMT_CARDINALITY_CONSTRAINT__TYPE = eINSTANCE.getSMTCardinalityConstraint_Type();
5476
5477 /**
5478 * The meta object literal for the '<em><b>Elements</b></em>' containment reference list feature.
5479 * <!-- begin-user-doc -->
5480 * <!-- end-user-doc -->
5481 * @generated
5482 */
5483 EReference SMT_CARDINALITY_CONSTRAINT__ELEMENTS = eINSTANCE.getSMTCardinalityConstraint_Elements();
5484
5485 /**
5486 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTSatCommandImpl <em>SMT Sat Command</em>}' class.
5487 * <!-- begin-user-doc -->
5488 * <!-- end-user-doc -->
5489 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTSatCommandImpl
5490 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTSatCommand()
5491 * @generated
5492 */
5493 EClass SMT_SAT_COMMAND = eINSTANCE.getSMTSatCommand();
5494
5495 /**
5496 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTSimpleSatCommandImpl <em>SMT Simple Sat Command</em>}' class.
5497 * <!-- begin-user-doc -->
5498 * <!-- end-user-doc -->
5499 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTSimpleSatCommandImpl
5500 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTSimpleSatCommand()
5501 * @generated
5502 */
5503 EClass SMT_SIMPLE_SAT_COMMAND = eINSTANCE.getSMTSimpleSatCommand();
5504
5505 /**
5506 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTComplexSatCommandImpl <em>SMT Complex Sat Command</em>}' class.
5507 * <!-- begin-user-doc -->
5508 * <!-- end-user-doc -->
5509 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTComplexSatCommandImpl
5510 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTComplexSatCommand()
5511 * @generated
5512 */
5513 EClass SMT_COMPLEX_SAT_COMMAND = eINSTANCE.getSMTComplexSatCommand();
5514
5515 /**
5516 * The meta object literal for the '<em><b>Method</b></em>' containment reference feature.
5517 * <!-- begin-user-doc -->
5518 * <!-- end-user-doc -->
5519 * @generated
5520 */
5521 EReference SMT_COMPLEX_SAT_COMMAND__METHOD = eINSTANCE.getSMTComplexSatCommand_Method();
5522
5523 /**
5524 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTGetModelCommandImpl <em>SMT Get Model Command</em>}' class.
5525 * <!-- begin-user-doc -->
5526 * <!-- end-user-doc -->
5527 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTGetModelCommandImpl
5528 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTGetModelCommand()
5529 * @generated
5530 */
5531 EClass SMT_GET_MODEL_COMMAND = eINSTANCE.getSMTGetModelCommand();
5532
5533 /**
5534 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTReasoningTacticImpl <em>SMT Reasoning Tactic</em>}' class.
5535 * <!-- begin-user-doc -->
5536 * <!-- end-user-doc -->
5537 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTReasoningTacticImpl
5538 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTReasoningTactic()
5539 * @generated
5540 */
5541 EClass SMT_REASONING_TACTIC = eINSTANCE.getSMTReasoningTactic();
5542
5543 /**
5544 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTBuiltinTacticImpl <em>SMT Builtin Tactic</em>}' class.
5545 * <!-- begin-user-doc -->
5546 * <!-- end-user-doc -->
5547 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTBuiltinTacticImpl
5548 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTBuiltinTactic()
5549 * @generated
5550 */
5551 EClass SMT_BUILTIN_TACTIC = eINSTANCE.getSMTBuiltinTactic();
5552
5553 /**
5554 * The meta object literal for the '<em><b>Name</b></em>' attribute feature.
5555 * <!-- begin-user-doc -->
5556 * <!-- end-user-doc -->
5557 * @generated
5558 */
5559 EAttribute SMT_BUILTIN_TACTIC__NAME = eINSTANCE.getSMTBuiltinTactic_Name();
5560
5561 /**
5562 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTReasoningCombinatorImpl <em>SMT Reasoning Combinator</em>}' class.
5563 * <!-- begin-user-doc -->
5564 * <!-- end-user-doc -->
5565 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTReasoningCombinatorImpl
5566 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTReasoningCombinator()
5567 * @generated
5568 */
5569 EClass SMT_REASONING_COMBINATOR = eINSTANCE.getSMTReasoningCombinator();
5570
5571 /**
5572 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTAndThenCombinatorImpl <em>SMT And Then Combinator</em>}' class.
5573 * <!-- begin-user-doc -->
5574 * <!-- end-user-doc -->
5575 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTAndThenCombinatorImpl
5576 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTAndThenCombinator()
5577 * @generated
5578 */
5579 EClass SMT_AND_THEN_COMBINATOR = eINSTANCE.getSMTAndThenCombinator();
5580
5581 /**
5582 * The meta object literal for the '<em><b>Tactics</b></em>' containment reference list feature.
5583 * <!-- begin-user-doc -->
5584 * <!-- end-user-doc -->
5585 * @generated
5586 */
5587 EReference SMT_AND_THEN_COMBINATOR__TACTICS = eINSTANCE.getSMTAndThenCombinator_Tactics();
5588
5589 /**
5590 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTOrElseCombinatorImpl <em>SMT Or Else Combinator</em>}' class.
5591 * <!-- begin-user-doc -->
5592 * <!-- end-user-doc -->
5593 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTOrElseCombinatorImpl
5594 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTOrElseCombinator()
5595 * @generated
5596 */
5597 EClass SMT_OR_ELSE_COMBINATOR = eINSTANCE.getSMTOrElseCombinator();
5598
5599 /**
5600 * The meta object literal for the '<em><b>Tactics</b></em>' containment reference list feature.
5601 * <!-- begin-user-doc -->
5602 * <!-- end-user-doc -->
5603 * @generated
5604 */
5605 EReference SMT_OR_ELSE_COMBINATOR__TACTICS = eINSTANCE.getSMTOrElseCombinator_Tactics();
5606
5607 /**
5608 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTParOrCombinatorImpl <em>SMT Par Or Combinator</em>}' class.
5609 * <!-- begin-user-doc -->
5610 * <!-- end-user-doc -->
5611 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTParOrCombinatorImpl
5612 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTParOrCombinator()
5613 * @generated
5614 */
5615 EClass SMT_PAR_OR_COMBINATOR = eINSTANCE.getSMTParOrCombinator();
5616
5617 /**
5618 * The meta object literal for the '<em><b>Tactics</b></em>' containment reference list feature.
5619 * <!-- begin-user-doc -->
5620 * <!-- end-user-doc -->
5621 * @generated
5622 */
5623 EReference SMT_PAR_OR_COMBINATOR__TACTICS = eINSTANCE.getSMTParOrCombinator_Tactics();
5624
5625 /**
5626 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTParThenCombinatorImpl <em>SMT Par Then Combinator</em>}' class.
5627 * <!-- begin-user-doc -->
5628 * <!-- end-user-doc -->
5629 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTParThenCombinatorImpl
5630 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTParThenCombinator()
5631 * @generated
5632 */
5633 EClass SMT_PAR_THEN_COMBINATOR = eINSTANCE.getSMTParThenCombinator();
5634
5635 /**
5636 * The meta object literal for the '<em><b>Pre Processing Tactic</b></em>' containment reference feature.
5637 * <!-- begin-user-doc -->
5638 * <!-- end-user-doc -->
5639 * @generated
5640 */
5641 EReference SMT_PAR_THEN_COMBINATOR__PRE_PROCESSING_TACTIC = eINSTANCE.getSMTParThenCombinator_PreProcessingTactic();
5642
5643 /**
5644 * The meta object literal for the '<em><b>Paralelly Postpricessing Tactic</b></em>' containment reference feature.
5645 * <!-- begin-user-doc -->
5646 * <!-- end-user-doc -->
5647 * @generated
5648 */
5649 EReference SMT_PAR_THEN_COMBINATOR__PARALELLY_POSTPRICESSING_TACTIC = eINSTANCE.getSMTParThenCombinator_ParalellyPostpricessingTactic();
5650
5651 /**
5652 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTTryForCombinatorImpl <em>SMT Try For Combinator</em>}' class.
5653 * <!-- begin-user-doc -->
5654 * <!-- end-user-doc -->
5655 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTTryForCombinatorImpl
5656 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTTryForCombinator()
5657 * @generated
5658 */
5659 EClass SMT_TRY_FOR_COMBINATOR = eINSTANCE.getSMTTryForCombinator();
5660
5661 /**
5662 * The meta object literal for the '<em><b>Tactic</b></em>' containment reference feature.
5663 * <!-- begin-user-doc -->
5664 * <!-- end-user-doc -->
5665 * @generated
5666 */
5667 EReference SMT_TRY_FOR_COMBINATOR__TACTIC = eINSTANCE.getSMTTryForCombinator_Tactic();
5668
5669 /**
5670 * The meta object literal for the '<em><b>Time</b></em>' attribute feature.
5671 * <!-- begin-user-doc -->
5672 * <!-- end-user-doc -->
5673 * @generated
5674 */
5675 EAttribute SMT_TRY_FOR_COMBINATOR__TIME = eINSTANCE.getSMTTryForCombinator_Time();
5676
5677 /**
5678 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTIfCombinatorImpl <em>SMT If Combinator</em>}' class.
5679 * <!-- begin-user-doc -->
5680 * <!-- end-user-doc -->
5681 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTIfCombinatorImpl
5682 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTIfCombinator()
5683 * @generated
5684 */
5685 EClass SMT_IF_COMBINATOR = eINSTANCE.getSMTIfCombinator();
5686
5687 /**
5688 * The meta object literal for the '<em><b>Probe</b></em>' containment reference feature.
5689 * <!-- begin-user-doc -->
5690 * <!-- end-user-doc -->
5691 * @generated
5692 */
5693 EReference SMT_IF_COMBINATOR__PROBE = eINSTANCE.getSMTIfCombinator_Probe();
5694
5695 /**
5696 * The meta object literal for the '<em><b>If Tactic</b></em>' containment reference feature.
5697 * <!-- begin-user-doc -->
5698 * <!-- end-user-doc -->
5699 * @generated
5700 */
5701 EReference SMT_IF_COMBINATOR__IF_TACTIC = eINSTANCE.getSMTIfCombinator_IfTactic();
5702
5703 /**
5704 * The meta object literal for the '<em><b>Else Tactic</b></em>' containment reference feature.
5705 * <!-- begin-user-doc -->
5706 * <!-- end-user-doc -->
5707 * @generated
5708 */
5709 EReference SMT_IF_COMBINATOR__ELSE_TACTIC = eINSTANCE.getSMTIfCombinator_ElseTactic();
5710
5711 /**
5712 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTWhenCombinatorImpl <em>SMT When Combinator</em>}' class.
5713 * <!-- begin-user-doc -->
5714 * <!-- end-user-doc -->
5715 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTWhenCombinatorImpl
5716 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTWhenCombinator()
5717 * @generated
5718 */
5719 EClass SMT_WHEN_COMBINATOR = eINSTANCE.getSMTWhenCombinator();
5720
5721 /**
5722 * The meta object literal for the '<em><b>Probe</b></em>' containment reference feature.
5723 * <!-- begin-user-doc -->
5724 * <!-- end-user-doc -->
5725 * @generated
5726 */
5727 EReference SMT_WHEN_COMBINATOR__PROBE = eINSTANCE.getSMTWhenCombinator_Probe();
5728
5729 /**
5730 * The meta object literal for the '<em><b>Tactic</b></em>' containment reference feature.
5731 * <!-- begin-user-doc -->
5732 * <!-- end-user-doc -->
5733 * @generated
5734 */
5735 EReference SMT_WHEN_COMBINATOR__TACTIC = eINSTANCE.getSMTWhenCombinator_Tactic();
5736
5737 /**
5738 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTFailIfCombinatorImpl <em>SMT Fail If Combinator</em>}' class.
5739 * <!-- begin-user-doc -->
5740 * <!-- end-user-doc -->
5741 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTFailIfCombinatorImpl
5742 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTFailIfCombinator()
5743 * @generated
5744 */
5745 EClass SMT_FAIL_IF_COMBINATOR = eINSTANCE.getSMTFailIfCombinator();
5746
5747 /**
5748 * The meta object literal for the '<em><b>Probe</b></em>' containment reference feature.
5749 * <!-- begin-user-doc -->
5750 * <!-- end-user-doc -->
5751 * @generated
5752 */
5753 EReference SMT_FAIL_IF_COMBINATOR__PROBE = eINSTANCE.getSMTFailIfCombinator_Probe();
5754
5755 /**
5756 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTUsingParamCombinatorImpl <em>SMT Using Param Combinator</em>}' class.
5757 * <!-- begin-user-doc -->
5758 * <!-- end-user-doc -->
5759 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTUsingParamCombinatorImpl
5760 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTUsingParamCombinator()
5761 * @generated
5762 */
5763 EClass SMT_USING_PARAM_COMBINATOR = eINSTANCE.getSMTUsingParamCombinator();
5764
5765 /**
5766 * The meta object literal for the '<em><b>Tactic</b></em>' containment reference feature.
5767 * <!-- begin-user-doc -->
5768 * <!-- end-user-doc -->
5769 * @generated
5770 */
5771 EReference SMT_USING_PARAM_COMBINATOR__TACTIC = eINSTANCE.getSMTUsingParamCombinator_Tactic();
5772
5773 /**
5774 * The meta object literal for the '<em><b>Parameters</b></em>' containment reference list feature.
5775 * <!-- begin-user-doc -->
5776 * <!-- end-user-doc -->
5777 * @generated
5778 */
5779 EReference SMT_USING_PARAM_COMBINATOR__PARAMETERS = eINSTANCE.getSMTUsingParamCombinator_Parameters();
5780
5781 /**
5782 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.ReasoningProbeImpl <em>Reasoning Probe</em>}' class.
5783 * <!-- begin-user-doc -->
5784 * <!-- end-user-doc -->
5785 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.ReasoningProbeImpl
5786 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getReasoningProbe()
5787 * @generated
5788 */
5789 EClass REASONING_PROBE = eINSTANCE.getReasoningProbe();
5790
5791 /**
5792 * The meta object literal for the '<em><b>Name</b></em>' attribute feature.
5793 * <!-- begin-user-doc -->
5794 * <!-- end-user-doc -->
5795 * @generated
5796 */
5797 EAttribute REASONING_PROBE__NAME = eINSTANCE.getReasoningProbe_Name();
5798
5799 /**
5800 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.ReasoningTacticParameterImpl <em>Reasoning Tactic Parameter</em>}' class.
5801 * <!-- begin-user-doc -->
5802 * <!-- end-user-doc -->
5803 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.ReasoningTacticParameterImpl
5804 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getReasoningTacticParameter()
5805 * @generated
5806 */
5807 EClass REASONING_TACTIC_PARAMETER = eINSTANCE.getReasoningTacticParameter();
5808
5809 /**
5810 * The meta object literal for the '<em><b>Name</b></em>' attribute feature.
5811 * <!-- begin-user-doc -->
5812 * <!-- end-user-doc -->
5813 * @generated
5814 */
5815 EAttribute REASONING_TACTIC_PARAMETER__NAME = eINSTANCE.getReasoningTacticParameter_Name();
5816
5817 /**
5818 * The meta object literal for the '<em><b>Value</b></em>' containment reference feature.
5819 * <!-- begin-user-doc -->
5820 * <!-- end-user-doc -->
5821 * @generated
5822 */
5823 EReference REASONING_TACTIC_PARAMETER__VALUE = eINSTANCE.getReasoningTacticParameter_Value();
5824
5825 /**
5826 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTResultImpl <em>SMT Result</em>}' class.
5827 * <!-- begin-user-doc -->
5828 * <!-- end-user-doc -->
5829 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTResultImpl
5830 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTResult()
5831 * @generated
5832 */
5833 EClass SMT_RESULT = eINSTANCE.getSMTResult();
5834
5835 /**
5836 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTErrorResultImpl <em>SMT Error Result</em>}' class.
5837 * <!-- begin-user-doc -->
5838 * <!-- end-user-doc -->
5839 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTErrorResultImpl
5840 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTErrorResult()
5841 * @generated
5842 */
5843 EClass SMT_ERROR_RESULT = eINSTANCE.getSMTErrorResult();
5844
5845 /**
5846 * The meta object literal for the '<em><b>Message</b></em>' attribute feature.
5847 * <!-- begin-user-doc -->
5848 * <!-- end-user-doc -->
5849 * @generated
5850 */
5851 EAttribute SMT_ERROR_RESULT__MESSAGE = eINSTANCE.getSMTErrorResult_Message();
5852
5853 /**
5854 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTUnsupportedResultImpl <em>SMT Unsupported Result</em>}' class.
5855 * <!-- begin-user-doc -->
5856 * <!-- end-user-doc -->
5857 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTUnsupportedResultImpl
5858 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTUnsupportedResult()
5859 * @generated
5860 */
5861 EClass SMT_UNSUPPORTED_RESULT = eINSTANCE.getSMTUnsupportedResult();
5862
5863 /**
5864 * The meta object literal for the '<em><b>Command</b></em>' attribute feature.
5865 * <!-- begin-user-doc -->
5866 * <!-- end-user-doc -->
5867 * @generated
5868 */
5869 EAttribute SMT_UNSUPPORTED_RESULT__COMMAND = eINSTANCE.getSMTUnsupportedResult_Command();
5870
5871 /**
5872 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTSatResultImpl <em>SMT Sat Result</em>}' class.
5873 * <!-- begin-user-doc -->
5874 * <!-- end-user-doc -->
5875 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTSatResultImpl
5876 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTSatResult()
5877 * @generated
5878 */
5879 EClass SMT_SAT_RESULT = eINSTANCE.getSMTSatResult();
5880
5881 /**
5882 * The meta object literal for the '<em><b>Sat</b></em>' attribute feature.
5883 * <!-- begin-user-doc -->
5884 * <!-- end-user-doc -->
5885 * @generated
5886 */
5887 EAttribute SMT_SAT_RESULT__SAT = eINSTANCE.getSMTSatResult_Sat();
5888
5889 /**
5890 * The meta object literal for the '<em><b>Unsat</b></em>' attribute feature.
5891 * <!-- begin-user-doc -->
5892 * <!-- end-user-doc -->
5893 * @generated
5894 */
5895 EAttribute SMT_SAT_RESULT__UNSAT = eINSTANCE.getSMTSatResult_Unsat();
5896
5897 /**
5898 * The meta object literal for the '<em><b>Unknown</b></em>' attribute feature.
5899 * <!-- begin-user-doc -->
5900 * <!-- end-user-doc -->
5901 * @generated
5902 */
5903 EAttribute SMT_SAT_RESULT__UNKNOWN = eINSTANCE.getSMTSatResult_Unknown();
5904
5905 /**
5906 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTModelResultImpl <em>SMT Model Result</em>}' class.
5907 * <!-- begin-user-doc -->
5908 * <!-- end-user-doc -->
5909 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTModelResultImpl
5910 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTModelResult()
5911 * @generated
5912 */
5913 EClass SMT_MODEL_RESULT = eINSTANCE.getSMTModelResult();
5914
5915 /**
5916 * The meta object literal for the '<em><b>New Function Declarations</b></em>' containment reference list feature.
5917 * <!-- begin-user-doc -->
5918 * <!-- end-user-doc -->
5919 * @generated
5920 */
5921 EReference SMT_MODEL_RESULT__NEW_FUNCTION_DECLARATIONS = eINSTANCE.getSMTModelResult_NewFunctionDeclarations();
5922
5923 /**
5924 * The meta object literal for the '<em><b>Type Definitions</b></em>' containment reference list feature.
5925 * <!-- begin-user-doc -->
5926 * <!-- end-user-doc -->
5927 * @generated
5928 */
5929 EReference SMT_MODEL_RESULT__TYPE_DEFINITIONS = eINSTANCE.getSMTModelResult_TypeDefinitions();
5930
5931 /**
5932 * The meta object literal for the '<em><b>New Function Definitions</b></em>' containment reference list feature.
5933 * <!-- begin-user-doc -->
5934 * <!-- end-user-doc -->
5935 * @generated
5936 */
5937 EReference SMT_MODEL_RESULT__NEW_FUNCTION_DEFINITIONS = eINSTANCE.getSMTModelResult_NewFunctionDefinitions();
5938
5939 /**
5940 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTStatisticValueImpl <em>SMT Statistic Value</em>}' class.
5941 * <!-- begin-user-doc -->
5942 * <!-- end-user-doc -->
5943 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTStatisticValueImpl
5944 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTStatisticValue()
5945 * @generated
5946 */
5947 EClass SMT_STATISTIC_VALUE = eINSTANCE.getSMTStatisticValue();
5948
5949 /**
5950 * The meta object literal for the '<em><b>Name</b></em>' attribute feature.
5951 * <!-- begin-user-doc -->
5952 * <!-- end-user-doc -->
5953 * @generated
5954 */
5955 EAttribute SMT_STATISTIC_VALUE__NAME = eINSTANCE.getSMTStatisticValue_Name();
5956
5957 /**
5958 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTStatisticIntValueImpl <em>SMT Statistic Int Value</em>}' class.
5959 * <!-- begin-user-doc -->
5960 * <!-- end-user-doc -->
5961 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTStatisticIntValueImpl
5962 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTStatisticIntValue()
5963 * @generated
5964 */
5965 EClass SMT_STATISTIC_INT_VALUE = eINSTANCE.getSMTStatisticIntValue();
5966
5967 /**
5968 * The meta object literal for the '<em><b>Value</b></em>' attribute feature.
5969 * <!-- begin-user-doc -->
5970 * <!-- end-user-doc -->
5971 * @generated
5972 */
5973 EAttribute SMT_STATISTIC_INT_VALUE__VALUE = eINSTANCE.getSMTStatisticIntValue_Value();
5974
5975 /**
5976 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTStatisticDoubleValueImpl <em>SMT Statistic Double Value</em>}' class.
5977 * <!-- begin-user-doc -->
5978 * <!-- end-user-doc -->
5979 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTStatisticDoubleValueImpl
5980 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTStatisticDoubleValue()
5981 * @generated
5982 */
5983 EClass SMT_STATISTIC_DOUBLE_VALUE = eINSTANCE.getSMTStatisticDoubleValue();
5984
5985 /**
5986 * The meta object literal for the '<em><b>Value</b></em>' attribute feature.
5987 * <!-- begin-user-doc -->
5988 * <!-- end-user-doc -->
5989 * @generated
5990 */
5991 EAttribute SMT_STATISTIC_DOUBLE_VALUE__VALUE = eINSTANCE.getSMTStatisticDoubleValue_Value();
5992
5993 /**
5994 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTStatisticsSectionImpl <em>SMT Statistics Section</em>}' class.
5995 * <!-- begin-user-doc -->
5996 * <!-- end-user-doc -->
5997 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SMTStatisticsSectionImpl
5998 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguagePackageImpl#getSMTStatisticsSection()
5999 * @generated
6000 */
6001 EClass SMT_STATISTICS_SECTION = eINSTANCE.getSMTStatisticsSection();
6002
6003 /**
6004 * The meta object literal for the '<em><b>Values</b></em>' containment reference list feature.
6005 * <!-- begin-user-doc -->
6006 * <!-- end-user-doc -->
6007 * @generated
6008 */
6009 EReference SMT_STATISTICS_SECTION__VALUES = eINSTANCE.getSMTStatisticsSection_Values();
6010
6011 }
6012
6013} //SmtLanguagePackage
generated by cgit v1.2.3-54-g00ecf (git 2.45.1) at 2024-05-28 22:53:35 +0000