From f7c9414c4bcc8a48cbc1c25879e9c8eafe772320 Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Sun, 24 Dec 2023 17:28:11 +0100 Subject: feat: command line model generator --- .../java/tools/refinery/store/dse/strategy/BestFirstExplorer.java | 4 ++-- .../java/tools/refinery/store/dse/strategy/BestFirstStoreManager.java | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) (limited to 'subprojects/store-dse/src') 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 ce3efb21..22f38ca9 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 @@ -10,10 +10,10 @@ import tools.refinery.store.model.Model; import java.util.Random; public class BestFirstExplorer extends BestFirstWorker { - final int id; + final long id; Random random; - public BestFirstExplorer(BestFirstStoreManager storeManager, Model model, int id) { + public BestFirstExplorer(BestFirstStoreManager storeManager, Model model, long id) { super(storeManager, model); this.id = id; // The use of a non-cryptographic random generator is safe here, because we only use it to direct the state diff --git a/subprojects/store-dse/src/main/java/tools/refinery/store/dse/strategy/BestFirstStoreManager.java b/subprojects/store-dse/src/main/java/tools/refinery/store/dse/strategy/BestFirstStoreManager.java index 3d32f84c..c20ab9a0 100644 --- a/subprojects/store-dse/src/main/java/tools/refinery/store/dse/strategy/BestFirstStoreManager.java +++ b/subprojects/store-dse/src/main/java/tools/refinery/store/dse/strategy/BestFirstStoreManager.java @@ -79,7 +79,7 @@ public class BestFirstStoreManager { startExploration(initial, 1); } - public void startExploration(Version initial, int randomSeed) { + public void startExploration(Version initial, long randomSeed) { BestFirstExplorer bestFirstExplorer = new BestFirstExplorer(this, modelStore.createModelForState(initial), randomSeed); bestFirstExplorer.explore(); -- cgit v1.2.3-54-g00ecf