aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/PartialInterpretation.ecore
diff options
context:
space:
mode:
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.ecore6
1 files changed, 6 insertions, 0 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 9392bb8a..174e4508 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
@@ -42,6 +42,12 @@
42 eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/> 42 eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/>
43 <eStructuralFeatures xsi:type="ecore:EAttribute" name="maxNewStrings" lowerBound="1" 43 <eStructuralFeatures xsi:type="ecore:EAttribute" name="maxNewStrings" lowerBound="1"
44 eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/> 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"/>
45 </eClassifiers> 51 </eClassifiers>
46 <eClassifiers xsi:type="ecore:EClass" name="PartialConstantInterpretation"> 52 <eClassifiers xsi:type="ecore:EClass" name="PartialConstantInterpretation">
47 <eStructuralFeatures xsi:type="ecore:EReference" name="interpretationOf" lowerBound="1" 53 <eStructuralFeatures xsi:type="ecore:EReference" name="interpretationOf" lowerBound="1"