modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java

kleine Fehler
This commit is contained in:
Martin Plümicke 2018-10-24 14:05:20 +02:00
parent d7e59ecdc7
commit e6d8b92ffa

View File

@ -288,7 +288,7 @@ public class TypeUnifyTask extends RecursiveTask<Set<Set<UnifyPair>>> {
writeLog("No of Unify " + noou); writeLog("No of Unify " + noou);
System.out.println(noou); System.out.println(noou);
Set<UnifyPair> eq = new HashSet<>(); Set<UnifyPair> eq = new HashSet<>();
fstElems.stream().forEach(x -> eq.addAll(x)); elems.stream().forEach(x -> eq.addAll(x));
res = unify(eq, fc, parallel); res = unify(eq, fc, parallel);
} }
else {//duerfte gar nicht mehr vorkommen PL 2018-04-03 else {//duerfte gar nicht mehr vorkommen PL 2018-04-03
@ -349,7 +349,7 @@ public class TypeUnifyTask extends RecursiveTask<Set<Set<UnifyPair>>> {
} }
} }
else if (variance == 0) { else if (variance == 0) {
break; //break;
}} }}
} }
/* auskommentiert um alle Max und min Betrachtung auszuschalten ENDE */ /* auskommentiert um alle Max und min Betrachtung auszuschalten ENDE */