diff options
| author |  Kristóf Marussy <kristof@marussy.com> | 2023-07-21 02:18:06 +0200 |
|---|---|---|
| committer | Kristóf Marussy <kristof@marussy.com> | 2023-07-23 13:14:24 +0200 |
| commit | 7f2df1ba80aac7e1c5e99315bf5a8e32ad7456da (patch) | |
| tree | d0a4c5e7104d054c6f77d1920a1459993726808c /subprojects/store-reasoning/src/main | |
| parent | feat: partial interpretation for type hierarchy (diff) | |
| download | refinery-7f2df1ba80aac7e1c5e99315bf5a8e32ad7456da.tar.gz refinery-7f2df1ba80aac7e1c5e99315bf5a8e32ad7456da.tar.zst refinery-7f2df1ba80aac7e1c5e99315bf5a8e32ad7456da.zip | |
feat: custom connected component RETE node
Diffstat (limited to 'subprojects/store-reasoning/src/main')
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 | } |