diff options
author | Kristóf Marussy <kristof@marussy.com> | 2022-10-30 19:27:34 -0400 |
---|---|---|
committer | Kristóf Marussy <kristof@marussy.com> | 2022-11-05 19:41:17 +0100 |
commit | 960af83c7c1cb871da03b9ac4ec6f44c94e78a1d (patch) | |
tree | 7d37ee007ee2d3b031d62ca892920d326758f438 /subprojects/language-model/src/main/resources/model/problem.ecore | |
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/resources/model/problem.ecore')
-rw-r--r-- | subprojects/language-model/src/main/resources/model/problem.ecore | 1 |
1 files changed, 1 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"/> |