diff --git a/src/main/java/de/dhbwstuttgart/typeinference/unify/UnifyTaskModelParallel.java b/src/main/java/de/dhbwstuttgart/typeinference/unify/UnifyTaskModelParallel.java new file mode 100644 index 000000000..2d6bb040b --- /dev/null +++ b/src/main/java/de/dhbwstuttgart/typeinference/unify/UnifyTaskModelParallel.java @@ -0,0 +1,15 @@ +package de.dhbwstuttgart.typeinference.unify; + +import java.util.concurrent.ForkJoinPool; + +public class UnifyTaskModelParallel { + private ForkJoinPool pool; + + public void setPool(ForkJoinPool pool){ + this.pool = pool; + } + + public void cancel(){ + this.pool.shutdown(); + } +}