From 2dae95bdf2ea309f7b8a172698d5b9c26ca5c7e5 Mon Sep 17 00:00:00 2001 From: Attila Ficsor Date: Tue, 8 Aug 2023 21:49:23 +0200 Subject: Improve BestFirstStrategy performance --- .../main/java/tools/refinery/store/dse/strategy/BestFirstStrategy.java | 1 - 1 file changed, 1 deletion(-) (limited to 'subprojects/store-dse/src/main/java') diff --git a/subprojects/store-dse/src/main/java/tools/refinery/store/dse/strategy/BestFirstStrategy.java b/subprojects/store-dse/src/main/java/tools/refinery/store/dse/strategy/BestFirstStrategy.java index 047b204a..92d878ce 100644 --- a/subprojects/store-dse/src/main/java/tools/refinery/store/dse/strategy/BestFirstStrategy.java +++ b/subprojects/store-dse/src/main/java/tools/refinery/store/dse/strategy/BestFirstStrategy.java @@ -195,7 +195,6 @@ public class BestFirstStrategy implements Strategy { } // State is fully traversed. - trajectoriesToExplore.remove(currentTrajectoryWithFitness); currentTrajectoryWithFitness = null; } -- cgit v1.2.3-54-g00ecf