diff options
author | Kristóf Marussy <kristof@marussy.com> | 2023-12-01 19:17:45 +0100 |
---|---|---|
committer | Kristóf Marussy <kristof@marussy.com> | 2023-12-01 19:19:45 +0100 |
commit | d9c0a414dffe1795219e7d37b0c067306fd7540e (patch) | |
tree | c2e5745b726e3d999c10024627de241cbc557231 /subprojects | |
parent | Merge pull request #48 from kris7t/validator (diff) | |
download | refinery-d9c0a414dffe1795219e7d37b0c067306fd7540e.tar.gz refinery-d9c0a414dffe1795219e7d37b0c067306fd7540e.tar.zst refinery-d9c0a414dffe1795219e7d37b0c067306fd7540e.zip |
fix: lower multiplicity objective
We were spuriously counting lower multiplicity errors for non-existent objects.
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))) |