diff options
author | 2022-10-30 19:27:34 -0400 | |
---|---|---|
committer | 2022-11-05 19:41:17 +0100 | |
commit | 960af83c7c1cb871da03b9ac4ec6f44c94e78a1d (patch) | |
tree | 7d37ee007ee2d3b031d62ca892920d326758f438 /subprojects/language-model/src/main | |
parent | refactor: DNF query builder (diff) | |
download | refinery-960af83c7c1cb871da03b9ac4ec6f44c94e78a1d.tar.gz refinery-960af83c7c1cb871da03b9ac4ec6f44c94e78a1d.tar.zst refinery-960af83c7c1cb871da03b9ac4ec6f44c94e78a1d.zip |
refactor: DNF atoms
Restore count != capability.
Still needs semantics and tests for count atoms over partial models.
Diffstat (limited to 'subprojects/language-model/src/main')
-rw-r--r-- | subprojects/language-model/src/main/resources/model/problem.ecore | 1 | ||||
-rw-r--r-- | subprojects/language-model/src/main/resources/model/problem.genmodel | 1 |
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 0106dd61..4ef023c1 100644 --- a/subprojects/language-model/src/main/resources/model/problem.ecore +++ b/subprojects/language-model/src/main/resources/model/problem.ecore | |||
@@ -191,6 +191,7 @@ | |||
191 | <eLiterals name="GREATER" value="2"/> | 191 | <eLiterals name="GREATER" value="2"/> |
192 | <eLiterals name="GREATER_EQ" value="3"/> | 192 | <eLiterals name="GREATER_EQ" value="3"/> |
193 | <eLiterals name="EQ" value="4"/> | 193 | <eLiterals name="EQ" value="4"/> |
194 | <eLiterals name="NOT_EQ" value="5"/> | ||
194 | </eClassifiers> | 195 | </eClassifiers> |
195 | <eClassifiers xsi:type="ecore:EEnum" name="ReferenceKind"> | 196 | <eClassifiers xsi:type="ecore:EEnum" name="ReferenceKind"> |
196 | <eLiterals name="DEFAULT"/> | 197 | <eLiterals name="DEFAULT"/> |
diff --git a/subprojects/language-model/src/main/resources/model/problem.genmodel b/subprojects/language-model/src/main/resources/model/problem.genmodel index da70f922..9ff4989b 100644 --- a/subprojects/language-model/src/main/resources/model/problem.genmodel +++ b/subprojects/language-model/src/main/resources/model/problem.genmodel | |||
@@ -28,6 +28,7 @@ | |||
28 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//ComparisonOp/GREATER"/> | 28 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//ComparisonOp/GREATER"/> |
29 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//ComparisonOp/GREATER_EQ"/> | 29 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//ComparisonOp/GREATER_EQ"/> |
30 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//ComparisonOp/EQ"/> | 30 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//ComparisonOp/EQ"/> |
31 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//ComparisonOp/NOT_EQ"/> | ||
31 | </genEnums> | 32 | </genEnums> |
32 | <genEnums typeSafeEnumCompatible="false" ecoreEnum="problem.ecore#//ReferenceKind"> | 33 | <genEnums typeSafeEnumCompatible="false" ecoreEnum="problem.ecore#//ReferenceKind"> |
33 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//ReferenceKind/DEFAULT"/> | 34 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//ReferenceKind/DEFAULT"/> |