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 | 40 |
1 files changed, 34 insertions, 6 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 fd7ca595..9392bb8a 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 | |||
| @@ -21,15 +21,27 @@ | |||
| 21 | iD="true"/> | 21 | iD="true"/> |
| 22 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="maxNewElements" lowerBound="1" | 22 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="maxNewElements" lowerBound="1" |
| 23 | eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt" defaultValueLiteral="0"/> | 23 | eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt" defaultValueLiteral="0"/> |
| 24 | <eStructuralFeatures xsi:type="ecore:EReference" name="openWorldElementPrototype" | 24 | <eStructuralFeatures xsi:type="ecore:EReference" name="openWorldElementPrototypes" |
| 25 | lowerBound="1" eType="ecore:EClass ../../hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//DefinedElement" | 25 | lowerBound="1" upperBound="-1" eType="ecore:EClass ../../hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//DefinedElement" |
| 26 | containment="true"/> | 26 | containment="true"/> |
| 27 | <eStructuralFeatures xsi:type="ecore:EReference" name="problemConainer" eType="ecore:EClass ../../hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//LogicProblem" | 27 | <eStructuralFeatures xsi:type="ecore:EReference" name="problemConainer" eType="ecore:EClass ../../hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//LogicProblem" |
| 28 | containment="true"/> | 28 | containment="true"/> |
| 29 | <eStructuralFeatures xsi:type="ecore:EReference" name="pregeneratedRelationLinks" | 29 | <eStructuralFeatures xsi:type="ecore:EReference" name="stringelement" upperBound="-1" |
| 30 | upperBound="-1" eType="#//BinaryElementRelationLink"/> | 30 | eType="#//StringElement" containment="true"/> |
| 31 | <eStructuralFeatures xsi:type="ecore:EReference" name="preGeneratedElements" upperBound="-1" | 31 | <eStructuralFeatures xsi:type="ecore:EReference" name="stringelements" upperBound="-1" |
| 32 | eType="#//PartialTypeInterpratation" containment="true"/> | 32 | eType="#//StringElement" containment="true"/> |
| 33 | <eStructuralFeatures xsi:type="ecore:EReference" name="realelements" upperBound="-1" | ||
| 34 | eType="#//RealElement" containment="true"/> | ||
| 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"/> | ||
| 33 | </eClassifiers> | 45 | </eClassifiers> |
| 34 | <eClassifiers xsi:type="ecore:EClass" name="PartialConstantInterpretation"> | 46 | <eClassifiers xsi:type="ecore:EClass" name="PartialConstantInterpretation"> |
| 35 | <eStructuralFeatures xsi:type="ecore:EReference" name="interpretationOf" lowerBound="1" | 47 | <eStructuralFeatures xsi:type="ecore:EReference" name="interpretationOf" lowerBound="1" |
| @@ -73,4 +85,20 @@ | |||
| 73 | <eClassifiers xsi:type="ecore:EClass" name="NaryRelationLinkElement"> | 85 | <eClassifiers xsi:type="ecore:EClass" name="NaryRelationLinkElement"> |
| 74 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="index" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/> | 86 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="index" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/> |
| 75 | </eClassifiers> | 87 | </eClassifiers> |
| 88 | <eClassifiers xsi:type="ecore:EClass" name="PrimitiveElement" abstract="true" eSuperTypes="../../hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//DefinedElement"> | ||
| 89 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="valueSet" lowerBound="1" | ||
| 90 | eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/> | ||
| 91 | </eClassifiers> | ||
| 92 | <eClassifiers xsi:type="ecore:EClass" name="BooleanElement" eSuperTypes="#//PrimitiveElement"> | ||
| 93 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="value" lowerBound="1" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/> | ||
| 94 | </eClassifiers> | ||
| 95 | <eClassifiers xsi:type="ecore:EClass" name="IntegerElement" eSuperTypes="#//PrimitiveElement"> | ||
| 96 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="value" lowerBound="1" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/> | ||
| 97 | </eClassifiers> | ||
| 98 | <eClassifiers xsi:type="ecore:EClass" name="RealElement" eSuperTypes="#//PrimitiveElement"> | ||
| 99 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="value" lowerBound="1" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBigDecimal"/> | ||
| 100 | </eClassifiers> | ||
| 101 | <eClassifiers xsi:type="ecore:EClass" name="StringElement" eSuperTypes="#//PrimitiveElement"> | ||
| 102 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="value" lowerBound="1" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/> | ||
| 103 | </eClassifiers> | ||
| 76 | </ecore:EPackage> | 104 | </ecore:EPackage> |