diff options
author | 2023-07-21 16:49:53 +0200 | |
---|---|---|
committer | 2023-07-26 00:11:53 +0200 | |
commit | b34d844a40d0bc4095df6e4d7c4fad4eec2d919b (patch) | |
tree | 3abbf039176a432cd4c012ce0fd50fae4be53ca4 /subprojects/store/src/main/java/tools | |
parent | Merge pull request #30 from OszkarSemerath/datastructure (diff) | |
download | refinery-b34d844a40d0bc4095df6e4d7c4fad4eec2d919b.tar.gz refinery-b34d844a40d0bc4095df6e4d7c4fad4eec2d919b.tar.zst refinery-b34d844a40d0bc4095df6e4d7c4fad4eec2d919b.zip |
Add Design space exploration and DFS strategy
- Transformation rules
- Design Space Exploration adapter
- Depth First Strategy
Diffstat (limited to 'subprojects/store/src/main/java/tools')
-rw-r--r-- | subprojects/store/src/main/java/tools/refinery/store/model/internal/ModelStoreBuilderImpl.java | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/subprojects/store/src/main/java/tools/refinery/store/model/internal/ModelStoreBuilderImpl.java b/subprojects/store/src/main/java/tools/refinery/store/model/internal/ModelStoreBuilderImpl.java index aafbe130..24d4088a 100644 --- a/subprojects/store/src/main/java/tools/refinery/store/model/internal/ModelStoreBuilderImpl.java +++ b/subprojects/store/src/main/java/tools/refinery/store/model/internal/ModelStoreBuilderImpl.java | |||
@@ -59,13 +59,13 @@ public class ModelStoreBuilderImpl implements ModelStoreBuilder { | |||
59 | 59 | ||
60 | @Override | 60 | @Override |
61 | public ModelStore build() { | 61 | public ModelStore build() { |
62 | for (int i = adapters.size() - 1; i >= 0; i--) { | ||
63 | adapters.get(i).configure(this); | ||
64 | } | ||
62 | var stores = new HashMap<AnySymbol, VersionedMapStore<Tuple, ?>>(allSymbols.size()); | 65 | var stores = new HashMap<AnySymbol, VersionedMapStore<Tuple, ?>>(allSymbols.size()); |
63 | for (var entry : equivalenceClasses.entrySet()) { | 66 | for (var entry : equivalenceClasses.entrySet()) { |
64 | createStores(stores, entry.getKey(), entry.getValue()); | 67 | createStores(stores, entry.getKey(), entry.getValue()); |
65 | } | 68 | } |
66 | for (int i = adapters.size() - 1; i >= 0; i--) { | ||
67 | adapters.get(i).configure(this); | ||
68 | } | ||
69 | var modelStore = new ModelStoreImpl(stores, adapters.size()); | 69 | var modelStore = new ModelStoreImpl(stores, adapters.size()); |
70 | for (var adapterBuilder : adapters) { | 70 | for (var adapterBuilder : adapters) { |
71 | var storeAdapter = adapterBuilder.build(modelStore); | 71 | var storeAdapter = adapterBuilder.build(modelStore); |