From eb5da232b5954895b449957c73e35d0b36e3a902 Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Thu, 17 Aug 2023 02:32:26 +0200 Subject: feat: basic semantics mapping and visualization --- .../src/main/java/tools/refinery/language/utils/ProblemUtil.java | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'subprojects/language/src/main/java') 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 { } public static boolean hasMultiplicityConstraint(ReferenceDeclaration referenceDeclaration) { + var opposite = referenceDeclaration.getOpposite(); + if (opposite != null && opposite.getKind() == ReferenceKind.CONTAINMENT) { + return false; + } var multiplicity = referenceDeclaration.getMultiplicity(); if (multiplicity instanceof UnboundedMultiplicity) { return false; -- cgit v1.2.3-54-g00ecf