diff options
author | 2017-08-16 17:07:39 +0200 | |
---|---|---|
committer | 2017-08-16 17:07:39 +0200 | |
commit | 397731960acde06c0dea80a502a7869bd85208e2 (patch) | |
tree | 539a92eae15024b176efb1308b87f97595cd8b72 /Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/PartialInterpretation.ecore | |
parent | Alloy mapping of integer scopes (diff) | |
download | VIATRA-Generator-397731960acde06c0dea80a502a7869bd85208e2.tar.gz VIATRA-Generator-397731960acde06c0dea80a502a7869bd85208e2.tar.zst VIATRA-Generator-397731960acde06c0dea80a502a7869bd85208e2.zip |
Added separate symbolic objects to all primitive objects
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 | 6 |
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" |