From d9c0a414dffe1795219e7d37b0c067306fd7540e Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Fri, 1 Dec 2023 19:17:45 +0100 Subject: fix: lower multiplicity objective We were spuriously counting lower multiplicity errors for non-existent objects. --- .../translator/multiplicity/InvalidMultiplicityErrorTranslator.java | 1 + 1 file changed, 1 insertion(+) (limited to 'subprojects/store-reasoning') 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 )); missingBuilder.clause(Integer.class, existingContents -> List.of( candidateMust(nodeType.call(node)), + candidateMust(ReasoningAdapter.EXISTS_SYMBOL.call(node)), new CountCandidateLowerBoundLiteral(existingContents, linkType, arguments), missingOutput.assign(sub(constant(lowerBound), existingContents)), check(greater(missingOutput, constant(0))) -- cgit v1.2.3-54-g00ecf