diff options
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.java | 867 |
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 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.logic.model.logicproblem; | ||
4 | |||
5 | import org.eclipse.emf.ecore.EClass; | ||
6 | import org.eclipse.emf.ecore.EPackage; | ||
7 | import 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 | */ | ||
25 | public 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 | ||