diff options
author | 2023-09-14 03:05:28 +0200 | |
---|---|---|
committer | 2023-09-14 03:43:26 +0200 | |
commit | 13b464db253566290be6a1063ad8e296288d3339 (patch) | |
tree | 29e0a9a346f66974d6c0be0482f511e9becab51c /subprojects/store-dse/src/main | |
parent | fix(frontend): keep live while model generation (diff) | |
download | refinery-13b464db253566290be6a1063ad8e296288d3339.tar.gz refinery-13b464db253566290be6a1063ad8e296288d3339.tar.zst refinery-13b464db253566290be6a1063ad8e296288d3339.zip |
feat: specify random seed for generation
Diffstat (limited to 'subprojects/store-dse/src/main')
-rw-r--r-- | subprojects/store-dse/src/main/java/tools/refinery/store/dse/strategy/BestFirstStoreManager.java | 11 |
1 files changed, 9 insertions, 2 deletions
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 02634a02..3d32f84c 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 | |||
@@ -44,11 +44,13 @@ public class BestFirstStoreManager { | |||
44 | equivalenceClassStore = new FastEquivalenceClassStore(modelStore.getAdapter(StateCoderStoreAdapter.class)) { | 44 | equivalenceClassStore = new FastEquivalenceClassStore(modelStore.getAdapter(StateCoderStoreAdapter.class)) { |
45 | @Override | 45 | @Override |
46 | protected void delegate(VersionWithObjectiveValue version, int[] emptyActivations, boolean accept) { | 46 | protected void delegate(VersionWithObjectiveValue version, int[] emptyActivations, boolean accept) { |
47 | throw new UnsupportedOperationException("This equivalence storage is not prepared to resolve symmetries!"); | 47 | throw new UnsupportedOperationException("This equivalence storage is not prepared to resolve " + |
48 | "symmetries!"); | ||
48 | } | 49 | } |
49 | }; | 50 | }; |
50 | visualizationStore = new VisualizationStoreImpl(); | 51 | visualizationStore = new VisualizationStoreImpl(); |
51 | } | 52 | } |
53 | |||
52 | public ModelStore getModelStore() { | 54 | public ModelStore getModelStore() { |
53 | return modelStore; | 55 | return modelStore; |
54 | } | 56 | } |
@@ -74,7 +76,12 @@ public class BestFirstStoreManager { | |||
74 | } | 76 | } |
75 | 77 | ||
76 | public void startExploration(Version initial) { | 78 | public void startExploration(Version initial) { |
77 | BestFirstExplorer bestFirstExplorer = new BestFirstExplorer(this, modelStore.createModelForState(initial), 1); | 79 | startExploration(initial, 1); |
80 | } | ||
81 | |||
82 | public void startExploration(Version initial, int randomSeed) { | ||
83 | BestFirstExplorer bestFirstExplorer = new BestFirstExplorer(this, modelStore.createModelForState(initial), | ||
84 | randomSeed); | ||
78 | bestFirstExplorer.explore(); | 85 | bestFirstExplorer.explore(); |
79 | } | 86 | } |
80 | } | 87 | } |