This commit is contained in:
Florian Steurer 2016-04-22 16:11:18 +02:00
parent 752723020e
commit 8fa8fc8758

View File

@ -134,9 +134,14 @@ public class TypeUnify {
Set<Set<UnifyPair>> eqPrimePrimeSet = new HashSet<>(); Set<Set<UnifyPair>> eqPrimePrimeSet = new HashSet<>();
// Flatten the cartesian product
// TODO parallelisierung möglich (scheint sich nicht zu lohnen) // 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<Set<UnifyPair>> setToFlatten : eqPrimeSet) { for(Set<Set<UnifyPair>> setToFlatten : eqPrimeSet) {
// Flatten the cartesian product
Set<UnifyPair> eqPrime = new HashSet<>(); Set<UnifyPair> eqPrime = new HashSet<>();
setToFlatten.stream().forEach(x -> eqPrime.addAll(x)); setToFlatten.stream().forEach(x -> eqPrime.addAll(x));