diff options
| author |  Kristóf Marussy <kristof@marussy.com> | 2023-05-01 23:53:01 +0200 |
|---|---|---|
| committer | Kristóf Marussy <kristof@marussy.com> | 2023-05-03 15:51:36 +0200 |
| commit | f3e42e7a09140fb68af534aca3e8df02c6c46ec7 (patch) | |
| tree | 29be3e8c8840b5bca10c8c15fc6673cc23fe6814 /subprojects/store-reasoning | |
| parent | refactor: avoid unnecessary Literal substitutions (diff) | |
| download | refinery-f3e42e7a09140fb68af534aca3e8df02c6c46ec7.tar.gz refinery-f3e42e7a09140fb68af534aca3e8df02c6c46ec7.tar.zst refinery-f3e42e7a09140fb68af534aca3e8df02c6c46ec7.zip | |
feat: count and aggregation literal reduction
Diffstat (limited to 'subprojects/store-reasoning')
| -rw-r--r-- | subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/literal/ModalConstraint.java | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/literal/ModalConstraint.java b/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/literal/ModalConstraint.java index ce557d82..5ad1d5f8 100644 --- a/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/literal/ModalConstraint.java +++ b/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/literal/ModalConstraint.java | |||
| @@ -7,7 +7,7 @@ package tools.refinery.store.reasoning.literal; | |||
| 7 | 7 | ||
| 8 | import tools.refinery.store.query.Constraint; | 8 | import tools.refinery.store.query.Constraint; |
| 9 | import tools.refinery.store.query.equality.LiteralEqualityHelper; | 9 | import tools.refinery.store.query.equality.LiteralEqualityHelper; |
| 10 | import tools.refinery.store.query.literal.LiteralReduction; | 10 | import tools.refinery.store.query.Reduction; |
| 11 | import tools.refinery.store.query.term.Parameter; | 11 | import tools.refinery.store.query.term.Parameter; |
| 12 | 12 | ||
| 13 | import java.util.List; | 13 | import java.util.List; |
| @@ -26,7 +26,7 @@ public record ModalConstraint(Modality modality, Constraint constraint) implemen | |||
| 26 | } | 26 | } |
| 27 | 27 | ||
| 28 | @Override | 28 | @Override |
| 29 | public LiteralReduction getReduction() { | 29 | public Reduction getReduction() { |
| 30 | return constraint.getReduction(); | 30 | return constraint.getReduction(); |
| 31 | } | 31 | } |
| 32 | 32 | ||