2 Commits

Author SHA1 Message Date
NoName11234
dc72ae80fc Merge branch 'performanceTestBase' into performanceTestRecursionOptimization 2024-05-02 15:56:46 +02:00
NoName11234
7e84aa0a2b added option for printing out calculated solution in file 2024-05-02 15:56:03 +02:00
2 changed files with 15 additions and 2024 deletions

View File

@@ -130,7 +130,7 @@ public class TypeUnifyTask extends RecursiveTask<Set<Set<UnifyPair>>> {
volatile UnifyTaskModel usedTasks;
static Writer statistics;
protected volatile ConstraintSetRepository constraintSetRepository;
protected ConstraintSetRepository constraintSetRepository;
public TypeUnifyTask() {
rules = new RuleSet();

File diff suppressed because it is too large Load Diff