diff options
author | 2023-05-01 23:53:01 +0200 | |
---|---|---|
committer | 2023-05-03 15:51:36 +0200 | |
commit | f3e42e7a09140fb68af534aca3e8df02c6c46ec7 (patch) | |
tree | 29be3e8c8840b5bca10c8c15fc6673cc23fe6814 /subprojects/store-reasoning/src | |
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/src')
-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 | ||