diff options
| author |  Kristóf Marussy <kristof@marussy.com> | 2024-07-01 20:54:43 +0200 |
|---|---|---|
| committer | Kristóf Marussy <kristof@marussy.com> | 2024-07-01 20:54:43 +0200 |
| commit | a9e7d00503c7b7db79fd1dd4f71cc1724473e2aa (patch) | |
| tree | c06ace162acef62766b86e39d22ccf2b8ca02e79 /subprojects/store-reasoning/src/main | |
| parent | refactor(language): change computed value symbol (diff) | |
| download | refinery-a9e7d00503c7b7db79fd1dd4f71cc1724473e2aa.tar.gz refinery-a9e7d00503c7b7db79fd1dd4f71cc1724473e2aa.tar.zst refinery-a9e7d00503c7b7db79fd1dd4f71cc1724473e2aa.zip | |
refactor(language): shadow predicates instead of computed value operator
Diffstat (limited to 'subprojects/store-reasoning/src/main')
| -rw-r--r-- | subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/literal/ComputedConstraint.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/literal/ComputedConstraint.java b/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/literal/ComputedConstraint.java index 7aaa6da7..d570211c 100644 --- a/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/literal/ComputedConstraint.java +++ b/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/literal/ComputedConstraint.java | |||
| @@ -51,6 +51,6 @@ public record ComputedConstraint(PartialRelation partialRelation) implements Con | |||
| 51 | } | 51 | } |
| 52 | 52 | ||
| 53 | private String formatName(String constraintName) { | 53 | private String formatName(String constraintName) { |
| 54 | return constraintName + "$"; | 54 | return "@Computed " + constraintName; |
| 55 | } | 55 | } |
| 56 | } | 56 | } |