diff options
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 | } |