feat: basic semantics mapping and visualization

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 {
         }
 
         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;