diff options
Diffstat (limited to 'subprojects/store-reasoning/src')
2 files changed, 3 insertions, 1 deletions
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 { | |||
74 | throw new IllegalArgumentException("Count literal %s cannot be lifted".formatted(literal)); | 74 | throw new IllegalArgumentException("Count literal %s cannot be lifted".formatted(literal)); |
75 | } else if (literal instanceof AggregationLiteral<?,?>) { | 75 | } else if (literal instanceof AggregationLiteral<?,?>) { |
76 | throw new IllegalArgumentException("Aggregation literal %s cannot be lifted".formatted(literal)); | 76 | throw new IllegalArgumentException("Aggregation literal %s cannot be lifted".formatted(literal)); |
77 | } else if (literal instanceof RepresentativeElectionLiteral) { | ||
78 | throw new IllegalArgumentException("SCC literal %s cannot be lifted".formatted(literal)); | ||
77 | } else { | 79 | } else { |
78 | throw new IllegalArgumentException("Unknown literal to lift: " + literal); | 80 | throw new IllegalArgumentException("Unknown literal to lift: " + literal); |
79 | } | 81 | } |
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 { | |||
23 | return query.withDnf(liftedDnf); | 23 | return query.withDnf(liftedDnf); |
24 | } | 24 | } |
25 | 25 | ||
26 | public <T> RelationalQuery lift(Modality modality, Concreteness concreteness, RelationalQuery query) { | 26 | public RelationalQuery lift(Modality modality, Concreteness concreteness, RelationalQuery query) { |
27 | var liftedDnf = lift(modality, concreteness, query.getDnf()); | 27 | var liftedDnf = lift(modality, concreteness, query.getDnf()); |
28 | return query.withDnf(liftedDnf); | 28 | return query.withDnf(liftedDnf); |
29 | } | 29 | } |