diff options
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/PartialInterpretation.ecore')
-rw-r--r-- | Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/PartialInterpretation.ecore | 64 |
1 files changed, 30 insertions, 34 deletions
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/PartialInterpretation.ecore b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/PartialInterpretation.ecore index 3c235851..afee2d42 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/PartialInterpretation.ecore +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/PartialInterpretation.ecore | |||
@@ -16,38 +16,17 @@ | |||
16 | containment="true"/> | 16 | containment="true"/> |
17 | <eStructuralFeatures xsi:type="ecore:EReference" name="partialtypeinterpratation" | 17 | <eStructuralFeatures xsi:type="ecore:EReference" name="partialtypeinterpratation" |
18 | upperBound="-1" eType="#//PartialTypeInterpratation" containment="true"/> | 18 | upperBound="-1" eType="#//PartialTypeInterpratation" containment="true"/> |
19 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="minNewElements" lowerBound="1" | 19 | <eStructuralFeatures xsi:type="ecore:EReference" name="openWorldElements" upperBound="-1" |
20 | eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt" defaultValueLiteral="0" | 20 | eType="ecore:EClass ../../hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//DefinedElement" |
21 | iD="true"/> | ||
22 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="maxNewElements" lowerBound="1" | ||
23 | eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt" defaultValueLiteral="0"/> | ||
24 | <eStructuralFeatures xsi:type="ecore:EReference" name="openWorldElementPrototypes" | ||
25 | upperBound="-1" eType="ecore:EClass ../../hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//DefinedElement" | ||
26 | containment="true"/> | 21 | containment="true"/> |
27 | <eStructuralFeatures xsi:type="ecore:EReference" name="problemConainer" eType="ecore:EClass ../../hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//LogicProblem" | 22 | <eStructuralFeatures xsi:type="ecore:EReference" name="problemConainer" eType="ecore:EClass ../../hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//LogicProblem" |
28 | containment="true"/> | 23 | containment="true"/> |
29 | <eStructuralFeatures xsi:type="ecore:EReference" name="stringelement" upperBound="-1" | 24 | <eStructuralFeatures xsi:type="ecore:EReference" name="scopes" upperBound="-1" |
30 | eType="#//StringElement" containment="true"/> | 25 | eType="#//Scope" containment="true"/> |
31 | <eStructuralFeatures xsi:type="ecore:EReference" name="stringelements" upperBound="-1" | 26 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="minNewElements" lowerBound="1" |
32 | eType="#//StringElement" containment="true"/> | 27 | eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt" defaultValueLiteral="0"/> |
33 | <eStructuralFeatures xsi:type="ecore:EReference" name="realelements" upperBound="-1" | 28 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="maxNewElements" lowerBound="1" |
34 | eType="#//RealElement" containment="true"/> | 29 | eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt" defaultValueLiteral="-1"/> |
35 | <eStructuralFeatures xsi:type="ecore:EReference" name="integerelements" upperBound="-1" | ||
36 | eType="#//IntegerElement" containment="true"/> | ||
37 | <eStructuralFeatures xsi:type="ecore:EReference" name="booleanelements" upperBound="-1" | ||
38 | eType="#//BooleanElement" containment="true"/> | ||
39 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="maxNewIntegers" lowerBound="1" | ||
40 | eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/> | ||
41 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="maxNewReals" lowerBound="1" | ||
42 | eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/> | ||
43 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="maxNewStrings" lowerBound="1" | ||
44 | eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/> | ||
45 | <eStructuralFeatures xsi:type="ecore:EReference" name="newStrings" upperBound="-1" | ||
46 | eType="#//StringElement" containment="true"/> | ||
47 | <eStructuralFeatures xsi:type="ecore:EReference" name="newReals" upperBound="-1" | ||
48 | eType="#//RealElement" containment="true"/> | ||
49 | <eStructuralFeatures xsi:type="ecore:EReference" name="newIntegers" upperBound="-1" | ||
50 | eType="#//IntegerElement" containment="true"/> | ||
51 | </eClassifiers> | 30 | </eClassifiers> |
52 | <eClassifiers xsi:type="ecore:EClass" name="PartialConstantInterpretation"> | 31 | <eClassifiers xsi:type="ecore:EClass" name="PartialConstantInterpretation"> |
53 | <eStructuralFeatures xsi:type="ecore:EReference" name="interpretationOf" lowerBound="1" | 32 | <eStructuralFeatures xsi:type="ecore:EReference" name="interpretationOf" lowerBound="1" |
@@ -65,13 +44,9 @@ | |||
65 | <eStructuralFeatures xsi:type="ecore:EReference" name="interpretationOf" lowerBound="1" | 44 | <eStructuralFeatures xsi:type="ecore:EReference" name="interpretationOf" lowerBound="1" |
66 | eType="ecore:EClass ../../hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//FunctionDeclaration"/> | 45 | eType="ecore:EClass ../../hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//FunctionDeclaration"/> |
67 | </eClassifiers> | 46 | </eClassifiers> |
68 | <eClassifiers xsi:type="ecore:EClass" name="PartialTypeInterpratation"> | 47 | <eClassifiers xsi:type="ecore:EClass" name="PartialTypeInterpratation" abstract="true"> |
69 | <eStructuralFeatures xsi:type="ecore:EReference" name="interpretationOf" lowerBound="1" | ||
70 | eType="ecore:EClass ../../hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//TypeDeclaration"/> | ||
71 | <eStructuralFeatures xsi:type="ecore:EReference" name="elements" upperBound="-1" | 48 | <eStructuralFeatures xsi:type="ecore:EReference" name="elements" upperBound="-1" |
72 | eType="ecore:EClass ../../hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//DefinedElement"/> | 49 | eType="ecore:EClass ../../hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//DefinedElement"/> |
73 | <eStructuralFeatures xsi:type="ecore:EReference" name="supertypeInterpretation" | ||
74 | upperBound="-1" eType="#//PartialTypeInterpratation"/> | ||
75 | </eClassifiers> | 50 | </eClassifiers> |
76 | <eClassifiers xsi:type="ecore:EClass" name="RelationLink" abstract="true"/> | 51 | <eClassifiers xsi:type="ecore:EClass" name="RelationLink" abstract="true"/> |
77 | <eClassifiers xsi:type="ecore:EClass" name="UnaryElementRelationLink" eSuperTypes="#//RelationLink"> | 52 | <eClassifiers xsi:type="ecore:EClass" name="UnaryElementRelationLink" eSuperTypes="#//RelationLink"> |
@@ -90,6 +65,7 @@ | |||
90 | </eClassifiers> | 65 | </eClassifiers> |
91 | <eClassifiers xsi:type="ecore:EClass" name="NaryRelationLinkElement"> | 66 | <eClassifiers xsi:type="ecore:EClass" name="NaryRelationLinkElement"> |
92 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="index" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/> | 67 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="index" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/> |
68 | <eStructuralFeatures xsi:type="ecore:EReference" name="param" lowerBound="1" eType="ecore:EClass ../../hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//DefinedElement"/> | ||
93 | </eClassifiers> | 69 | </eClassifiers> |
94 | <eClassifiers xsi:type="ecore:EClass" name="PrimitiveElement" abstract="true" eSuperTypes="../../hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//DefinedElement"> | 70 | <eClassifiers xsi:type="ecore:EClass" name="PrimitiveElement" abstract="true" eSuperTypes="../../hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//DefinedElement"> |
95 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="valueSet" lowerBound="1" | 71 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="valueSet" lowerBound="1" |
@@ -107,4 +83,24 @@ | |||
107 | <eClassifiers xsi:type="ecore:EClass" name="StringElement" eSuperTypes="#//PrimitiveElement"> | 83 | <eClassifiers xsi:type="ecore:EClass" name="StringElement" eSuperTypes="#//PrimitiveElement"> |
108 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="value" lowerBound="1" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/> | 84 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="value" lowerBound="1" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/> |
109 | </eClassifiers> | 85 | </eClassifiers> |
86 | <eClassifiers xsi:type="ecore:EClass" name="Scope"> | ||
87 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="minNewElements" lowerBound="1" | ||
88 | eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt" defaultValueLiteral="0"/> | ||
89 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="maxNewElements" lowerBound="1" | ||
90 | eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt" defaultValueLiteral="-1"/> | ||
91 | <eStructuralFeatures xsi:type="ecore:EReference" name="targetTypeInterpretation" | ||
92 | lowerBound="1" eType="#//PartialTypeInterpratation"/> | ||
93 | </eClassifiers> | ||
94 | <eClassifiers xsi:type="ecore:EClass" name="PartialPrimitiveInterpretation" abstract="true" | ||
95 | eSuperTypes="#//PartialTypeInterpratation"/> | ||
96 | <eClassifiers xsi:type="ecore:EClass" name="PartialBooleanInterpretation" eSuperTypes="#//PartialPrimitiveInterpretation"/> | ||
97 | <eClassifiers xsi:type="ecore:EClass" name="PartialIntegerInterpretation" eSuperTypes="#//PartialPrimitiveInterpretation"/> | ||
98 | <eClassifiers xsi:type="ecore:EClass" name="PartialRealInterpretation" eSuperTypes="#//PartialPrimitiveInterpretation"/> | ||
99 | <eClassifiers xsi:type="ecore:EClass" name="PartialStringInterpretation" eSuperTypes="#//PartialPrimitiveInterpretation"/> | ||
100 | <eClassifiers xsi:type="ecore:EClass" name="PartialComplexTypeInterpretation" eSuperTypes="#//PartialTypeInterpratation"> | ||
101 | <eStructuralFeatures xsi:type="ecore:EReference" name="supertypeInterpretation" | ||
102 | upperBound="-1" eType="#//PartialComplexTypeInterpretation"/> | ||
103 | <eStructuralFeatures xsi:type="ecore:EReference" name="interpretationOf" lowerBound="1" | ||
104 | eType="ecore:EClass ../../hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//TypeDeclaration"/> | ||
105 | </eClassifiers> | ||
110 | </ecore:EPackage> | 106 | </ecore:EPackage> |