From d6a79ea3a1092b50ea9fc03264f80c2e807b297d Mon Sep 17 00:00:00 2001
From: "pl@gohorb.ba-horb.de" <pl@gohorb.ba-horb.de>
Date: Tue, 11 Apr 2023 22:45:15 +0200
Subject: [PATCH] 	modified:  
 src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java

---
 .../de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java  | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java b/src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
index 997e475c9..198424bd2 100644
--- a/src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
+++ b/src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
@@ -1229,6 +1229,7 @@ public class TypeUnifyTask extends RecursiveTask<Set<Set<UnifyPair>>>  {
 					    || (!isUndefinedPairSetSet(res) && !isUndefinedPairSetSet(result))
 					    || result.isEmpty()) {
 						
+						/* auskommentiert damit alle Lösungen reinkommen ANFANG
 						if ((!result.isEmpty() && !res.isEmpty() && !isUndefinedPairSetSet(res) && !isUndefinedPairSetSet(result)) //korrekte Loesungen aus und-constraints
 							&& (a.stream().map(x-> (x.getBasePair() != null)).reduce(true, (x, y) -> (x && y)))) //bei oder-Constraints nicht ausfuehren
 						{
@@ -1304,7 +1305,9 @@ public class TypeUnifyTask extends RecursiveTask<Set<Set<UnifyPair>>>  {
 								writeLog("NullPointerException: " + a_last.toString());
 							}}
 						}
-						else {
+						else 
+						auskommentiert damit alle Lösungen reinkommen ANFANG */
+						{
 							//alle Fehlerfaelle und alle korrekten Ergebnis jeweils adden
 							writeLog("RES Fst: result: " + result.toString() + " res: " + res.toString());
 							result.addAll(res);