diff --git a/src/de/dhbwstuttgart/typeinference/unify/TypeUnify.java b/src/de/dhbwstuttgart/typeinference/unify/TypeUnify.java index 5d51f1371..d0af8c9ed 100644 --- a/src/de/dhbwstuttgart/typeinference/unify/TypeUnify.java +++ b/src/de/dhbwstuttgart/typeinference/unify/TypeUnify.java @@ -134,9 +134,14 @@ public class TypeUnify { Set> eqPrimePrimeSet = new HashSet<>(); - // Flatten the cartesian product // TODO parallelisierung möglich (scheint sich nicht zu lohnen) + /* + * Die Parallelisierung über parallelStream() ist langsamer als die serielle Ausführung, + * vermutlich wird zuviel thread-overhead erzeugt. + * Vermutlich ist die beste Lösung hier ein Fork-Join-Framework. + */ for(Set> setToFlatten : eqPrimeSet) { + // Flatten the cartesian product Set eqPrime = new HashSet<>(); setToFlatten.stream().forEach(x -> eqPrime.addAll(x));