diff options
Diffstat (limited to 'subprojects/language/src')
-rw-r--r-- | subprojects/language/src/main/java/tools/refinery/language/utils/ProblemUtil.java | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/subprojects/language/src/main/java/tools/refinery/language/utils/ProblemUtil.java b/subprojects/language/src/main/java/tools/refinery/language/utils/ProblemUtil.java index bac274b0..03b0c729 100644 --- a/subprojects/language/src/main/java/tools/refinery/language/utils/ProblemUtil.java +++ b/subprojects/language/src/main/java/tools/refinery/language/utils/ProblemUtil.java | |||
@@ -66,6 +66,10 @@ public final class ProblemUtil { | |||
66 | } | 66 | } |
67 | 67 | ||
68 | public static boolean hasMultiplicityConstraint(ReferenceDeclaration referenceDeclaration) { | 68 | public static boolean hasMultiplicityConstraint(ReferenceDeclaration referenceDeclaration) { |
69 | var opposite = referenceDeclaration.getOpposite(); | ||
70 | if (opposite != null && opposite.getKind() == ReferenceKind.CONTAINMENT) { | ||
71 | return false; | ||
72 | } | ||
69 | var multiplicity = referenceDeclaration.getMultiplicity(); | 73 | var multiplicity = referenceDeclaration.getMultiplicity(); |
70 | if (multiplicity instanceof UnboundedMultiplicity) { | 74 | if (multiplicity instanceof UnboundedMultiplicity) { |
71 | return false; | 75 | return false; |