aboutsummaryrefslogtreecommitdiffstats
path: root/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/LogicresultPackage.java
diff options
context:
space:
mode:
Diffstat (limited to 'Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/LogicresultPackage.java')
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/LogicresultPackage.java1353
1 files changed, 1353 insertions, 0 deletions
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/LogicresultPackage.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/LogicresultPackage.java
new file mode 100644
index 00000000..cf171ab5
--- /dev/null
+++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/LogicresultPackage.java
@@ -0,0 +1,1353 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.logic.model.logicresult;
4
5import org.eclipse.emf.ecore.EAttribute;
6import org.eclipse.emf.ecore.EClass;
7import org.eclipse.emf.ecore.EPackage;
8import org.eclipse.emf.ecore.EReference;
9
10/**
11 * <!-- begin-user-doc -->
12 * The <b>Package</b> for the model.
13 * It contains accessors for the meta objects to represent
14 * <ul>
15 * <li>each class,</li>
16 * <li>each feature of each class,</li>
17 * <li>each operation of each class,</li>
18 * <li>each enum,</li>
19 * <li>and each data type</li>
20 * </ul>
21 * <!-- end-user-doc -->
22 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultFactory
23 * @model kind="package"
24 * @generated
25 */
26public interface LogicresultPackage extends EPackage {
27 /**
28 * The package name.
29 * <!-- begin-user-doc -->
30 * <!-- end-user-doc -->
31 * @generated
32 */
33 String eNAME = "logicresult";
34
35 /**
36 * The package namespace URI.
37 * <!-- begin-user-doc -->
38 * <!-- end-user-doc -->
39 * @generated
40 */
41 String eNS_URI = "http://www.bme.hu/mit/inf/dslreasoner/logic/model/result";
42
43 /**
44 * The package namespace name.
45 * <!-- begin-user-doc -->
46 * <!-- end-user-doc -->
47 * @generated
48 */
49 String eNS_PREFIX = "language";
50
51 /**
52 * The singleton instance of the package.
53 * <!-- begin-user-doc -->
54 * <!-- end-user-doc -->
55 * @generated
56 */
57 LogicresultPackage eINSTANCE = hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.LogicresultPackageImpl.init();
58
59 /**
60 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.LogicResultImpl <em>Logic Result</em>}' class.
61 * <!-- begin-user-doc -->
62 * <!-- end-user-doc -->
63 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.LogicResultImpl
64 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.LogicresultPackageImpl#getLogicResult()
65 * @generated
66 */
67 int LOGIC_RESULT = 0;
68
69 /**
70 * The feature id for the '<em><b>Problem</b></em>' reference.
71 * <!-- begin-user-doc -->
72 * <!-- end-user-doc -->
73 * @generated
74 * @ordered
75 */
76 int LOGIC_RESULT__PROBLEM = 0;
77
78 /**
79 * The feature id for the '<em><b>Statistics</b></em>' containment reference.
80 * <!-- begin-user-doc -->
81 * <!-- end-user-doc -->
82 * @generated
83 * @ordered
84 */
85 int LOGIC_RESULT__STATISTICS = 1;
86
87 /**
88 * The feature id for the '<em><b>Trace</b></em>' attribute.
89 * <!-- begin-user-doc -->
90 * <!-- end-user-doc -->
91 * @generated
92 * @ordered
93 */
94 int LOGIC_RESULT__TRACE = 2;
95
96 /**
97 * The feature id for the '<em><b>Representation</b></em>' attribute list.
98 * <!-- begin-user-doc -->
99 * <!-- end-user-doc -->
100 * @generated
101 * @ordered
102 */
103 int LOGIC_RESULT__REPRESENTATION = 3;
104
105 /**
106 * The number of structural features of the '<em>Logic Result</em>' class.
107 * <!-- begin-user-doc -->
108 * <!-- end-user-doc -->
109 * @generated
110 * @ordered
111 */
112 int LOGIC_RESULT_FEATURE_COUNT = 4;
113
114 /**
115 * The number of operations of the '<em>Logic Result</em>' class.
116 * <!-- begin-user-doc -->
117 * <!-- end-user-doc -->
118 * @generated
119 * @ordered
120 */
121 int LOGIC_RESULT_OPERATION_COUNT = 0;
122
123 /**
124 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.ModelResultImpl <em>Model Result</em>}' class.
125 * <!-- begin-user-doc -->
126 * <!-- end-user-doc -->
127 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.ModelResultImpl
128 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.LogicresultPackageImpl#getModelResult()
129 * @generated
130 */
131 int MODEL_RESULT = 1;
132
133 /**
134 * The feature id for the '<em><b>Problem</b></em>' reference.
135 * <!-- begin-user-doc -->
136 * <!-- end-user-doc -->
137 * @generated
138 * @ordered
139 */
140 int MODEL_RESULT__PROBLEM = LOGIC_RESULT__PROBLEM;
141
142 /**
143 * The feature id for the '<em><b>Statistics</b></em>' containment reference.
144 * <!-- begin-user-doc -->
145 * <!-- end-user-doc -->
146 * @generated
147 * @ordered
148 */
149 int MODEL_RESULT__STATISTICS = LOGIC_RESULT__STATISTICS;
150
151 /**
152 * The feature id for the '<em><b>Trace</b></em>' attribute.
153 * <!-- begin-user-doc -->
154 * <!-- end-user-doc -->
155 * @generated
156 * @ordered
157 */
158 int MODEL_RESULT__TRACE = LOGIC_RESULT__TRACE;
159
160 /**
161 * The feature id for the '<em><b>Representation</b></em>' attribute list.
162 * <!-- begin-user-doc -->
163 * <!-- end-user-doc -->
164 * @generated
165 * @ordered
166 */
167 int MODEL_RESULT__REPRESENTATION = LOGIC_RESULT__REPRESENTATION;
168
169 /**
170 * The feature id for the '<em><b>Max Integer</b></em>' attribute.
171 * <!-- begin-user-doc -->
172 * <!-- end-user-doc -->
173 * @generated
174 * @ordered
175 */
176 int MODEL_RESULT__MAX_INTEGER = LOGIC_RESULT_FEATURE_COUNT + 0;
177
178 /**
179 * The feature id for the '<em><b>Min Integer</b></em>' attribute.
180 * <!-- begin-user-doc -->
181 * <!-- end-user-doc -->
182 * @generated
183 * @ordered
184 */
185 int MODEL_RESULT__MIN_INTEGER = LOGIC_RESULT_FEATURE_COUNT + 1;
186
187 /**
188 * The number of structural features of the '<em>Model Result</em>' class.
189 * <!-- begin-user-doc -->
190 * <!-- end-user-doc -->
191 * @generated
192 * @ordered
193 */
194 int MODEL_RESULT_FEATURE_COUNT = LOGIC_RESULT_FEATURE_COUNT + 2;
195
196 /**
197 * The number of operations of the '<em>Model Result</em>' class.
198 * <!-- begin-user-doc -->
199 * <!-- end-user-doc -->
200 * @generated
201 * @ordered
202 */
203 int MODEL_RESULT_OPERATION_COUNT = LOGIC_RESULT_OPERATION_COUNT + 0;
204
205 /**
206 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.InconsistencyResultImpl <em>Inconsistency Result</em>}' class.
207 * <!-- begin-user-doc -->
208 * <!-- end-user-doc -->
209 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.InconsistencyResultImpl
210 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.LogicresultPackageImpl#getInconsistencyResult()
211 * @generated
212 */
213 int INCONSISTENCY_RESULT = 2;
214
215 /**
216 * The feature id for the '<em><b>Problem</b></em>' reference.
217 * <!-- begin-user-doc -->
218 * <!-- end-user-doc -->
219 * @generated
220 * @ordered
221 */
222 int INCONSISTENCY_RESULT__PROBLEM = LOGIC_RESULT__PROBLEM;
223
224 /**
225 * The feature id for the '<em><b>Statistics</b></em>' containment reference.
226 * <!-- begin-user-doc -->
227 * <!-- end-user-doc -->
228 * @generated
229 * @ordered
230 */
231 int INCONSISTENCY_RESULT__STATISTICS = LOGIC_RESULT__STATISTICS;
232
233 /**
234 * The feature id for the '<em><b>Trace</b></em>' attribute.
235 * <!-- begin-user-doc -->
236 * <!-- end-user-doc -->
237 * @generated
238 * @ordered
239 */
240 int INCONSISTENCY_RESULT__TRACE = LOGIC_RESULT__TRACE;
241
242 /**
243 * The feature id for the '<em><b>Representation</b></em>' attribute list.
244 * <!-- begin-user-doc -->
245 * <!-- end-user-doc -->
246 * @generated
247 * @ordered
248 */
249 int INCONSISTENCY_RESULT__REPRESENTATION = LOGIC_RESULT__REPRESENTATION;
250
251 /**
252 * The number of structural features of the '<em>Inconsistency Result</em>' class.
253 * <!-- begin-user-doc -->
254 * <!-- end-user-doc -->
255 * @generated
256 * @ordered
257 */
258 int INCONSISTENCY_RESULT_FEATURE_COUNT = LOGIC_RESULT_FEATURE_COUNT + 0;
259
260 /**
261 * The number of operations of the '<em>Inconsistency Result</em>' class.
262 * <!-- begin-user-doc -->
263 * <!-- end-user-doc -->
264 * @generated
265 * @ordered
266 */
267 int INCONSISTENCY_RESULT_OPERATION_COUNT = LOGIC_RESULT_OPERATION_COUNT + 0;
268
269 /**
270 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.UnknownResultImpl <em>Unknown Result</em>}' class.
271 * <!-- begin-user-doc -->
272 * <!-- end-user-doc -->
273 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.UnknownResultImpl
274 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.LogicresultPackageImpl#getUnknownResult()
275 * @generated
276 */
277 int UNKNOWN_RESULT = 3;
278
279 /**
280 * The feature id for the '<em><b>Problem</b></em>' reference.
281 * <!-- begin-user-doc -->
282 * <!-- end-user-doc -->
283 * @generated
284 * @ordered
285 */
286 int UNKNOWN_RESULT__PROBLEM = LOGIC_RESULT__PROBLEM;
287
288 /**
289 * The feature id for the '<em><b>Statistics</b></em>' containment reference.
290 * <!-- begin-user-doc -->
291 * <!-- end-user-doc -->
292 * @generated
293 * @ordered
294 */
295 int UNKNOWN_RESULT__STATISTICS = LOGIC_RESULT__STATISTICS;
296
297 /**
298 * The feature id for the '<em><b>Trace</b></em>' attribute.
299 * <!-- begin-user-doc -->
300 * <!-- end-user-doc -->
301 * @generated
302 * @ordered
303 */
304 int UNKNOWN_RESULT__TRACE = LOGIC_RESULT__TRACE;
305
306 /**
307 * The feature id for the '<em><b>Representation</b></em>' attribute list.
308 * <!-- begin-user-doc -->
309 * <!-- end-user-doc -->
310 * @generated
311 * @ordered
312 */
313 int UNKNOWN_RESULT__REPRESENTATION = LOGIC_RESULT__REPRESENTATION;
314
315 /**
316 * The number of structural features of the '<em>Unknown Result</em>' class.
317 * <!-- begin-user-doc -->
318 * <!-- end-user-doc -->
319 * @generated
320 * @ordered
321 */
322 int UNKNOWN_RESULT_FEATURE_COUNT = LOGIC_RESULT_FEATURE_COUNT + 0;
323
324 /**
325 * The number of operations of the '<em>Unknown Result</em>' class.
326 * <!-- begin-user-doc -->
327 * <!-- end-user-doc -->
328 * @generated
329 * @ordered
330 */
331 int UNKNOWN_RESULT_OPERATION_COUNT = LOGIC_RESULT_OPERATION_COUNT + 0;
332
333 /**
334 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.InsuficientResourcesResultImpl <em>Insuficient Resources Result</em>}' class.
335 * <!-- begin-user-doc -->
336 * <!-- end-user-doc -->
337 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.InsuficientResourcesResultImpl
338 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.LogicresultPackageImpl#getInsuficientResourcesResult()
339 * @generated
340 */
341 int INSUFICIENT_RESOURCES_RESULT = 4;
342
343 /**
344 * The feature id for the '<em><b>Problem</b></em>' reference.
345 * <!-- begin-user-doc -->
346 * <!-- end-user-doc -->
347 * @generated
348 * @ordered
349 */
350 int INSUFICIENT_RESOURCES_RESULT__PROBLEM = UNKNOWN_RESULT__PROBLEM;
351
352 /**
353 * The feature id for the '<em><b>Statistics</b></em>' containment reference.
354 * <!-- begin-user-doc -->
355 * <!-- end-user-doc -->
356 * @generated
357 * @ordered
358 */
359 int INSUFICIENT_RESOURCES_RESULT__STATISTICS = UNKNOWN_RESULT__STATISTICS;
360
361 /**
362 * The feature id for the '<em><b>Trace</b></em>' attribute.
363 * <!-- begin-user-doc -->
364 * <!-- end-user-doc -->
365 * @generated
366 * @ordered
367 */
368 int INSUFICIENT_RESOURCES_RESULT__TRACE = UNKNOWN_RESULT__TRACE;
369
370 /**
371 * The feature id for the '<em><b>Representation</b></em>' attribute list.
372 * <!-- begin-user-doc -->
373 * <!-- end-user-doc -->
374 * @generated
375 * @ordered
376 */
377 int INSUFICIENT_RESOURCES_RESULT__REPRESENTATION = UNKNOWN_RESULT__REPRESENTATION;
378
379 /**
380 * The feature id for the '<em><b>Resource Name</b></em>' attribute.
381 * <!-- begin-user-doc -->
382 * <!-- end-user-doc -->
383 * @generated
384 * @ordered
385 */
386 int INSUFICIENT_RESOURCES_RESULT__RESOURCE_NAME = UNKNOWN_RESULT_FEATURE_COUNT + 0;
387
388 /**
389 * The number of structural features of the '<em>Insuficient Resources Result</em>' class.
390 * <!-- begin-user-doc -->
391 * <!-- end-user-doc -->
392 * @generated
393 * @ordered
394 */
395 int INSUFICIENT_RESOURCES_RESULT_FEATURE_COUNT = UNKNOWN_RESULT_FEATURE_COUNT + 1;
396
397 /**
398 * The number of operations of the '<em>Insuficient Resources Result</em>' class.
399 * <!-- begin-user-doc -->
400 * <!-- end-user-doc -->
401 * @generated
402 * @ordered
403 */
404 int INSUFICIENT_RESOURCES_RESULT_OPERATION_COUNT = UNKNOWN_RESULT_OPERATION_COUNT + 0;
405
406 /**
407 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.ErrorResultImpl <em>Error Result</em>}' class.
408 * <!-- begin-user-doc -->
409 * <!-- end-user-doc -->
410 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.ErrorResultImpl
411 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.LogicresultPackageImpl#getErrorResult()
412 * @generated
413 */
414 int ERROR_RESULT = 5;
415
416 /**
417 * The feature id for the '<em><b>Problem</b></em>' reference.
418 * <!-- begin-user-doc -->
419 * <!-- end-user-doc -->
420 * @generated
421 * @ordered
422 */
423 int ERROR_RESULT__PROBLEM = UNKNOWN_RESULT__PROBLEM;
424
425 /**
426 * The feature id for the '<em><b>Statistics</b></em>' containment reference.
427 * <!-- begin-user-doc -->
428 * <!-- end-user-doc -->
429 * @generated
430 * @ordered
431 */
432 int ERROR_RESULT__STATISTICS = UNKNOWN_RESULT__STATISTICS;
433
434 /**
435 * The feature id for the '<em><b>Trace</b></em>' attribute.
436 * <!-- begin-user-doc -->
437 * <!-- end-user-doc -->
438 * @generated
439 * @ordered
440 */
441 int ERROR_RESULT__TRACE = UNKNOWN_RESULT__TRACE;
442
443 /**
444 * The feature id for the '<em><b>Representation</b></em>' attribute list.
445 * <!-- begin-user-doc -->
446 * <!-- end-user-doc -->
447 * @generated
448 * @ordered
449 */
450 int ERROR_RESULT__REPRESENTATION = UNKNOWN_RESULT__REPRESENTATION;
451
452 /**
453 * The feature id for the '<em><b>Message</b></em>' attribute.
454 * <!-- begin-user-doc -->
455 * <!-- end-user-doc -->
456 * @generated
457 * @ordered
458 */
459 int ERROR_RESULT__MESSAGE = UNKNOWN_RESULT_FEATURE_COUNT + 0;
460
461 /**
462 * The number of structural features of the '<em>Error Result</em>' class.
463 * <!-- begin-user-doc -->
464 * <!-- end-user-doc -->
465 * @generated
466 * @ordered
467 */
468 int ERROR_RESULT_FEATURE_COUNT = UNKNOWN_RESULT_FEATURE_COUNT + 1;
469
470 /**
471 * The number of operations of the '<em>Error Result</em>' class.
472 * <!-- begin-user-doc -->
473 * <!-- end-user-doc -->
474 * @generated
475 * @ordered
476 */
477 int ERROR_RESULT_OPERATION_COUNT = UNKNOWN_RESULT_OPERATION_COUNT + 0;
478
479 /**
480 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.StatisticsImpl <em>Statistics</em>}' class.
481 * <!-- begin-user-doc -->
482 * <!-- end-user-doc -->
483 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.StatisticsImpl
484 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.LogicresultPackageImpl#getStatistics()
485 * @generated
486 */
487 int STATISTICS = 6;
488
489 /**
490 * The feature id for the '<em><b>Entries</b></em>' containment reference list.
491 * <!-- begin-user-doc -->
492 * <!-- end-user-doc -->
493 * @generated
494 * @ordered
495 */
496 int STATISTICS__ENTRIES = 0;
497
498 /**
499 * The feature id for the '<em><b>Transformation Time</b></em>' attribute.
500 * <!-- begin-user-doc -->
501 * <!-- end-user-doc -->
502 * @generated
503 * @ordered
504 */
505 int STATISTICS__TRANSFORMATION_TIME = 1;
506
507 /**
508 * The feature id for the '<em><b>Solver Time</b></em>' attribute.
509 * <!-- begin-user-doc -->
510 * <!-- end-user-doc -->
511 * @generated
512 * @ordered
513 */
514 int STATISTICS__SOLVER_TIME = 2;
515
516 /**
517 * The feature id for the '<em><b>Solver Memory</b></em>' attribute.
518 * <!-- begin-user-doc -->
519 * <!-- end-user-doc -->
520 * @generated
521 * @ordered
522 */
523 int STATISTICS__SOLVER_MEMORY = 3;
524
525 /**
526 * The number of structural features of the '<em>Statistics</em>' class.
527 * <!-- begin-user-doc -->
528 * <!-- end-user-doc -->
529 * @generated
530 * @ordered
531 */
532 int STATISTICS_FEATURE_COUNT = 4;
533
534 /**
535 * The number of operations of the '<em>Statistics</em>' class.
536 * <!-- begin-user-doc -->
537 * <!-- end-user-doc -->
538 * @generated
539 * @ordered
540 */
541 int STATISTICS_OPERATION_COUNT = 0;
542
543 /**
544 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.StatisticEntryImpl <em>Statistic Entry</em>}' class.
545 * <!-- begin-user-doc -->
546 * <!-- end-user-doc -->
547 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.StatisticEntryImpl
548 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.LogicresultPackageImpl#getStatisticEntry()
549 * @generated
550 */
551 int STATISTIC_ENTRY = 7;
552
553 /**
554 * The feature id for the '<em><b>Name</b></em>' attribute.
555 * <!-- begin-user-doc -->
556 * <!-- end-user-doc -->
557 * @generated
558 * @ordered
559 */
560 int STATISTIC_ENTRY__NAME = 0;
561
562 /**
563 * The number of structural features of the '<em>Statistic Entry</em>' class.
564 * <!-- begin-user-doc -->
565 * <!-- end-user-doc -->
566 * @generated
567 * @ordered
568 */
569 int STATISTIC_ENTRY_FEATURE_COUNT = 1;
570
571 /**
572 * The number of operations of the '<em>Statistic Entry</em>' class.
573 * <!-- begin-user-doc -->
574 * <!-- end-user-doc -->
575 * @generated
576 * @ordered
577 */
578 int STATISTIC_ENTRY_OPERATION_COUNT = 0;
579
580 /**
581 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.UndecidableResultImpl <em>Undecidable Result</em>}' class.
582 * <!-- begin-user-doc -->
583 * <!-- end-user-doc -->
584 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.UndecidableResultImpl
585 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.LogicresultPackageImpl#getUndecidableResult()
586 * @generated
587 */
588 int UNDECIDABLE_RESULT = 8;
589
590 /**
591 * The feature id for the '<em><b>Problem</b></em>' reference.
592 * <!-- begin-user-doc -->
593 * <!-- end-user-doc -->
594 * @generated
595 * @ordered
596 */
597 int UNDECIDABLE_RESULT__PROBLEM = UNKNOWN_RESULT__PROBLEM;
598
599 /**
600 * The feature id for the '<em><b>Statistics</b></em>' containment reference.
601 * <!-- begin-user-doc -->
602 * <!-- end-user-doc -->
603 * @generated
604 * @ordered
605 */
606 int UNDECIDABLE_RESULT__STATISTICS = UNKNOWN_RESULT__STATISTICS;
607
608 /**
609 * The feature id for the '<em><b>Trace</b></em>' attribute.
610 * <!-- begin-user-doc -->
611 * <!-- end-user-doc -->
612 * @generated
613 * @ordered
614 */
615 int UNDECIDABLE_RESULT__TRACE = UNKNOWN_RESULT__TRACE;
616
617 /**
618 * The feature id for the '<em><b>Representation</b></em>' attribute list.
619 * <!-- begin-user-doc -->
620 * <!-- end-user-doc -->
621 * @generated
622 * @ordered
623 */
624 int UNDECIDABLE_RESULT__REPRESENTATION = UNKNOWN_RESULT__REPRESENTATION;
625
626 /**
627 * The number of structural features of the '<em>Undecidable Result</em>' class.
628 * <!-- begin-user-doc -->
629 * <!-- end-user-doc -->
630 * @generated
631 * @ordered
632 */
633 int UNDECIDABLE_RESULT_FEATURE_COUNT = UNKNOWN_RESULT_FEATURE_COUNT + 0;
634
635 /**
636 * The number of operations of the '<em>Undecidable Result</em>' class.
637 * <!-- begin-user-doc -->
638 * <!-- end-user-doc -->
639 * @generated
640 * @ordered
641 */
642 int UNDECIDABLE_RESULT_OPERATION_COUNT = UNKNOWN_RESULT_OPERATION_COUNT + 0;
643
644 /**
645 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.IntStatisticEntryImpl <em>Int Statistic Entry</em>}' class.
646 * <!-- begin-user-doc -->
647 * <!-- end-user-doc -->
648 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.IntStatisticEntryImpl
649 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.LogicresultPackageImpl#getIntStatisticEntry()
650 * @generated
651 */
652 int INT_STATISTIC_ENTRY = 9;
653
654 /**
655 * The feature id for the '<em><b>Name</b></em>' attribute.
656 * <!-- begin-user-doc -->
657 * <!-- end-user-doc -->
658 * @generated
659 * @ordered
660 */
661 int INT_STATISTIC_ENTRY__NAME = STATISTIC_ENTRY__NAME;
662
663 /**
664 * The feature id for the '<em><b>Value</b></em>' attribute.
665 * <!-- begin-user-doc -->
666 * <!-- end-user-doc -->
667 * @generated
668 * @ordered
669 */
670 int INT_STATISTIC_ENTRY__VALUE = STATISTIC_ENTRY_FEATURE_COUNT + 0;
671
672 /**
673 * The number of structural features of the '<em>Int Statistic Entry</em>' class.
674 * <!-- begin-user-doc -->
675 * <!-- end-user-doc -->
676 * @generated
677 * @ordered
678 */
679 int INT_STATISTIC_ENTRY_FEATURE_COUNT = STATISTIC_ENTRY_FEATURE_COUNT + 1;
680
681 /**
682 * The number of operations of the '<em>Int Statistic Entry</em>' class.
683 * <!-- begin-user-doc -->
684 * <!-- end-user-doc -->
685 * @generated
686 * @ordered
687 */
688 int INT_STATISTIC_ENTRY_OPERATION_COUNT = STATISTIC_ENTRY_OPERATION_COUNT + 0;
689
690 /**
691 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.RealStatisticEntryImpl <em>Real Statistic Entry</em>}' class.
692 * <!-- begin-user-doc -->
693 * <!-- end-user-doc -->
694 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.RealStatisticEntryImpl
695 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.LogicresultPackageImpl#getRealStatisticEntry()
696 * @generated
697 */
698 int REAL_STATISTIC_ENTRY = 10;
699
700 /**
701 * The feature id for the '<em><b>Name</b></em>' attribute.
702 * <!-- begin-user-doc -->
703 * <!-- end-user-doc -->
704 * @generated
705 * @ordered
706 */
707 int REAL_STATISTIC_ENTRY__NAME = STATISTIC_ENTRY__NAME;
708
709 /**
710 * The feature id for the '<em><b>Value</b></em>' attribute.
711 * <!-- begin-user-doc -->
712 * <!-- end-user-doc -->
713 * @generated
714 * @ordered
715 */
716 int REAL_STATISTIC_ENTRY__VALUE = STATISTIC_ENTRY_FEATURE_COUNT + 0;
717
718 /**
719 * The number of structural features of the '<em>Real Statistic Entry</em>' class.
720 * <!-- begin-user-doc -->
721 * <!-- end-user-doc -->
722 * @generated
723 * @ordered
724 */
725 int REAL_STATISTIC_ENTRY_FEATURE_COUNT = STATISTIC_ENTRY_FEATURE_COUNT + 1;
726
727 /**
728 * The number of operations of the '<em>Real Statistic Entry</em>' class.
729 * <!-- begin-user-doc -->
730 * <!-- end-user-doc -->
731 * @generated
732 * @ordered
733 */
734 int REAL_STATISTIC_ENTRY_OPERATION_COUNT = STATISTIC_ENTRY_OPERATION_COUNT + 0;
735
736
737 /**
738 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.StringStatisticEntryImpl <em>String Statistic Entry</em>}' class.
739 * <!-- begin-user-doc -->
740 * <!-- end-user-doc -->
741 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.StringStatisticEntryImpl
742 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.LogicresultPackageImpl#getStringStatisticEntry()
743 * @generated
744 */
745 int STRING_STATISTIC_ENTRY = 11;
746
747 /**
748 * The feature id for the '<em><b>Name</b></em>' attribute.
749 * <!-- begin-user-doc -->
750 * <!-- end-user-doc -->
751 * @generated
752 * @ordered
753 */
754 int STRING_STATISTIC_ENTRY__NAME = STATISTIC_ENTRY__NAME;
755
756 /**
757 * The feature id for the '<em><b>Value</b></em>' attribute.
758 * <!-- begin-user-doc -->
759 * <!-- end-user-doc -->
760 * @generated
761 * @ordered
762 */
763 int STRING_STATISTIC_ENTRY__VALUE = STATISTIC_ENTRY_FEATURE_COUNT + 0;
764
765 /**
766 * The number of structural features of the '<em>String Statistic Entry</em>' class.
767 * <!-- begin-user-doc -->
768 * <!-- end-user-doc -->
769 * @generated
770 * @ordered
771 */
772 int STRING_STATISTIC_ENTRY_FEATURE_COUNT = STATISTIC_ENTRY_FEATURE_COUNT + 1;
773
774 /**
775 * The number of operations of the '<em>String Statistic Entry</em>' class.
776 * <!-- begin-user-doc -->
777 * <!-- end-user-doc -->
778 * @generated
779 * @ordered
780 */
781 int STRING_STATISTIC_ENTRY_OPERATION_COUNT = STATISTIC_ENTRY_OPERATION_COUNT + 0;
782
783
784 /**
785 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicResult <em>Logic Result</em>}'.
786 * <!-- begin-user-doc -->
787 * <!-- end-user-doc -->
788 * @return the meta object for class '<em>Logic Result</em>'.
789 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicResult
790 * @generated
791 */
792 EClass getLogicResult();
793
794 /**
795 * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicResult#getProblem <em>Problem</em>}'.
796 * <!-- begin-user-doc -->
797 * <!-- end-user-doc -->
798 * @return the meta object for the reference '<em>Problem</em>'.
799 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicResult#getProblem()
800 * @see #getLogicResult()
801 * @generated
802 */
803 EReference getLogicResult_Problem();
804
805 /**
806 * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicResult#getStatistics <em>Statistics</em>}'.
807 * <!-- begin-user-doc -->
808 * <!-- end-user-doc -->
809 * @return the meta object for the containment reference '<em>Statistics</em>'.
810 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicResult#getStatistics()
811 * @see #getLogicResult()
812 * @generated
813 */
814 EReference getLogicResult_Statistics();
815
816 /**
817 * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicResult#getTrace <em>Trace</em>}'.
818 * <!-- begin-user-doc -->
819 * <!-- end-user-doc -->
820 * @return the meta object for the attribute '<em>Trace</em>'.
821 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicResult#getTrace()
822 * @see #getLogicResult()
823 * @generated
824 */
825 EAttribute getLogicResult_Trace();
826
827 /**
828 * Returns the meta object for the attribute list '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicResult#getRepresentation <em>Representation</em>}'.
829 * <!-- begin-user-doc -->
830 * <!-- end-user-doc -->
831 * @return the meta object for the attribute list '<em>Representation</em>'.
832 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicResult#getRepresentation()
833 * @see #getLogicResult()
834 * @generated
835 */
836 EAttribute getLogicResult_Representation();
837
838 /**
839 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.ModelResult <em>Model Result</em>}'.
840 * <!-- begin-user-doc -->
841 * <!-- end-user-doc -->
842 * @return the meta object for class '<em>Model Result</em>'.
843 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.ModelResult
844 * @generated
845 */
846 EClass getModelResult();
847
848 /**
849 * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.ModelResult#getMaxInteger <em>Max Integer</em>}'.
850 * <!-- begin-user-doc -->
851 * <!-- end-user-doc -->
852 * @return the meta object for the attribute '<em>Max Integer</em>'.
853 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.ModelResult#getMaxInteger()
854 * @see #getModelResult()
855 * @generated
856 */
857 EAttribute getModelResult_MaxInteger();
858
859 /**
860 * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.ModelResult#getMinInteger <em>Min Integer</em>}'.
861 * <!-- begin-user-doc -->
862 * <!-- end-user-doc -->
863 * @return the meta object for the attribute '<em>Min Integer</em>'.
864 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.ModelResult#getMinInteger()
865 * @see #getModelResult()
866 * @generated
867 */
868 EAttribute getModelResult_MinInteger();
869
870 /**
871 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.InconsistencyResult <em>Inconsistency Result</em>}'.
872 * <!-- begin-user-doc -->
873 * <!-- end-user-doc -->
874 * @return the meta object for class '<em>Inconsistency Result</em>'.
875 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.InconsistencyResult
876 * @generated
877 */
878 EClass getInconsistencyResult();
879
880 /**
881 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.UnknownResult <em>Unknown Result</em>}'.
882 * <!-- begin-user-doc -->
883 * <!-- end-user-doc -->
884 * @return the meta object for class '<em>Unknown Result</em>'.
885 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.UnknownResult
886 * @generated
887 */
888 EClass getUnknownResult();
889
890 /**
891 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.InsuficientResourcesResult <em>Insuficient Resources Result</em>}'.
892 * <!-- begin-user-doc -->
893 * <!-- end-user-doc -->
894 * @return the meta object for class '<em>Insuficient Resources Result</em>'.
895 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.InsuficientResourcesResult
896 * @generated
897 */
898 EClass getInsuficientResourcesResult();
899
900 /**
901 * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.InsuficientResourcesResult#getResourceName <em>Resource Name</em>}'.
902 * <!-- begin-user-doc -->
903 * <!-- end-user-doc -->
904 * @return the meta object for the attribute '<em>Resource Name</em>'.
905 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.InsuficientResourcesResult#getResourceName()
906 * @see #getInsuficientResourcesResult()
907 * @generated
908 */
909 EAttribute getInsuficientResourcesResult_ResourceName();
910
911 /**
912 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.ErrorResult <em>Error Result</em>}'.
913 * <!-- begin-user-doc -->
914 * <!-- end-user-doc -->
915 * @return the meta object for class '<em>Error Result</em>'.
916 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.ErrorResult
917 * @generated
918 */
919 EClass getErrorResult();
920
921 /**
922 * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.ErrorResult#getMessage <em>Message</em>}'.
923 * <!-- begin-user-doc -->
924 * <!-- end-user-doc -->
925 * @return the meta object for the attribute '<em>Message</em>'.
926 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.ErrorResult#getMessage()
927 * @see #getErrorResult()
928 * @generated
929 */
930 EAttribute getErrorResult_Message();
931
932 /**
933 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.Statistics <em>Statistics</em>}'.
934 * <!-- begin-user-doc -->
935 * <!-- end-user-doc -->
936 * @return the meta object for class '<em>Statistics</em>'.
937 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.Statistics
938 * @generated
939 */
940 EClass getStatistics();
941
942 /**
943 * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.Statistics#getEntries <em>Entries</em>}'.
944 * <!-- begin-user-doc -->
945 * <!-- end-user-doc -->
946 * @return the meta object for the containment reference list '<em>Entries</em>'.
947 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.Statistics#getEntries()
948 * @see #getStatistics()
949 * @generated
950 */
951 EReference getStatistics_Entries();
952
953 /**
954 * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.Statistics#getTransformationTime <em>Transformation Time</em>}'.
955 * <!-- begin-user-doc -->
956 * <!-- end-user-doc -->
957 * @return the meta object for the attribute '<em>Transformation Time</em>'.
958 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.Statistics#getTransformationTime()
959 * @see #getStatistics()
960 * @generated
961 */
962 EAttribute getStatistics_TransformationTime();
963
964 /**
965 * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.Statistics#getSolverTime <em>Solver Time</em>}'.
966 * <!-- begin-user-doc -->
967 * <!-- end-user-doc -->
968 * @return the meta object for the attribute '<em>Solver Time</em>'.
969 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.Statistics#getSolverTime()
970 * @see #getStatistics()
971 * @generated
972 */
973 EAttribute getStatistics_SolverTime();
974
975 /**
976 * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.Statistics#getSolverMemory <em>Solver Memory</em>}'.
977 * <!-- begin-user-doc -->
978 * <!-- end-user-doc -->
979 * @return the meta object for the attribute '<em>Solver Memory</em>'.
980 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.Statistics#getSolverMemory()
981 * @see #getStatistics()
982 * @generated
983 */
984 EAttribute getStatistics_SolverMemory();
985
986 /**
987 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.StatisticEntry <em>Statistic Entry</em>}'.
988 * <!-- begin-user-doc -->
989 * <!-- end-user-doc -->
990 * @return the meta object for class '<em>Statistic Entry</em>'.
991 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.StatisticEntry
992 * @generated
993 */
994 EClass getStatisticEntry();
995
996 /**
997 * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.StatisticEntry#getName <em>Name</em>}'.
998 * <!-- begin-user-doc -->
999 * <!-- end-user-doc -->
1000 * @return the meta object for the attribute '<em>Name</em>'.
1001 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.StatisticEntry#getName()
1002 * @see #getStatisticEntry()
1003 * @generated
1004 */
1005 EAttribute getStatisticEntry_Name();
1006
1007 /**
1008 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.UndecidableResult <em>Undecidable Result</em>}'.
1009 * <!-- begin-user-doc -->
1010 * <!-- end-user-doc -->
1011 * @return the meta object for class '<em>Undecidable Result</em>'.
1012 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.UndecidableResult
1013 * @generated
1014 */
1015 EClass getUndecidableResult();
1016
1017 /**
1018 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.IntStatisticEntry <em>Int Statistic Entry</em>}'.
1019 * <!-- begin-user-doc -->
1020 * <!-- end-user-doc -->
1021 * @return the meta object for class '<em>Int Statistic Entry</em>'.
1022 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.IntStatisticEntry
1023 * @generated
1024 */
1025 EClass getIntStatisticEntry();
1026
1027 /**
1028 * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.IntStatisticEntry#getValue <em>Value</em>}'.
1029 * <!-- begin-user-doc -->
1030 * <!-- end-user-doc -->
1031 * @return the meta object for the attribute '<em>Value</em>'.
1032 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.IntStatisticEntry#getValue()
1033 * @see #getIntStatisticEntry()
1034 * @generated
1035 */
1036 EAttribute getIntStatisticEntry_Value();
1037
1038 /**
1039 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.RealStatisticEntry <em>Real Statistic Entry</em>}'.
1040 * <!-- begin-user-doc -->
1041 * <!-- end-user-doc -->
1042 * @return the meta object for class '<em>Real Statistic Entry</em>'.
1043 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.RealStatisticEntry
1044 * @generated
1045 */
1046 EClass getRealStatisticEntry();
1047
1048 /**
1049 * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.RealStatisticEntry#getValue <em>Value</em>}'.
1050 * <!-- begin-user-doc -->
1051 * <!-- end-user-doc -->
1052 * @return the meta object for the attribute '<em>Value</em>'.
1053 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.RealStatisticEntry#getValue()
1054 * @see #getRealStatisticEntry()
1055 * @generated
1056 */
1057 EAttribute getRealStatisticEntry_Value();
1058
1059 /**
1060 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.StringStatisticEntry <em>String Statistic Entry</em>}'.
1061 * <!-- begin-user-doc -->
1062 * <!-- end-user-doc -->
1063 * @return the meta object for class '<em>String Statistic Entry</em>'.
1064 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.StringStatisticEntry
1065 * @generated
1066 */
1067 EClass getStringStatisticEntry();
1068
1069 /**
1070 * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.StringStatisticEntry#getValue <em>Value</em>}'.
1071 * <!-- begin-user-doc -->
1072 * <!-- end-user-doc -->
1073 * @return the meta object for the attribute '<em>Value</em>'.
1074 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.StringStatisticEntry#getValue()
1075 * @see #getStringStatisticEntry()
1076 * @generated
1077 */
1078 EAttribute getStringStatisticEntry_Value();
1079
1080 /**
1081 * Returns the factory that creates the instances of the model.
1082 * <!-- begin-user-doc -->
1083 * <!-- end-user-doc -->
1084 * @return the factory that creates the instances of the model.
1085 * @generated
1086 */
1087 LogicresultFactory getLogicresultFactory();
1088
1089 /**
1090 * <!-- begin-user-doc -->
1091 * Defines literals for the meta objects that represent
1092 * <ul>
1093 * <li>each class,</li>
1094 * <li>each feature of each class,</li>
1095 * <li>each operation of each class,</li>
1096 * <li>each enum,</li>
1097 * <li>and each data type</li>
1098 * </ul>
1099 * <!-- end-user-doc -->
1100 * @generated
1101 */
1102 interface Literals {
1103 /**
1104 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.LogicResultImpl <em>Logic Result</em>}' class.
1105 * <!-- begin-user-doc -->
1106 * <!-- end-user-doc -->
1107 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.LogicResultImpl
1108 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.LogicresultPackageImpl#getLogicResult()
1109 * @generated
1110 */
1111 EClass LOGIC_RESULT = eINSTANCE.getLogicResult();
1112
1113 /**
1114 * The meta object literal for the '<em><b>Problem</b></em>' reference feature.
1115 * <!-- begin-user-doc -->
1116 * <!-- end-user-doc -->
1117 * @generated
1118 */
1119 EReference LOGIC_RESULT__PROBLEM = eINSTANCE.getLogicResult_Problem();
1120
1121 /**
1122 * The meta object literal for the '<em><b>Statistics</b></em>' containment reference feature.
1123 * <!-- begin-user-doc -->
1124 * <!-- end-user-doc -->
1125 * @generated
1126 */
1127 EReference LOGIC_RESULT__STATISTICS = eINSTANCE.getLogicResult_Statistics();
1128
1129 /**
1130 * The meta object literal for the '<em><b>Trace</b></em>' attribute feature.
1131 * <!-- begin-user-doc -->
1132 * <!-- end-user-doc -->
1133 * @generated
1134 */
1135 EAttribute LOGIC_RESULT__TRACE = eINSTANCE.getLogicResult_Trace();
1136
1137 /**
1138 * The meta object literal for the '<em><b>Representation</b></em>' attribute list feature.
1139 * <!-- begin-user-doc -->
1140 * <!-- end-user-doc -->
1141 * @generated
1142 */
1143 EAttribute LOGIC_RESULT__REPRESENTATION = eINSTANCE.getLogicResult_Representation();
1144
1145 /**
1146 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.ModelResultImpl <em>Model Result</em>}' class.
1147 * <!-- begin-user-doc -->
1148 * <!-- end-user-doc -->
1149 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.ModelResultImpl
1150 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.LogicresultPackageImpl#getModelResult()
1151 * @generated
1152 */
1153 EClass MODEL_RESULT = eINSTANCE.getModelResult();
1154
1155 /**
1156 * The meta object literal for the '<em><b>Max Integer</b></em>' attribute feature.
1157 * <!-- begin-user-doc -->
1158 * <!-- end-user-doc -->
1159 * @generated
1160 */
1161 EAttribute MODEL_RESULT__MAX_INTEGER = eINSTANCE.getModelResult_MaxInteger();
1162
1163 /**
1164 * The meta object literal for the '<em><b>Min Integer</b></em>' attribute feature.
1165 * <!-- begin-user-doc -->
1166 * <!-- end-user-doc -->
1167 * @generated
1168 */
1169 EAttribute MODEL_RESULT__MIN_INTEGER = eINSTANCE.getModelResult_MinInteger();
1170
1171 /**
1172 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.InconsistencyResultImpl <em>Inconsistency Result</em>}' class.
1173 * <!-- begin-user-doc -->
1174 * <!-- end-user-doc -->
1175 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.InconsistencyResultImpl
1176 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.LogicresultPackageImpl#getInconsistencyResult()
1177 * @generated
1178 */
1179 EClass INCONSISTENCY_RESULT = eINSTANCE.getInconsistencyResult();
1180
1181 /**
1182 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.UnknownResultImpl <em>Unknown Result</em>}' class.
1183 * <!-- begin-user-doc -->
1184 * <!-- end-user-doc -->
1185 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.UnknownResultImpl
1186 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.LogicresultPackageImpl#getUnknownResult()
1187 * @generated
1188 */
1189 EClass UNKNOWN_RESULT = eINSTANCE.getUnknownResult();
1190
1191 /**
1192 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.InsuficientResourcesResultImpl <em>Insuficient Resources Result</em>}' class.
1193 * <!-- begin-user-doc -->
1194 * <!-- end-user-doc -->
1195 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.InsuficientResourcesResultImpl
1196 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.LogicresultPackageImpl#getInsuficientResourcesResult()
1197 * @generated
1198 */
1199 EClass INSUFICIENT_RESOURCES_RESULT = eINSTANCE.getInsuficientResourcesResult();
1200
1201 /**
1202 * The meta object literal for the '<em><b>Resource Name</b></em>' attribute feature.
1203 * <!-- begin-user-doc -->
1204 * <!-- end-user-doc -->
1205 * @generated
1206 */
1207 EAttribute INSUFICIENT_RESOURCES_RESULT__RESOURCE_NAME = eINSTANCE.getInsuficientResourcesResult_ResourceName();
1208
1209 /**
1210 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.ErrorResultImpl <em>Error Result</em>}' class.
1211 * <!-- begin-user-doc -->
1212 * <!-- end-user-doc -->
1213 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.ErrorResultImpl
1214 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.LogicresultPackageImpl#getErrorResult()
1215 * @generated
1216 */
1217 EClass ERROR_RESULT = eINSTANCE.getErrorResult();
1218
1219 /**
1220 * The meta object literal for the '<em><b>Message</b></em>' attribute feature.
1221 * <!-- begin-user-doc -->
1222 * <!-- end-user-doc -->
1223 * @generated
1224 */
1225 EAttribute ERROR_RESULT__MESSAGE = eINSTANCE.getErrorResult_Message();
1226
1227 /**
1228 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.StatisticsImpl <em>Statistics</em>}' class.
1229 * <!-- begin-user-doc -->
1230 * <!-- end-user-doc -->
1231 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.StatisticsImpl
1232 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.LogicresultPackageImpl#getStatistics()
1233 * @generated
1234 */
1235 EClass STATISTICS = eINSTANCE.getStatistics();
1236
1237 /**
1238 * The meta object literal for the '<em><b>Entries</b></em>' containment reference list feature.
1239 * <!-- begin-user-doc -->
1240 * <!-- end-user-doc -->
1241 * @generated
1242 */
1243 EReference STATISTICS__ENTRIES = eINSTANCE.getStatistics_Entries();
1244
1245 /**
1246 * The meta object literal for the '<em><b>Transformation Time</b></em>' attribute feature.
1247 * <!-- begin-user-doc -->
1248 * <!-- end-user-doc -->
1249 * @generated
1250 */
1251 EAttribute STATISTICS__TRANSFORMATION_TIME = eINSTANCE.getStatistics_TransformationTime();
1252
1253 /**
1254 * The meta object literal for the '<em><b>Solver Time</b></em>' attribute feature.
1255 * <!-- begin-user-doc -->
1256 * <!-- end-user-doc -->
1257 * @generated
1258 */
1259 EAttribute STATISTICS__SOLVER_TIME = eINSTANCE.getStatistics_SolverTime();
1260
1261 /**
1262 * The meta object literal for the '<em><b>Solver Memory</b></em>' attribute feature.
1263 * <!-- begin-user-doc -->
1264 * <!-- end-user-doc -->
1265 * @generated
1266 */
1267 EAttribute STATISTICS__SOLVER_MEMORY = eINSTANCE.getStatistics_SolverMemory();
1268
1269 /**
1270 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.StatisticEntryImpl <em>Statistic Entry</em>}' class.
1271 * <!-- begin-user-doc -->
1272 * <!-- end-user-doc -->
1273 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.StatisticEntryImpl
1274 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.LogicresultPackageImpl#getStatisticEntry()
1275 * @generated
1276 */
1277 EClass STATISTIC_ENTRY = eINSTANCE.getStatisticEntry();
1278
1279 /**
1280 * The meta object literal for the '<em><b>Name</b></em>' attribute feature.
1281 * <!-- begin-user-doc -->
1282 * <!-- end-user-doc -->
1283 * @generated
1284 */
1285 EAttribute STATISTIC_ENTRY__NAME = eINSTANCE.getStatisticEntry_Name();
1286
1287 /**
1288 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.UndecidableResultImpl <em>Undecidable Result</em>}' class.
1289 * <!-- begin-user-doc -->
1290 * <!-- end-user-doc -->
1291 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.UndecidableResultImpl
1292 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.LogicresultPackageImpl#getUndecidableResult()
1293 * @generated
1294 */
1295 EClass UNDECIDABLE_RESULT = eINSTANCE.getUndecidableResult();
1296
1297 /**
1298 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.IntStatisticEntryImpl <em>Int Statistic Entry</em>}' class.
1299 * <!-- begin-user-doc -->
1300 * <!-- end-user-doc -->
1301 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.IntStatisticEntryImpl
1302 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.LogicresultPackageImpl#getIntStatisticEntry()
1303 * @generated
1304 */
1305 EClass INT_STATISTIC_ENTRY = eINSTANCE.getIntStatisticEntry();
1306
1307 /**
1308 * The meta object literal for the '<em><b>Value</b></em>' attribute feature.
1309 * <!-- begin-user-doc -->
1310 * <!-- end-user-doc -->
1311 * @generated
1312 */
1313 EAttribute INT_STATISTIC_ENTRY__VALUE = eINSTANCE.getIntStatisticEntry_Value();
1314
1315 /**
1316 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.RealStatisticEntryImpl <em>Real Statistic Entry</em>}' class.
1317 * <!-- begin-user-doc -->
1318 * <!-- end-user-doc -->
1319 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.RealStatisticEntryImpl
1320 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.LogicresultPackageImpl#getRealStatisticEntry()
1321 * @generated
1322 */
1323 EClass REAL_STATISTIC_ENTRY = eINSTANCE.getRealStatisticEntry();
1324
1325 /**
1326 * The meta object literal for the '<em><b>Value</b></em>' attribute feature.
1327 * <!-- begin-user-doc -->
1328 * <!-- end-user-doc -->
1329 * @generated
1330 */
1331 EAttribute REAL_STATISTIC_ENTRY__VALUE = eINSTANCE.getRealStatisticEntry_Value();
1332
1333 /**
1334 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.StringStatisticEntryImpl <em>String Statistic Entry</em>}' class.
1335 * <!-- begin-user-doc -->
1336 * <!-- end-user-doc -->
1337 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.StringStatisticEntryImpl
1338 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.LogicresultPackageImpl#getStringStatisticEntry()
1339 * @generated
1340 */
1341 EClass STRING_STATISTIC_ENTRY = eINSTANCE.getStringStatisticEntry();
1342
1343 /**
1344 * The meta object literal for the '<em><b>Value</b></em>' attribute feature.
1345 * <!-- begin-user-doc -->
1346 * <!-- end-user-doc -->
1347 * @generated
1348 */
1349 EAttribute STRING_STATISTIC_ENTRY__VALUE = eINSTANCE.getStringStatisticEntry_Value();
1350
1351 }
1352
1353} //LogicresultPackage
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-01 10:49:27 +0000