diff options
Diffstat (limited to 'subprojects/language-model/src/main/resources/model/problem.ecore')
-rw-r--r-- | subprojects/language-model/src/main/resources/model/problem.ecore | 13 |
1 files changed, 6 insertions, 7 deletions
diff --git a/subprojects/language-model/src/main/resources/model/problem.ecore b/subprojects/language-model/src/main/resources/model/problem.ecore index 314639c1..2d86382d 100644 --- a/subprojects/language-model/src/main/resources/model/problem.ecore +++ b/subprojects/language-model/src/main/resources/model/problem.ecore | |||
@@ -54,7 +54,7 @@ | |||
54 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="default" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean" | 54 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="default" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean" |
55 | defaultValueLiteral="false"/> | 55 | defaultValueLiteral="false"/> |
56 | <eStructuralFeatures xsi:type="ecore:EReference" name="relation" eType="#//Relation"/> | 56 | <eStructuralFeatures xsi:type="ecore:EReference" name="relation" eType="#//Relation"/> |
57 | <eStructuralFeatures xsi:type="ecore:EReference" name="value" eType="#//AssertionValue" | 57 | <eStructuralFeatures xsi:type="ecore:EReference" name="value" eType="#//Expr" |
58 | containment="true"/> | 58 | containment="true"/> |
59 | </eClassifiers> | 59 | </eClassifiers> |
60 | <eClassifiers xsi:type="ecore:EClass" name="Node" eSuperTypes="#//VariableOrNode"/> | 60 | <eClassifiers xsi:type="ecore:EClass" name="Node" eSuperTypes="#//VariableOrNode"/> |
@@ -159,6 +159,10 @@ | |||
159 | <eLiterals name="EQ" value="4"/> | 159 | <eLiterals name="EQ" value="4"/> |
160 | <eLiterals name="NOT_EQ" value="5"/> | 160 | <eLiterals name="NOT_EQ" value="5"/> |
161 | <eLiterals name="IN" value="6"/> | 161 | <eLiterals name="IN" value="6"/> |
162 | <eLiterals name="SUBSUMES" value="7"/> | ||
163 | <eLiterals name="SUBSUMED_BY" value="8"/> | ||
164 | <eLiterals name="ABS_EQ" value="9"/> | ||
165 | <eLiterals name="ABS_NOT_EQ" value="10"/> | ||
162 | </eClassifiers> | 166 | </eClassifiers> |
163 | <eClassifiers xsi:type="ecore:EEnum" name="ReferenceKind"> | 167 | <eClassifiers xsi:type="ecore:EEnum" name="ReferenceKind"> |
164 | <eLiterals name="REFERENCE" value="1"/> | 168 | <eLiterals name="REFERENCE" value="1"/> |
@@ -257,12 +261,7 @@ | |||
257 | <eLiterals name="REAL" value="1"/> | 261 | <eLiterals name="REAL" value="1"/> |
258 | <eLiterals name="STRING" value="2"/> | 262 | <eLiterals name="STRING" value="2"/> |
259 | </eClassifiers> | 263 | </eClassifiers> |
260 | <eClassifiers xsi:type="ecore:EClass" name="AssertionValue" abstract="true"/> | 264 | <eClassifiers xsi:type="ecore:EClass" name="LogicConstant" eSuperTypes="#//Constant"> |
261 | <eClassifiers xsi:type="ecore:EClass" name="LogicAssertionValue" eSuperTypes="#//AssertionValue"> | ||
262 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="logicValue" eType="#//LogicValue"/> | 265 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="logicValue" eType="#//LogicValue"/> |
263 | </eClassifiers> | 266 | </eClassifiers> |
264 | <eClassifiers xsi:type="ecore:EClass" name="ExprAssertionValue" eSuperTypes="#//AssertionValue"> | ||
265 | <eStructuralFeatures xsi:type="ecore:EReference" name="body" eType="#//Expr" containment="true"/> | ||
266 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="range" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/> | ||
267 | </eClassifiers> | ||
268 | </ecore:EPackage> | 267 | </ecore:EPackage> |