diff options
author | 2023-08-08 21:49:23 +0200 | |
---|---|---|
committer | 2023-08-08 22:04:57 +0200 | |
commit | 2dae95bdf2ea309f7b8a172698d5b9c26ca5c7e5 (patch) | |
tree | 8c0d7735388350d20b70c63fa809a57960108a97 /subprojects/store-dse/src/main | |
parent | Merge remote-tracking branch 'graphs4value/main' into design-space-exploration (diff) | |
download | refinery-2dae95bdf2ea309f7b8a172698d5b9c26ca5c7e5.tar.gz refinery-2dae95bdf2ea309f7b8a172698d5b9c26ca5c7e5.tar.zst refinery-2dae95bdf2ea309f7b8a172698d5b9c26ca5c7e5.zip |
Improve BestFirstStrategy performance
Diffstat (limited to 'subprojects/store-dse/src/main')
-rw-r--r-- | subprojects/store-dse/src/main/java/tools/refinery/store/dse/strategy/BestFirstStrategy.java | 1 |
1 files changed, 0 insertions, 1 deletions
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 { | |||
195 | } | 195 | } |
196 | 196 | ||
197 | // State is fully traversed. | 197 | // State is fully traversed. |
198 | trajectoriesToExplore.remove(currentTrajectoryWithFitness); | ||
199 | currentTrajectoryWithFitness = null; | 198 | currentTrajectoryWithFitness = null; |
200 | 199 | ||
201 | } | 200 | } |