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 | 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" |