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 0000000..ac84ce5 --- /dev/null +++ b/src/main/java/de/dhbwstuttgart/typeinference/unify/UnifyTaskModelParallel.java @@ -0,0 +1,18 @@ +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(){ + if(this.pool != null){ + this.pool.shutdown(); + } + } +}