diff options
-rw-r--r-- | subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/translator/multiplicity/InvalidMultiplicityErrorTranslator.java | 2 |
1 files changed, 2 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 ee982f4f..ba208156 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 | |||
@@ -11,6 +11,7 @@ import tools.refinery.store.model.ModelStoreConfiguration; | |||
11 | import tools.refinery.store.query.dnf.Query; | 11 | import tools.refinery.store.query.dnf.Query; |
12 | import tools.refinery.store.query.term.Variable; | 12 | import tools.refinery.store.query.term.Variable; |
13 | import tools.refinery.store.query.term.int_.IntTerms; | 13 | import tools.refinery.store.query.term.int_.IntTerms; |
14 | import tools.refinery.store.reasoning.ReasoningAdapter; | ||
14 | import tools.refinery.store.reasoning.lifting.DnfLifter; | 15 | import tools.refinery.store.reasoning.lifting.DnfLifter; |
15 | import tools.refinery.store.reasoning.literal.*; | 16 | import tools.refinery.store.reasoning.literal.*; |
16 | import tools.refinery.store.reasoning.representation.PartialRelation; | 17 | import tools.refinery.store.reasoning.representation.PartialRelation; |
@@ -119,6 +120,7 @@ public class InvalidMultiplicityErrorTranslator implements ModelStoreConfigurati | |||
119 | )); | 120 | )); |
120 | missingBuilder.clause(Integer.class, existingContents -> List.of( | 121 | missingBuilder.clause(Integer.class, existingContents -> List.of( |
121 | candidateMust(nodeType.call(node)), | 122 | candidateMust(nodeType.call(node)), |
123 | candidateMust(ReasoningAdapter.EXISTS_SYMBOL.call(node)), | ||
122 | new CountCandidateUpperBoundLiteral(existingContents, linkType, arguments), | 124 | new CountCandidateUpperBoundLiteral(existingContents, linkType, arguments), |
123 | missingOutput.assign(sub(existingContents, constant(upperBound))), | 125 | missingOutput.assign(sub(existingContents, constant(upperBound))), |
124 | check(greater(missingOutput, constant(0))) | 126 | check(greater(missingOutput, constant(0))) |