diff options
| author |  Kristóf Marussy <kristof@marussy.com> | 2022-08-10 18:07:00 +0200 |
|---|---|---|
| committer | Kristóf Marussy <kristof@marussy.com> | 2022-08-10 18:07:00 +0200 |
| commit | f0ad5f232acf41c421ec164fb3cf097ef93214ff (patch) | |
| tree | f0565984c69691a2f821979272ed417ddb3f869d /subprojects/language/src/main/resources | |
| parent | feat(language): add support for count operator (diff) | |
| download | refinery-f0ad5f232acf41c421ec164fb3cf097ef93214ff.tar.gz refinery-f0ad5f232acf41c421ec164fb3cf097ef93214ff.tar.zst refinery-f0ad5f232acf41c421ec164fb3cf097ef93214ff.zip | |
refactor(language): simplify count notation
Also change refinement operator based on feedback from colleagues
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 5e913b51..323e03f1 100644 --- a/subprojects/language/src/main/resources/tools/refinery/language/builtin.problem +++ b/subprojects/language/src/main/resources/tools/refinery/language/builtin.problem | |||
| @@ -1,7 +1,7 @@ | |||
| 1 | problem builtin. | 1 | problem builtin. |
| 2 | 2 | ||
| 3 | abstract class node { | 3 | abstract class node { |
| 4 | refers node[] equals opposite equals. | 4 | refers node[] equals opposite equals |
| 5 | } | 5 | } |
| 6 | 6 | ||
| 7 | pred exists(node node). | 7 | pred exists(node node). |