Compare commits
2 Commits
5f527980fc
...
604ee60000
Author | SHA1 | Date | |
---|---|---|---|
|
604ee60000 | ||
|
0ff307520c |
@@ -90,7 +90,7 @@ public class TypeUnifyTask extends RecursiveTask<Set<Set<UnifyPair>>> {
|
||||
static Writer statisticsFile = new NullWriter();
|
||||
|
||||
//Attribute für die Rekursionsoptimierung -> bereits in einem Thread berechnete Pfade kein zweites Mal berechnen
|
||||
protected volatile ConstraintSetRepository constraintSetRepository;
|
||||
protected ConstraintSetRepository constraintSetRepository;
|
||||
public boolean hasBeenCalculated = false;
|
||||
|
||||
public TypeUnifyTask() {
|
||||
|
Reference in New Issue
Block a user