aboutsummaryrefslogtreecommitdiffstats
path: root/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/LogicproblemPackage.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/logicproblem/LogicproblemPackage.java')
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/LogicproblemPackage.java867
1 files changed, 867 insertions, 0 deletions
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/LogicproblemPackage.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/LogicproblemPackage.java
new file mode 100644
index 00000000..c02f189a
--- /dev/null
+++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/LogicproblemPackage.java
@@ -0,0 +1,867 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.logic.model.logicproblem;
4
5import org.eclipse.emf.ecore.EClass;
6import org.eclipse.emf.ecore.EPackage;
7import org.eclipse.emf.ecore.EReference;
8
9/**
10 * <!-- begin-user-doc -->
11 * The <b>Package</b> for the model.
12 * It contains accessors for the meta objects to represent
13 * <ul>
14 * <li>each class,</li>
15 * <li>each feature of each class,</li>
16 * <li>each operation 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.logic.model.logicproblem.LogicproblemFactory
22 * @model kind="package"
23 * @generated
24 */
25public interface LogicproblemPackage extends EPackage {
26 /**
27 * The package name.
28 * <!-- begin-user-doc -->
29 * <!-- end-user-doc -->
30 * @generated
31 */
32 String eNAME = "logicproblem";
33
34 /**
35 * The package namespace URI.
36 * <!-- begin-user-doc -->
37 * <!-- end-user-doc -->
38 * @generated
39 */
40 String eNS_URI = "http://www.bme.hu/mit/inf/dslreasoner/logic/model/problem";
41
42 /**
43 * The package namespace name.
44 * <!-- begin-user-doc -->
45 * <!-- end-user-doc -->
46 * @generated
47 */
48 String eNS_PREFIX = "language";
49
50 /**
51 * The singleton instance of the package.
52 * <!-- begin-user-doc -->
53 * <!-- end-user-doc -->
54 * @generated
55 */
56 LogicproblemPackage eINSTANCE = hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.LogicproblemPackageImpl.init();
57
58 /**
59 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.LogicProblemImpl <em>Logic Problem</em>}' class.
60 * <!-- begin-user-doc -->
61 * <!-- end-user-doc -->
62 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.LogicProblemImpl
63 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.LogicproblemPackageImpl#getLogicProblem()
64 * @generated
65 */
66 int LOGIC_PROBLEM = 0;
67
68 /**
69 * The feature id for the '<em><b>Types</b></em>' containment reference list.
70 * <!-- begin-user-doc -->
71 * <!-- end-user-doc -->
72 * @generated
73 * @ordered
74 */
75 int LOGIC_PROBLEM__TYPES = 0;
76
77 /**
78 * The feature id for the '<em><b>Functions</b></em>' containment reference list.
79 * <!-- begin-user-doc -->
80 * <!-- end-user-doc -->
81 * @generated
82 * @ordered
83 */
84 int LOGIC_PROBLEM__FUNCTIONS = 1;
85
86 /**
87 * The feature id for the '<em><b>Assertions</b></em>' containment reference list.
88 * <!-- begin-user-doc -->
89 * <!-- end-user-doc -->
90 * @generated
91 * @ordered
92 */
93 int LOGIC_PROBLEM__ASSERTIONS = 2;
94
95 /**
96 * The feature id for the '<em><b>Relations</b></em>' containment reference list.
97 * <!-- begin-user-doc -->
98 * <!-- end-user-doc -->
99 * @generated
100 * @ordered
101 */
102 int LOGIC_PROBLEM__RELATIONS = 3;
103
104 /**
105 * The feature id for the '<em><b>Constants</b></em>' containment reference list.
106 * <!-- begin-user-doc -->
107 * <!-- end-user-doc -->
108 * @generated
109 * @ordered
110 */
111 int LOGIC_PROBLEM__CONSTANTS = 4;
112
113 /**
114 * The feature id for the '<em><b>Elements</b></em>' containment reference list.
115 * <!-- begin-user-doc -->
116 * <!-- end-user-doc -->
117 * @generated
118 * @ordered
119 */
120 int LOGIC_PROBLEM__ELEMENTS = 5;
121
122 /**
123 * The feature id for the '<em><b>Containment Hierarchies</b></em>' containment reference list.
124 * <!-- begin-user-doc -->
125 * <!-- end-user-doc -->
126 * @generated
127 * @ordered
128 */
129 int LOGIC_PROBLEM__CONTAINMENT_HIERARCHIES = 6;
130
131 /**
132 * The feature id for the '<em><b>Annotations</b></em>' containment reference list.
133 * <!-- begin-user-doc -->
134 * <!-- end-user-doc -->
135 * @generated
136 * @ordered
137 */
138 int LOGIC_PROBLEM__ANNOTATIONS = 7;
139
140 /**
141 * The number of structural features of the '<em>Logic Problem</em>' class.
142 * <!-- begin-user-doc -->
143 * <!-- end-user-doc -->
144 * @generated
145 * @ordered
146 */
147 int LOGIC_PROBLEM_FEATURE_COUNT = 8;
148
149 /**
150 * The number of operations of the '<em>Logic Problem</em>' class.
151 * <!-- begin-user-doc -->
152 * <!-- end-user-doc -->
153 * @generated
154 * @ordered
155 */
156 int LOGIC_PROBLEM_OPERATION_COUNT = 0;
157
158 /**
159 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.ContainmentHierarchyImpl <em>Containment Hierarchy</em>}' class.
160 * <!-- begin-user-doc -->
161 * <!-- end-user-doc -->
162 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.ContainmentHierarchyImpl
163 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.LogicproblemPackageImpl#getContainmentHierarchy()
164 * @generated
165 */
166 int CONTAINMENT_HIERARCHY = 1;
167
168 /**
169 * The feature id for the '<em><b>Types Ordered In Hierarchy</b></em>' reference list.
170 * <!-- begin-user-doc -->
171 * <!-- end-user-doc -->
172 * @generated
173 * @ordered
174 */
175 int CONTAINMENT_HIERARCHY__TYPES_ORDERED_IN_HIERARCHY = 0;
176
177 /**
178 * The feature id for the '<em><b>Containment Functions</b></em>' reference list.
179 * <!-- begin-user-doc -->
180 * <!-- end-user-doc -->
181 * @generated
182 * @ordered
183 */
184 int CONTAINMENT_HIERARCHY__CONTAINMENT_FUNCTIONS = 1;
185
186 /**
187 * The feature id for the '<em><b>Containment Relations</b></em>' reference list.
188 * <!-- begin-user-doc -->
189 * <!-- end-user-doc -->
190 * @generated
191 * @ordered
192 */
193 int CONTAINMENT_HIERARCHY__CONTAINMENT_RELATIONS = 2;
194
195 /**
196 * The feature id for the '<em><b>Root Constant</b></em>' reference.
197 * <!-- begin-user-doc -->
198 * <!-- end-user-doc -->
199 * @generated
200 * @ordered
201 */
202 int CONTAINMENT_HIERARCHY__ROOT_CONSTANT = 3;
203
204 /**
205 * The number of structural features of the '<em>Containment Hierarchy</em>' class.
206 * <!-- begin-user-doc -->
207 * <!-- end-user-doc -->
208 * @generated
209 * @ordered
210 */
211 int CONTAINMENT_HIERARCHY_FEATURE_COUNT = 4;
212
213 /**
214 * The number of operations of the '<em>Containment Hierarchy</em>' class.
215 * <!-- begin-user-doc -->
216 * <!-- end-user-doc -->
217 * @generated
218 * @ordered
219 */
220 int CONTAINMENT_HIERARCHY_OPERATION_COUNT = 0;
221
222 /**
223 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.AnnotationImpl <em>Annotation</em>}' class.
224 * <!-- begin-user-doc -->
225 * <!-- end-user-doc -->
226 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.AnnotationImpl
227 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.LogicproblemPackageImpl#getAnnotation()
228 * @generated
229 */
230 int ANNOTATION = 6;
231
232 /**
233 * The number of structural features of the '<em>Annotation</em>' class.
234 * <!-- begin-user-doc -->
235 * <!-- end-user-doc -->
236 * @generated
237 * @ordered
238 */
239 int ANNOTATION_FEATURE_COUNT = 0;
240
241 /**
242 * The number of operations of the '<em>Annotation</em>' class.
243 * <!-- begin-user-doc -->
244 * <!-- end-user-doc -->
245 * @generated
246 * @ordered
247 */
248 int ANNOTATION_OPERATION_COUNT = 0;
249
250 /**
251 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.RelationAnnotationImpl <em>Relation Annotation</em>}' class.
252 * <!-- begin-user-doc -->
253 * <!-- end-user-doc -->
254 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.RelationAnnotationImpl
255 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.LogicproblemPackageImpl#getRelationAnnotation()
256 * @generated
257 */
258 int RELATION_ANNOTATION = 2;
259
260 /**
261 * The feature id for the '<em><b>Target</b></em>' reference.
262 * <!-- begin-user-doc -->
263 * <!-- end-user-doc -->
264 * @generated
265 * @ordered
266 */
267 int RELATION_ANNOTATION__TARGET = ANNOTATION_FEATURE_COUNT + 0;
268
269 /**
270 * The number of structural features of the '<em>Relation Annotation</em>' class.
271 * <!-- begin-user-doc -->
272 * <!-- end-user-doc -->
273 * @generated
274 * @ordered
275 */
276 int RELATION_ANNOTATION_FEATURE_COUNT = ANNOTATION_FEATURE_COUNT + 1;
277
278 /**
279 * The number of operations of the '<em>Relation Annotation</em>' class.
280 * <!-- begin-user-doc -->
281 * <!-- end-user-doc -->
282 * @generated
283 * @ordered
284 */
285 int RELATION_ANNOTATION_OPERATION_COUNT = ANNOTATION_OPERATION_COUNT + 0;
286
287 /**
288 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.ConstantAnnotationImpl <em>Constant Annotation</em>}' class.
289 * <!-- begin-user-doc -->
290 * <!-- end-user-doc -->
291 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.ConstantAnnotationImpl
292 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.LogicproblemPackageImpl#getConstantAnnotation()
293 * @generated
294 */
295 int CONSTANT_ANNOTATION = 3;
296
297 /**
298 * The feature id for the '<em><b>Target</b></em>' reference.
299 * <!-- begin-user-doc -->
300 * <!-- end-user-doc -->
301 * @generated
302 * @ordered
303 */
304 int CONSTANT_ANNOTATION__TARGET = ANNOTATION_FEATURE_COUNT + 0;
305
306 /**
307 * The number of structural features of the '<em>Constant Annotation</em>' class.
308 * <!-- begin-user-doc -->
309 * <!-- end-user-doc -->
310 * @generated
311 * @ordered
312 */
313 int CONSTANT_ANNOTATION_FEATURE_COUNT = ANNOTATION_FEATURE_COUNT + 1;
314
315 /**
316 * The number of operations of the '<em>Constant Annotation</em>' class.
317 * <!-- begin-user-doc -->
318 * <!-- end-user-doc -->
319 * @generated
320 * @ordered
321 */
322 int CONSTANT_ANNOTATION_OPERATION_COUNT = ANNOTATION_OPERATION_COUNT + 0;
323
324 /**
325 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.FunctionAnnotationImpl <em>Function Annotation</em>}' class.
326 * <!-- begin-user-doc -->
327 * <!-- end-user-doc -->
328 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.FunctionAnnotationImpl
329 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.LogicproblemPackageImpl#getFunctionAnnotation()
330 * @generated
331 */
332 int FUNCTION_ANNOTATION = 4;
333
334 /**
335 * The feature id for the '<em><b>Target</b></em>' reference.
336 * <!-- begin-user-doc -->
337 * <!-- end-user-doc -->
338 * @generated
339 * @ordered
340 */
341 int FUNCTION_ANNOTATION__TARGET = ANNOTATION_FEATURE_COUNT + 0;
342
343 /**
344 * The number of structural features of the '<em>Function Annotation</em>' class.
345 * <!-- begin-user-doc -->
346 * <!-- end-user-doc -->
347 * @generated
348 * @ordered
349 */
350 int FUNCTION_ANNOTATION_FEATURE_COUNT = ANNOTATION_FEATURE_COUNT + 1;
351
352 /**
353 * The number of operations of the '<em>Function Annotation</em>' class.
354 * <!-- begin-user-doc -->
355 * <!-- end-user-doc -->
356 * @generated
357 * @ordered
358 */
359 int FUNCTION_ANNOTATION_OPERATION_COUNT = ANNOTATION_OPERATION_COUNT + 0;
360
361 /**
362 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.AssertionAnnotationImpl <em>Assertion Annotation</em>}' class.
363 * <!-- begin-user-doc -->
364 * <!-- end-user-doc -->
365 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.AssertionAnnotationImpl
366 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.LogicproblemPackageImpl#getAssertionAnnotation()
367 * @generated
368 */
369 int ASSERTION_ANNOTATION = 5;
370
371 /**
372 * The feature id for the '<em><b>Target</b></em>' reference.
373 * <!-- begin-user-doc -->
374 * <!-- end-user-doc -->
375 * @generated
376 * @ordered
377 */
378 int ASSERTION_ANNOTATION__TARGET = ANNOTATION_FEATURE_COUNT + 0;
379
380 /**
381 * The number of structural features of the '<em>Assertion Annotation</em>' class.
382 * <!-- begin-user-doc -->
383 * <!-- end-user-doc -->
384 * @generated
385 * @ordered
386 */
387 int ASSERTION_ANNOTATION_FEATURE_COUNT = ANNOTATION_FEATURE_COUNT + 1;
388
389 /**
390 * The number of operations of the '<em>Assertion Annotation</em>' class.
391 * <!-- begin-user-doc -->
392 * <!-- end-user-doc -->
393 * @generated
394 * @ordered
395 */
396 int ASSERTION_ANNOTATION_OPERATION_COUNT = ANNOTATION_OPERATION_COUNT + 0;
397
398 /**
399 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem <em>Logic Problem</em>}'.
400 * <!-- begin-user-doc -->
401 * <!-- end-user-doc -->
402 * @return the meta object for class '<em>Logic Problem</em>'.
403 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem
404 * @generated
405 */
406 EClass getLogicProblem();
407
408 /**
409 * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem#getTypes <em>Types</em>}'.
410 * <!-- begin-user-doc -->
411 * <!-- end-user-doc -->
412 * @return the meta object for the containment reference list '<em>Types</em>'.
413 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem#getTypes()
414 * @see #getLogicProblem()
415 * @generated
416 */
417 EReference getLogicProblem_Types();
418
419 /**
420 * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem#getFunctions <em>Functions</em>}'.
421 * <!-- begin-user-doc -->
422 * <!-- end-user-doc -->
423 * @return the meta object for the containment reference list '<em>Functions</em>'.
424 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem#getFunctions()
425 * @see #getLogicProblem()
426 * @generated
427 */
428 EReference getLogicProblem_Functions();
429
430 /**
431 * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem#getAssertions <em>Assertions</em>}'.
432 * <!-- begin-user-doc -->
433 * <!-- end-user-doc -->
434 * @return the meta object for the containment reference list '<em>Assertions</em>'.
435 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem#getAssertions()
436 * @see #getLogicProblem()
437 * @generated
438 */
439 EReference getLogicProblem_Assertions();
440
441 /**
442 * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem#getRelations <em>Relations</em>}'.
443 * <!-- begin-user-doc -->
444 * <!-- end-user-doc -->
445 * @return the meta object for the containment reference list '<em>Relations</em>'.
446 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem#getRelations()
447 * @see #getLogicProblem()
448 * @generated
449 */
450 EReference getLogicProblem_Relations();
451
452 /**
453 * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem#getConstants <em>Constants</em>}'.
454 * <!-- begin-user-doc -->
455 * <!-- end-user-doc -->
456 * @return the meta object for the containment reference list '<em>Constants</em>'.
457 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem#getConstants()
458 * @see #getLogicProblem()
459 * @generated
460 */
461 EReference getLogicProblem_Constants();
462
463 /**
464 * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem#getElements <em>Elements</em>}'.
465 * <!-- begin-user-doc -->
466 * <!-- end-user-doc -->
467 * @return the meta object for the containment reference list '<em>Elements</em>'.
468 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem#getElements()
469 * @see #getLogicProblem()
470 * @generated
471 */
472 EReference getLogicProblem_Elements();
473
474 /**
475 * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem#getContainmentHierarchies <em>Containment Hierarchies</em>}'.
476 * <!-- begin-user-doc -->
477 * <!-- end-user-doc -->
478 * @return the meta object for the containment reference list '<em>Containment Hierarchies</em>'.
479 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem#getContainmentHierarchies()
480 * @see #getLogicProblem()
481 * @generated
482 */
483 EReference getLogicProblem_ContainmentHierarchies();
484
485 /**
486 * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem#getAnnotations <em>Annotations</em>}'.
487 * <!-- begin-user-doc -->
488 * <!-- end-user-doc -->
489 * @return the meta object for the containment reference list '<em>Annotations</em>'.
490 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem#getAnnotations()
491 * @see #getLogicProblem()
492 * @generated
493 */
494 EReference getLogicProblem_Annotations();
495
496 /**
497 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.ContainmentHierarchy <em>Containment Hierarchy</em>}'.
498 * <!-- begin-user-doc -->
499 * <!-- end-user-doc -->
500 * @return the meta object for class '<em>Containment Hierarchy</em>'.
501 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.ContainmentHierarchy
502 * @generated
503 */
504 EClass getContainmentHierarchy();
505
506 /**
507 * Returns the meta object for the reference list '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.ContainmentHierarchy#getTypesOrderedInHierarchy <em>Types Ordered In Hierarchy</em>}'.
508 * <!-- begin-user-doc -->
509 * <!-- end-user-doc -->
510 * @return the meta object for the reference list '<em>Types Ordered In Hierarchy</em>'.
511 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.ContainmentHierarchy#getTypesOrderedInHierarchy()
512 * @see #getContainmentHierarchy()
513 * @generated
514 */
515 EReference getContainmentHierarchy_TypesOrderedInHierarchy();
516
517 /**
518 * Returns the meta object for the reference list '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.ContainmentHierarchy#getContainmentFunctions <em>Containment Functions</em>}'.
519 * <!-- begin-user-doc -->
520 * <!-- end-user-doc -->
521 * @return the meta object for the reference list '<em>Containment Functions</em>'.
522 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.ContainmentHierarchy#getContainmentFunctions()
523 * @see #getContainmentHierarchy()
524 * @generated
525 */
526 EReference getContainmentHierarchy_ContainmentFunctions();
527
528 /**
529 * Returns the meta object for the reference list '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.ContainmentHierarchy#getContainmentRelations <em>Containment Relations</em>}'.
530 * <!-- begin-user-doc -->
531 * <!-- end-user-doc -->
532 * @return the meta object for the reference list '<em>Containment Relations</em>'.
533 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.ContainmentHierarchy#getContainmentRelations()
534 * @see #getContainmentHierarchy()
535 * @generated
536 */
537 EReference getContainmentHierarchy_ContainmentRelations();
538
539 /**
540 * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.ContainmentHierarchy#getRootConstant <em>Root Constant</em>}'.
541 * <!-- begin-user-doc -->
542 * <!-- end-user-doc -->
543 * @return the meta object for the reference '<em>Root Constant</em>'.
544 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.ContainmentHierarchy#getRootConstant()
545 * @see #getContainmentHierarchy()
546 * @generated
547 */
548 EReference getContainmentHierarchy_RootConstant();
549
550 /**
551 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.RelationAnnotation <em>Relation Annotation</em>}'.
552 * <!-- begin-user-doc -->
553 * <!-- end-user-doc -->
554 * @return the meta object for class '<em>Relation Annotation</em>'.
555 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.RelationAnnotation
556 * @generated
557 */
558 EClass getRelationAnnotation();
559
560 /**
561 * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.RelationAnnotation#getTarget <em>Target</em>}'.
562 * <!-- begin-user-doc -->
563 * <!-- end-user-doc -->
564 * @return the meta object for the reference '<em>Target</em>'.
565 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.RelationAnnotation#getTarget()
566 * @see #getRelationAnnotation()
567 * @generated
568 */
569 EReference getRelationAnnotation_Target();
570
571 /**
572 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.ConstantAnnotation <em>Constant Annotation</em>}'.
573 * <!-- begin-user-doc -->
574 * <!-- end-user-doc -->
575 * @return the meta object for class '<em>Constant Annotation</em>'.
576 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.ConstantAnnotation
577 * @generated
578 */
579 EClass getConstantAnnotation();
580
581 /**
582 * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.ConstantAnnotation#getTarget <em>Target</em>}'.
583 * <!-- begin-user-doc -->
584 * <!-- end-user-doc -->
585 * @return the meta object for the reference '<em>Target</em>'.
586 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.ConstantAnnotation#getTarget()
587 * @see #getConstantAnnotation()
588 * @generated
589 */
590 EReference getConstantAnnotation_Target();
591
592 /**
593 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.FunctionAnnotation <em>Function Annotation</em>}'.
594 * <!-- begin-user-doc -->
595 * <!-- end-user-doc -->
596 * @return the meta object for class '<em>Function Annotation</em>'.
597 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.FunctionAnnotation
598 * @generated
599 */
600 EClass getFunctionAnnotation();
601
602 /**
603 * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.FunctionAnnotation#getTarget <em>Target</em>}'.
604 * <!-- begin-user-doc -->
605 * <!-- end-user-doc -->
606 * @return the meta object for the reference '<em>Target</em>'.
607 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.FunctionAnnotation#getTarget()
608 * @see #getFunctionAnnotation()
609 * @generated
610 */
611 EReference getFunctionAnnotation_Target();
612
613 /**
614 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.AssertionAnnotation <em>Assertion Annotation</em>}'.
615 * <!-- begin-user-doc -->
616 * <!-- end-user-doc -->
617 * @return the meta object for class '<em>Assertion Annotation</em>'.
618 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.AssertionAnnotation
619 * @generated
620 */
621 EClass getAssertionAnnotation();
622
623 /**
624 * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.AssertionAnnotation#getTarget <em>Target</em>}'.
625 * <!-- begin-user-doc -->
626 * <!-- end-user-doc -->
627 * @return the meta object for the reference '<em>Target</em>'.
628 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.AssertionAnnotation#getTarget()
629 * @see #getAssertionAnnotation()
630 * @generated
631 */
632 EReference getAssertionAnnotation_Target();
633
634 /**
635 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.Annotation <em>Annotation</em>}'.
636 * <!-- begin-user-doc -->
637 * <!-- end-user-doc -->
638 * @return the meta object for class '<em>Annotation</em>'.
639 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.Annotation
640 * @generated
641 */
642 EClass getAnnotation();
643
644 /**
645 * Returns the factory that creates the instances of the model.
646 * <!-- begin-user-doc -->
647 * <!-- end-user-doc -->
648 * @return the factory that creates the instances of the model.
649 * @generated
650 */
651 LogicproblemFactory getLogicproblemFactory();
652
653 /**
654 * <!-- begin-user-doc -->
655 * Defines literals for the meta objects that represent
656 * <ul>
657 * <li>each class,</li>
658 * <li>each feature of each class,</li>
659 * <li>each operation of each class,</li>
660 * <li>each enum,</li>
661 * <li>and each data type</li>
662 * </ul>
663 * <!-- end-user-doc -->
664 * @generated
665 */
666 interface Literals {
667 /**
668 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.LogicProblemImpl <em>Logic Problem</em>}' class.
669 * <!-- begin-user-doc -->
670 * <!-- end-user-doc -->
671 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.LogicProblemImpl
672 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.LogicproblemPackageImpl#getLogicProblem()
673 * @generated
674 */
675 EClass LOGIC_PROBLEM = eINSTANCE.getLogicProblem();
676
677 /**
678 * The meta object literal for the '<em><b>Types</b></em>' containment reference list feature.
679 * <!-- begin-user-doc -->
680 * <!-- end-user-doc -->
681 * @generated
682 */
683 EReference LOGIC_PROBLEM__TYPES = eINSTANCE.getLogicProblem_Types();
684
685 /**
686 * The meta object literal for the '<em><b>Functions</b></em>' containment reference list feature.
687 * <!-- begin-user-doc -->
688 * <!-- end-user-doc -->
689 * @generated
690 */
691 EReference LOGIC_PROBLEM__FUNCTIONS = eINSTANCE.getLogicProblem_Functions();
692
693 /**
694 * The meta object literal for the '<em><b>Assertions</b></em>' containment reference list feature.
695 * <!-- begin-user-doc -->
696 * <!-- end-user-doc -->
697 * @generated
698 */
699 EReference LOGIC_PROBLEM__ASSERTIONS = eINSTANCE.getLogicProblem_Assertions();
700
701 /**
702 * The meta object literal for the '<em><b>Relations</b></em>' containment reference list feature.
703 * <!-- begin-user-doc -->
704 * <!-- end-user-doc -->
705 * @generated
706 */
707 EReference LOGIC_PROBLEM__RELATIONS = eINSTANCE.getLogicProblem_Relations();
708
709 /**
710 * The meta object literal for the '<em><b>Constants</b></em>' containment reference list feature.
711 * <!-- begin-user-doc -->
712 * <!-- end-user-doc -->
713 * @generated
714 */
715 EReference LOGIC_PROBLEM__CONSTANTS = eINSTANCE.getLogicProblem_Constants();
716
717 /**
718 * The meta object literal for the '<em><b>Elements</b></em>' containment reference list feature.
719 * <!-- begin-user-doc -->
720 * <!-- end-user-doc -->
721 * @generated
722 */
723 EReference LOGIC_PROBLEM__ELEMENTS = eINSTANCE.getLogicProblem_Elements();
724
725 /**
726 * The meta object literal for the '<em><b>Containment Hierarchies</b></em>' containment reference list feature.
727 * <!-- begin-user-doc -->
728 * <!-- end-user-doc -->
729 * @generated
730 */
731 EReference LOGIC_PROBLEM__CONTAINMENT_HIERARCHIES = eINSTANCE.getLogicProblem_ContainmentHierarchies();
732
733 /**
734 * The meta object literal for the '<em><b>Annotations</b></em>' containment reference list feature.
735 * <!-- begin-user-doc -->
736 * <!-- end-user-doc -->
737 * @generated
738 */
739 EReference LOGIC_PROBLEM__ANNOTATIONS = eINSTANCE.getLogicProblem_Annotations();
740
741 /**
742 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.ContainmentHierarchyImpl <em>Containment Hierarchy</em>}' class.
743 * <!-- begin-user-doc -->
744 * <!-- end-user-doc -->
745 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.ContainmentHierarchyImpl
746 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.LogicproblemPackageImpl#getContainmentHierarchy()
747 * @generated
748 */
749 EClass CONTAINMENT_HIERARCHY = eINSTANCE.getContainmentHierarchy();
750
751 /**
752 * The meta object literal for the '<em><b>Types Ordered In Hierarchy</b></em>' reference list feature.
753 * <!-- begin-user-doc -->
754 * <!-- end-user-doc -->
755 * @generated
756 */
757 EReference CONTAINMENT_HIERARCHY__TYPES_ORDERED_IN_HIERARCHY = eINSTANCE.getContainmentHierarchy_TypesOrderedInHierarchy();
758
759 /**
760 * The meta object literal for the '<em><b>Containment Functions</b></em>' reference list feature.
761 * <!-- begin-user-doc -->
762 * <!-- end-user-doc -->
763 * @generated
764 */
765 EReference CONTAINMENT_HIERARCHY__CONTAINMENT_FUNCTIONS = eINSTANCE.getContainmentHierarchy_ContainmentFunctions();
766
767 /**
768 * The meta object literal for the '<em><b>Containment Relations</b></em>' reference list feature.
769 * <!-- begin-user-doc -->
770 * <!-- end-user-doc -->
771 * @generated
772 */
773 EReference CONTAINMENT_HIERARCHY__CONTAINMENT_RELATIONS = eINSTANCE.getContainmentHierarchy_ContainmentRelations();
774
775 /**
776 * The meta object literal for the '<em><b>Root Constant</b></em>' reference feature.
777 * <!-- begin-user-doc -->
778 * <!-- end-user-doc -->
779 * @generated
780 */
781 EReference CONTAINMENT_HIERARCHY__ROOT_CONSTANT = eINSTANCE.getContainmentHierarchy_RootConstant();
782
783 /**
784 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.RelationAnnotationImpl <em>Relation Annotation</em>}' class.
785 * <!-- begin-user-doc -->
786 * <!-- end-user-doc -->
787 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.RelationAnnotationImpl
788 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.LogicproblemPackageImpl#getRelationAnnotation()
789 * @generated
790 */
791 EClass RELATION_ANNOTATION = eINSTANCE.getRelationAnnotation();
792
793 /**
794 * The meta object literal for the '<em><b>Target</b></em>' reference feature.
795 * <!-- begin-user-doc -->
796 * <!-- end-user-doc -->
797 * @generated
798 */
799 EReference RELATION_ANNOTATION__TARGET = eINSTANCE.getRelationAnnotation_Target();
800
801 /**
802 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.ConstantAnnotationImpl <em>Constant Annotation</em>}' class.
803 * <!-- begin-user-doc -->
804 * <!-- end-user-doc -->
805 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.ConstantAnnotationImpl
806 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.LogicproblemPackageImpl#getConstantAnnotation()
807 * @generated
808 */
809 EClass CONSTANT_ANNOTATION = eINSTANCE.getConstantAnnotation();
810
811 /**
812 * The meta object literal for the '<em><b>Target</b></em>' reference feature.
813 * <!-- begin-user-doc -->
814 * <!-- end-user-doc -->
815 * @generated
816 */
817 EReference CONSTANT_ANNOTATION__TARGET = eINSTANCE.getConstantAnnotation_Target();
818
819 /**
820 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.FunctionAnnotationImpl <em>Function Annotation</em>}' class.
821 * <!-- begin-user-doc -->
822 * <!-- end-user-doc -->
823 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.FunctionAnnotationImpl
824 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.LogicproblemPackageImpl#getFunctionAnnotation()
825 * @generated
826 */
827 EClass FUNCTION_ANNOTATION = eINSTANCE.getFunctionAnnotation();
828
829 /**
830 * The meta object literal for the '<em><b>Target</b></em>' reference feature.
831 * <!-- begin-user-doc -->
832 * <!-- end-user-doc -->
833 * @generated
834 */
835 EReference FUNCTION_ANNOTATION__TARGET = eINSTANCE.getFunctionAnnotation_Target();
836
837 /**
838 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.AssertionAnnotationImpl <em>Assertion Annotation</em>}' class.
839 * <!-- begin-user-doc -->
840 * <!-- end-user-doc -->
841 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.AssertionAnnotationImpl
842 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.LogicproblemPackageImpl#getAssertionAnnotation()
843 * @generated
844 */
845 EClass ASSERTION_ANNOTATION = eINSTANCE.getAssertionAnnotation();
846
847 /**
848 * The meta object literal for the '<em><b>Target</b></em>' reference feature.
849 * <!-- begin-user-doc -->
850 * <!-- end-user-doc -->
851 * @generated
852 */
853 EReference ASSERTION_ANNOTATION__TARGET = eINSTANCE.getAssertionAnnotation_Target();
854
855 /**
856 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.AnnotationImpl <em>Annotation</em>}' class.
857 * <!-- begin-user-doc -->
858 * <!-- end-user-doc -->
859 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.AnnotationImpl
860 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.LogicproblemPackageImpl#getAnnotation()
861 * @generated
862 */
863 EClass ANNOTATION = eINSTANCE.getAnnotation();
864
865 }
866
867} //LogicproblemPackage
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-01 10:40:00 +0000