diff options
Diffstat (limited to 'subprojects')
-rw-r--r-- | subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/translator/multiplicity/InvalidMultiplicityErrorTranslator.java | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/translator/multiplicity/InvalidMultiplicityErrorTranslator.java b/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/translator/multiplicity/InvalidMultiplicityErrorTranslator.java index ba208156..a506d802 100644 --- a/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/translator/multiplicity/InvalidMultiplicityErrorTranslator.java +++ b/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/translator/multiplicity/InvalidMultiplicityErrorTranslator.java | |||
@@ -95,6 +95,7 @@ public class InvalidMultiplicityErrorTranslator implements ModelStoreConfigurati | |||
95 | )); | 95 | )); |
96 | missingBuilder.clause(Integer.class, existingContents -> List.of( | 96 | missingBuilder.clause(Integer.class, existingContents -> List.of( |
97 | candidateMust(nodeType.call(node)), | 97 | candidateMust(nodeType.call(node)), |
98 | candidateMust(ReasoningAdapter.EXISTS_SYMBOL.call(node)), | ||
98 | new CountCandidateLowerBoundLiteral(existingContents, linkType, arguments), | 99 | new CountCandidateLowerBoundLiteral(existingContents, linkType, arguments), |
99 | missingOutput.assign(sub(constant(lowerBound), existingContents)), | 100 | missingOutput.assign(sub(constant(lowerBound), existingContents)), |
100 | check(greater(missingOutput, constant(0))) | 101 | check(greater(missingOutput, constant(0))) |