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/store-reasoning/src | |
| 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/store-reasoning/src')
| -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))) |