diff options
| author |  Kristóf Marussy <kristof@marussy.com> | 2022-11-19 14:00:12 +0100 |
|---|---|---|
| committer | Kristóf Marussy <kristof@marussy.com> | 2022-11-22 16:40:03 +0100 |
| commit | 383137c190cab040d2609f8295ef822c3917b88d (patch) | |
| tree | d0d88528de2020da51cb6e92459b84cf63609feb /subprojects/language/src/main/resources | |
| parent | chore(deps): bump dependencies (diff) | |
| download | refinery-383137c190cab040d2609f8295ef822c3917b88d.tar.gz refinery-383137c190cab040d2609f8295ef822c3917b88d.tar.zst refinery-383137c190cab040d2609f8295ef822c3917b88d.zip | |
feat(language): numeric expressions
Diffstat (limited to 'subprojects/language/src/main/resources')
| -rw-r--r-- | subprojects/language/src/main/resources/tools/refinery/language/builtin.problem | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/subprojects/language/src/main/resources/tools/refinery/language/builtin.problem b/subprojects/language/src/main/resources/tools/refinery/language/builtin.problem index 2f7c667a..38e77237 100644 --- a/subprojects/language/src/main/resources/tools/refinery/language/builtin.problem +++ b/subprojects/language/src/main/resources/tools/refinery/language/builtin.problem | |||
| @@ -30,7 +30,7 @@ pred root(node node). | |||
| 30 | % !contains(node, _), !root(node). | 30 | % !contains(node, _), !root(node). |
| 31 | % | 31 | % |
| 32 | % error tooManyContainers(contained node) <-> | 32 | % error tooManyContainers(contained node) <-> |
| 33 | % count contains(_, node) > 1 | 33 | % #contains(_, node) > 1 |
| 34 | % ; | 34 | % ; |
| 35 | % contains(_, node), root(node) | 35 | % contains(_, node), root(node) |
| 36 | % ; | 36 | % ; |