diff options
Diffstat (limited to 'Framework/hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore')
-rw-r--r-- | Framework/hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore | 49 |
1 files changed, 49 insertions, 0 deletions
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore new file mode 100644 index 00000000..ea4be457 --- /dev/null +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore | |||
@@ -0,0 +1,49 @@ | |||
1 | <?xml version="1.0" encoding="UTF-8"?> | ||
2 | <ecore:EPackage xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" | ||
3 | xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" name="logicproblem" nsURI="http://www.bme.hu/mit/inf/dslreasoner/logic/model/problem" | ||
4 | nsPrefix="language"> | ||
5 | <eClassifiers xsi:type="ecore:EClass" name="LogicProblem"> | ||
6 | <eStructuralFeatures xsi:type="ecore:EReference" name="types" upperBound="-1" | ||
7 | eType="ecore:EClass logiclanguage.ecore#//Type" containment="true"/> | ||
8 | <eStructuralFeatures xsi:type="ecore:EReference" name="functions" upperBound="-1" | ||
9 | eType="ecore:EClass logiclanguage.ecore#//Function" containment="true"/> | ||
10 | <eStructuralFeatures xsi:type="ecore:EReference" name="assertions" upperBound="-1" | ||
11 | eType="ecore:EClass logiclanguage.ecore#//Assertion" containment="true"/> | ||
12 | <eStructuralFeatures xsi:type="ecore:EReference" name="relations" upperBound="-1" | ||
13 | eType="ecore:EClass logiclanguage.ecore#//Relation" containment="true"/> | ||
14 | <eStructuralFeatures xsi:type="ecore:EReference" name="constants" upperBound="-1" | ||
15 | eType="ecore:EClass logiclanguage.ecore#//Constant" containment="true"/> | ||
16 | <eStructuralFeatures xsi:type="ecore:EReference" name="elements" upperBound="-1" | ||
17 | eType="ecore:EClass logiclanguage.ecore#//DefinedElement" containment="true"/> | ||
18 | <eStructuralFeatures xsi:type="ecore:EReference" name="containmentHierarchies" | ||
19 | upperBound="-1" eType="#//ContainmentHierarchy" containment="true"/> | ||
20 | <eStructuralFeatures xsi:type="ecore:EReference" name="annotations" upperBound="-1" | ||
21 | eType="#//Annotation" containment="true"/> | ||
22 | </eClassifiers> | ||
23 | <eClassifiers xsi:type="ecore:EClass" name="ContainmentHierarchy"> | ||
24 | <eStructuralFeatures xsi:type="ecore:EReference" name="typesOrderedInHierarchy" | ||
25 | upperBound="-1" eType="ecore:EClass logiclanguage.ecore#//Type"/> | ||
26 | <eStructuralFeatures xsi:type="ecore:EReference" name="containmentFunctions" upperBound="-1" | ||
27 | eType="ecore:EClass logiclanguage.ecore#//Function"/> | ||
28 | <eStructuralFeatures xsi:type="ecore:EReference" name="containmentRelations" upperBound="-1" | ||
29 | eType="ecore:EClass logiclanguage.ecore#//Relation"/> | ||
30 | <eStructuralFeatures xsi:type="ecore:EReference" name="rootConstant" eType="ecore:EClass logiclanguage.ecore#//Constant"/> | ||
31 | </eClassifiers> | ||
32 | <eClassifiers xsi:type="ecore:EClass" name="RelationAnnotation" eSuperTypes="#//Annotation"> | ||
33 | <eStructuralFeatures xsi:type="ecore:EReference" name="target" lowerBound="1" | ||
34 | eType="ecore:EClass logiclanguage.ecore#//Relation" eOpposite="logiclanguage.ecore#//Relation/annotations"/> | ||
35 | </eClassifiers> | ||
36 | <eClassifiers xsi:type="ecore:EClass" name="ConstantAnnotation" eSuperTypes="#//Annotation"> | ||
37 | <eStructuralFeatures xsi:type="ecore:EReference" name="target" lowerBound="1" | ||
38 | eType="ecore:EClass logiclanguage.ecore#//Constant" eOpposite="logiclanguage.ecore#//Constant/annotations"/> | ||
39 | </eClassifiers> | ||
40 | <eClassifiers xsi:type="ecore:EClass" name="FunctionAnnotation" eSuperTypes="#//Annotation"> | ||
41 | <eStructuralFeatures xsi:type="ecore:EReference" name="target" lowerBound="1" | ||
42 | eType="ecore:EClass logiclanguage.ecore#//Function" eOpposite="logiclanguage.ecore#//Function/annotations"/> | ||
43 | </eClassifiers> | ||
44 | <eClassifiers xsi:type="ecore:EClass" name="AssertionAnnotation" eSuperTypes="#//Annotation"> | ||
45 | <eStructuralFeatures xsi:type="ecore:EReference" name="target" lowerBound="1" | ||
46 | eType="ecore:EClass logiclanguage.ecore#//Assertion" eOpposite="logiclanguage.ecore#//Assertion/annotations"/> | ||
47 | </eClassifiers> | ||
48 | <eClassifiers xsi:type="ecore:EClass" name="Annotation"/> | ||
49 | </ecore:EPackage> | ||