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/frontend | |
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/frontend')
-rw-r--r-- | subprojects/frontend/src/language/problem.grammar | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/subprojects/frontend/src/language/problem.grammar b/subprojects/frontend/src/language/problem.grammar index 1e1ef70f..d630b9c4 100644 --- a/subprojects/frontend/src/language/problem.grammar +++ b/subprojects/frontend/src/language/problem.grammar | |||
@@ -153,7 +153,7 @@ sep1<separator, content> { content (separator content)* } | |||
153 | "\"" (![\\"\n] | "\\" (![\n] | "\n"))* "\"" | 153 | "\"" (![\\"\n] | "\\" (![\n] | "\n"))* "\"" |
154 | } | 154 | } |
155 | 155 | ||
156 | ComparisonOp { ">" | ">=" | "<" | "<=" | "==" } | 156 | ComparisonOp { ">" | ">=" | "<" | "<=" | "==" | "!=" } |
157 | 157 | ||
158 | NotOp { "!" } | 158 | NotOp { "!" } |
159 | 159 | ||