diff options
author | Kristóf Marussy <kristof@marussy.com> | 2022-09-19 21:33:55 +0200 |
---|---|---|
committer | Kristóf Marussy <kristof@marussy.com> | 2022-09-19 21:42:05 +0200 |
commit | 7fb99f0225911a8962aaf3493b89f41e791df359 (patch) | |
tree | f289ac1433f91e2b1c9e1a5eab92ae6b52aa9d83 /subprojects/language-model/src/main/resources/model/problem.genmodel | |
parent | refactor(language): clarify containment hierarchy (diff) | |
download | refinery-7fb99f0225911a8962aaf3493b89f41e791df359.tar.gz refinery-7fb99f0225911a8962aaf3493b89f41e791df359.tar.zst refinery-7fb99f0225911a8962aaf3493b89f41e791df359.zip |
feat(language): problem desugaring
Diffstat (limited to 'subprojects/language-model/src/main/resources/model/problem.genmodel')
-rw-r--r-- | subprojects/language-model/src/main/resources/model/problem.genmodel | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/subprojects/language-model/src/main/resources/model/problem.genmodel b/subprojects/language-model/src/main/resources/model/problem.genmodel index 5442d29d..da70f922 100644 --- a/subprojects/language-model/src/main/resources/model/problem.genmodel +++ b/subprojects/language-model/src/main/resources/model/problem.genmodel | |||
@@ -140,6 +140,7 @@ | |||
140 | <genClasses ecoreClass="problem.ecore#//AssertionArgument"/> | 140 | <genClasses ecoreClass="problem.ecore#//AssertionArgument"/> |
141 | <genClasses ecoreClass="problem.ecore#//ConstantAssertionArgument"> | 141 | <genClasses ecoreClass="problem.ecore#//ConstantAssertionArgument"> |
142 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//ConstantAssertionArgument/constant"/> | 142 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//ConstantAssertionArgument/constant"/> |
143 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//ConstantAssertionArgument/node"/> | ||
143 | </genClasses> | 144 | </genClasses> |
144 | <genClasses ecoreClass="problem.ecore#//NodeValueAssertion"> | 145 | <genClasses ecoreClass="problem.ecore#//NodeValueAssertion"> |
145 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//NodeValueAssertion/node"/> | 146 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//NodeValueAssertion/node"/> |