refactor(frontent): improve graph drawing

1 files changed, 4 insertions, 1 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 03b0c729..a9efc4bb 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
@@ -7,7 +7,6 @@ package tools.refinery.language.utils;
 
 import org.eclipse.emf.common.util.URI;
 import org.eclipse.emf.ecore.EObject;
-
 import tools.refinery.language.model.problem.*;
 
 public final class ProblemUtil {
@@ -50,6 +49,10 @@ public final class ProblemUtil {
                 }
         }
 
+        public static boolean isError(EObject eObject) {
+                return eObject instanceof PredicateDefinition predicateDefinition && predicateDefinition.isError();
+        }
+
         public static boolean isIndividualNode(Node node) {
                 var containingFeature = node.eContainingFeature();
                 return containingFeature == ProblemPackage.Literals.INDIVIDUAL_DECLARATION__NODES