From 7f2df1ba80aac7e1c5e99315bf5a8e32ad7456da Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Fri, 21 Jul 2023 02:18:06 +0200 Subject: feat: custom connected component RETE node --- .../main/java/tools/refinery/store/reasoning/lifting/ClauseLifter.java | 2 ++ .../src/main/java/tools/refinery/store/reasoning/lifting/DnfLifter.java | 2 +- 2 files changed, 3 insertions(+), 1 deletion(-) (limited to 'subprojects/store-reasoning/src/main/java/tools') diff --git a/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/lifting/ClauseLifter.java b/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/lifting/ClauseLifter.java index 7bf092a3..89e948dc 100644 --- a/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/lifting/ClauseLifter.java +++ b/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/lifting/ClauseLifter.java @@ -74,6 +74,8 @@ class ClauseLifter { throw new IllegalArgumentException("Count literal %s cannot be lifted".formatted(literal)); } else if (literal instanceof AggregationLiteral) { throw new IllegalArgumentException("Aggregation literal %s cannot be lifted".formatted(literal)); + } else if (literal instanceof RepresentativeElectionLiteral) { + throw new IllegalArgumentException("SCC literal %s cannot be lifted".formatted(literal)); } else { throw new IllegalArgumentException("Unknown literal to lift: " + literal); } diff --git a/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/lifting/DnfLifter.java b/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/lifting/DnfLifter.java index 6ac3efc0..f878b674 100644 --- a/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/lifting/DnfLifter.java +++ b/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/lifting/DnfLifter.java @@ -23,7 +23,7 @@ public class DnfLifter { return query.withDnf(liftedDnf); } - public RelationalQuery lift(Modality modality, Concreteness concreteness, RelationalQuery query) { + public RelationalQuery lift(Modality modality, Concreteness concreteness, RelationalQuery query) { var liftedDnf = lift(modality, concreteness, query.getDnf()); return query.withDnf(liftedDnf); } -- cgit v1.2.3-54-g00ecf