diff options
author | 2018-06-25 00:16:48 +0200 | |
---|---|---|
committer | 2018-06-25 00:16:48 +0200 | |
commit | 6bd475a3eced9d9a912f76e24f91d2ad8da13d54 (patch) | |
tree | 66b3fbfb52e204d605225d1eac7e371eecea791e /Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/PartialInterpretation.ecore | |
parent | Fixing multiple "true" and "false" objects (diff) | |
download | VIATRA-Generator-6bd475a3eced9d9a912f76e24f91d2ad8da13d54.tar.gz VIATRA-Generator-6bd475a3eced9d9a912f76e24f91d2ad8da13d54.tar.zst VIATRA-Generator-6bd475a3eced9d9a912f76e24f91d2ad8da13d54.zip |
Fixing multiple true/false + bug preventing generation without PS
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 | 4 |
1 files changed, 3 insertions, 1 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 afee2d42..acf82a3f 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 | |||
@@ -47,6 +47,8 @@ | |||
47 | <eClassifiers xsi:type="ecore:EClass" name="PartialTypeInterpratation" abstract="true"> | 47 | <eClassifiers xsi:type="ecore:EClass" name="PartialTypeInterpratation" abstract="true"> |
48 | <eStructuralFeatures xsi:type="ecore:EReference" name="elements" upperBound="-1" | 48 | <eStructuralFeatures xsi:type="ecore:EReference" name="elements" upperBound="-1" |
49 | 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"/> |
50 | <eStructuralFeatures xsi:type="ecore:EReference" name="scopes" upperBound="-1" | ||
51 | eType="#//Scope" eOpposite="#//Scope/targetTypeInterpretation"/> | ||
50 | </eClassifiers> | 52 | </eClassifiers> |
51 | <eClassifiers xsi:type="ecore:EClass" name="RelationLink" abstract="true"/> | 53 | <eClassifiers xsi:type="ecore:EClass" name="RelationLink" abstract="true"/> |
52 | <eClassifiers xsi:type="ecore:EClass" name="UnaryElementRelationLink" eSuperTypes="#//RelationLink"> | 54 | <eClassifiers xsi:type="ecore:EClass" name="UnaryElementRelationLink" eSuperTypes="#//RelationLink"> |
@@ -89,7 +91,7 @@ | |||
89 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="maxNewElements" lowerBound="1" | 91 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="maxNewElements" lowerBound="1" |
90 | eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt" defaultValueLiteral="-1"/> | 92 | eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt" defaultValueLiteral="-1"/> |
91 | <eStructuralFeatures xsi:type="ecore:EReference" name="targetTypeInterpretation" | 93 | <eStructuralFeatures xsi:type="ecore:EReference" name="targetTypeInterpretation" |
92 | lowerBound="1" eType="#//PartialTypeInterpratation"/> | 94 | lowerBound="1" eType="#//PartialTypeInterpratation" eOpposite="#//PartialTypeInterpratation/scopes"/> |
93 | </eClassifiers> | 95 | </eClassifiers> |
94 | <eClassifiers xsi:type="ecore:EClass" name="PartialPrimitiveInterpretation" abstract="true" | 96 | <eClassifiers xsi:type="ecore:EClass" name="PartialPrimitiveInterpretation" abstract="true" |
95 | eSuperTypes="#//PartialTypeInterpratation"/> | 97 | eSuperTypes="#//PartialTypeInterpratation"/> |