aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/language-model/src/main/resources/model
diff options
context:
space:
mode:
Diffstat (limited to 'subprojects/language-model/src/main/resources/model')
-rw-r--r--subprojects/language-model/src/main/resources/model/problem.ecore1
-rw-r--r--subprojects/language-model/src/main/resources/model/problem.genmodel1
2 files changed, 2 insertions, 0 deletions
diff --git a/subprojects/language-model/src/main/resources/model/problem.ecore b/subprojects/language-model/src/main/resources/model/problem.ecore
index 8f1bc355..571d52f3 100644
--- a/subprojects/language-model/src/main/resources/model/problem.ecore
+++ b/subprojects/language-model/src/main/resources/model/problem.ecore
@@ -32,6 +32,7 @@
32 </eClassifiers> 32 </eClassifiers>
33 <eClassifiers xsi:type="ecore:EClass" name="Parameter" eSuperTypes="#//Variable"> 33 <eClassifiers xsi:type="ecore:EClass" name="Parameter" eSuperTypes="#//Variable">
34 <eStructuralFeatures xsi:type="ecore:EReference" name="parameterType" eType="#//Relation"/> 34 <eStructuralFeatures xsi:type="ecore:EReference" name="parameterType" eType="#//Relation"/>
35 <eStructuralFeatures xsi:type="ecore:EAttribute" name="modality" eType="#//Modality"/>
35 </eClassifiers> 36 </eClassifiers>
36 <eClassifiers xsi:type="ecore:EClass" name="Variable" abstract="true" eSuperTypes="#//VariableOrNode"/> 37 <eClassifiers xsi:type="ecore:EClass" name="Variable" abstract="true" eSuperTypes="#//VariableOrNode"/>
37 <eClassifiers xsi:type="ecore:EClass" name="Conjunction" eSuperTypes="#//ExistentialQuantifier"> 38 <eClassifiers xsi:type="ecore:EClass" name="Conjunction" eSuperTypes="#//ExistentialQuantifier">
diff --git a/subprojects/language-model/src/main/resources/model/problem.genmodel b/subprojects/language-model/src/main/resources/model/problem.genmodel
index fbaf9d65..1b72ecfd 100644
--- a/subprojects/language-model/src/main/resources/model/problem.genmodel
+++ b/subprojects/language-model/src/main/resources/model/problem.genmodel
@@ -54,6 +54,7 @@
54 </genClasses> 54 </genClasses>
55 <genClasses ecoreClass="problem.ecore#//Parameter"> 55 <genClasses ecoreClass="problem.ecore#//Parameter">
56 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//Parameter/parameterType"/> 56 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//Parameter/parameterType"/>
57 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//Parameter/modality"/>
57 </genClasses> 58 </genClasses>
58 <genClasses ecoreClass="problem.ecore#//Variable"/> 59 <genClasses ecoreClass="problem.ecore#//Variable"/>
59 <genClasses ecoreClass="problem.ecore#//Conjunction"> 60 <genClasses ecoreClass="problem.ecore#//Conjunction">