From 45fa0ff0b9a986a0c3e4fa92a7481fa7ac3bd73f Mon Sep 17 00:00:00 2001 From: NoName11234 <47484268+NoName11234@users.noreply.github.com> Date: Sun, 28 Jan 2024 13:39:47 +0100 Subject: [PATCH] added class for terminating calculations --- .../unify/UnifyTaskModelParallel.java | 15 +++++++++++++++ 1 file changed, 15 insertions(+) create mode 100644 src/main/java/de/dhbwstuttgart/typeinference/unify/UnifyTaskModelParallel.java 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(); + } +}