aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/store
diff options
context:
space:
mode:
authorLibravatar nagilooh <ficsorattila96@gmail.com>2023-07-21 16:49:53 +0200
committerLibravatar nagilooh <ficsorattila96@gmail.com>2023-07-26 00:11:53 +0200
commitb34d844a40d0bc4095df6e4d7c4fad4eec2d919b (patch)
tree3abbf039176a432cd4c012ce0fd50fae4be53ca4 /subprojects/store
parentMerge pull request #30 from OszkarSemerath/datastructure (diff)
downloadrefinery-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')
-rw-r--r--subprojects/store/src/main/java/tools/refinery/store/model/internal/ModelStoreBuilderImpl.java6
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);