From f3e42e7a09140fb68af534aca3e8df02c6c46ec7 Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Mon, 1 May 2023 23:53:01 +0200 Subject: feat: count and aggregation literal reduction --- .../java/tools/refinery/store/reasoning/literal/ModalConstraint.java | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'subprojects/store-reasoning/src') 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; import tools.refinery.store.query.Constraint; import tools.refinery.store.query.equality.LiteralEqualityHelper; -import tools.refinery.store.query.literal.LiteralReduction; +import tools.refinery.store.query.Reduction; import tools.refinery.store.query.term.Parameter; import java.util.List; @@ -26,7 +26,7 @@ public record ModalConstraint(Modality modality, Constraint constraint) implemen } @Override - public LiteralReduction getReduction() { + public Reduction getReduction() { return constraint.getReduction(); } -- cgit v1.2.3-70-g09d2