feat: cancellation token for ModelStore

1 files changed, 2 insertions, 7 deletions

diff --git a/subprojects/store-dse/src/main/java/tools/refinery/store/dse/strategy/BestFirstExplorer.java b/subprojects/store-dse/src/main/java/tools/refinery/store/dse/strategy/BestFirstExplorer.java
index 4a75a3a6..5e2f8fa9 100644
--- a/subprojects/store-dse/src/main/java/tools/refinery/store/dse/strategy/BestFirstExplorer.java
+++ b/subprojects/store-dse/src/main/java/tools/refinery/store/dse/strategy/BestFirstExplorer.java
@@ -19,14 +19,9 @@ public class BestFirstExplorer extends BestFirstWorker {
                 this.random = new Random(id);
         }
 
-        private boolean interrupted = false;
-
-        public void interrupt() {
-                this.interrupted = true;
-        }
-
         private boolean shouldRun() {
-                return !interrupted && !hasEnoughSolution();
+                model.checkCancelled();
+                return !hasEnoughSolution();
         }
 
         public void explore() {