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/src/language | |
| 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/src/language')
| -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 | ||