diff options
Diffstat (limited to 'subprojects/store-query/src/main/java/tools/refinery/store/query/dnf/ClausePostProcessor.java')
-rw-r--r-- | subprojects/store-query/src/main/java/tools/refinery/store/query/dnf/ClausePostProcessor.java | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/subprojects/store-query/src/main/java/tools/refinery/store/query/dnf/ClausePostProcessor.java b/subprojects/store-query/src/main/java/tools/refinery/store/query/dnf/ClausePostProcessor.java index dd45ecd4..b5e7092b 100644 --- a/subprojects/store-query/src/main/java/tools/refinery/store/query/dnf/ClausePostProcessor.java +++ b/subprojects/store-query/src/main/java/tools/refinery/store/query/dnf/ClausePostProcessor.java | |||
@@ -106,7 +106,7 @@ class ClausePostProcessor { | |||
106 | private Set<NodeVariable> getEquivalentVariables(NodeVariable variable) { | 106 | private Set<NodeVariable> getEquivalentVariables(NodeVariable variable) { |
107 | var representative = getRepresentative(variable); | 107 | var representative = getRepresentative(variable); |
108 | if (!representative.equals(variable)) { | 108 | if (!representative.equals(variable)) { |
109 | throw new IllegalStateException("NodeVariable %s already has a representative %s" | 109 | throw new AssertionError("NodeVariable %s already has a representative %s" |
110 | .formatted(variable, representative)); | 110 | .formatted(variable, representative)); |
111 | } | 111 | } |
112 | return equivalencePartition.computeIfAbsent(variable, key -> { | 112 | return equivalencePartition.computeIfAbsent(variable, key -> { |
@@ -249,7 +249,7 @@ class ClausePostProcessor { | |||
249 | 249 | ||
250 | private void bindVariable(Variable input) { | 250 | private void bindVariable(Variable input) { |
251 | if (!remainingInputs.remove(input)) { | 251 | if (!remainingInputs.remove(input)) { |
252 | throw new IllegalStateException("Already processed input %s of literal %s".formatted(input, literal)); | 252 | throw new AssertionError("Already processed input %s of literal %s".formatted(input, literal)); |
253 | } | 253 | } |
254 | if (allInputsBound()) { | 254 | if (allInputsBound()) { |
255 | addToAllInputsBoundQueue(); | 255 | addToAllInputsBoundQueue(); |