fix(language): classes must be concretized

graphs4value · Dec 15, 2024 · 6f968a9 · 6f968a9
1 parent 0275049
commit 6f968a9
Showing 1 changed file with 6 additions and 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
@@ -215,6 +215,9 @@ public static boolean canDisableConcretization(Relation relation) {
 				(isContainmentReference(referenceDeclaration) || isContainerReference(referenceDeclaration))) {
 			return false;
 		}
+		if (relation instanceof ClassDeclaration) {
+			return false;
+		}
 		return isConcretizeByDefault(relation);
 	}
 
@@ -227,6 +230,9 @@ public static boolean canEnableDecision(Relation relation) {
 	}
 
 	public static boolean canDisableDecision(Relation relation) {
+		if (relation instanceof ClassDeclaration) {
+			return false;
+		}
 		return isDecideByDefault(relation);
 	}
 }