diff options
author | 2023-09-14 19:29:36 +0200 | |
---|---|---|
committer | 2023-09-14 19:29:36 +0200 | |
commit | 98ed3b6db5f4e51961a161050cc31c66015116e8 (patch) | |
tree | 8bfd6d9bc8d6ed23b9eb0f889dd40b6c24fe8f92 /subprojects/store/src/main/java/tools/refinery/store/map/internal/delta/VersionedMapDeltaImpl.java | |
parent | Merge pull request #38 from nagilooh/design-space-exploration (diff) | |
parent | Merge remote-tracking branch 'upstream/main' into partial-interpretation (diff) | |
download | refinery-98ed3b6db5f4e51961a161050cc31c66015116e8.tar.gz refinery-98ed3b6db5f4e51961a161050cc31c66015116e8.tar.zst refinery-98ed3b6db5f4e51961a161050cc31c66015116e8.zip |
Merge pull request #39 from kris7t/partial-interpretation
Implement partial interpretation based model generation
Diffstat (limited to 'subprojects/store/src/main/java/tools/refinery/store/map/internal/delta/VersionedMapDeltaImpl.java')
-rw-r--r-- | subprojects/store/src/main/java/tools/refinery/store/map/internal/delta/VersionedMapDeltaImpl.java | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/subprojects/store/src/main/java/tools/refinery/store/map/internal/delta/VersionedMapDeltaImpl.java b/subprojects/store/src/main/java/tools/refinery/store/map/internal/delta/VersionedMapDeltaImpl.java index c19cc817..8be42712 100644 --- a/subprojects/store/src/main/java/tools/refinery/store/map/internal/delta/VersionedMapDeltaImpl.java +++ b/subprojects/store/src/main/java/tools/refinery/store/map/internal/delta/VersionedMapDeltaImpl.java | |||
@@ -5,10 +5,9 @@ | |||
5 | */ | 5 | */ |
6 | package tools.refinery.store.map.internal.delta; | 6 | package tools.refinery.store.map.internal.delta; |
7 | 7 | ||
8 | import java.util.*; | ||
9 | |||
10 | import tools.refinery.store.map.*; | 8 | import tools.refinery.store.map.*; |
11 | import tools.refinery.store.map.IteratorAsCursor; | 9 | |
10 | import java.util.*; | ||
12 | 11 | ||
13 | public class VersionedMapDeltaImpl<K, V> implements VersionedMap<K, V> { | 12 | public class VersionedMapDeltaImpl<K, V> implements VersionedMap<K, V> { |
14 | protected final VersionedMapStoreDeltaImpl<K, V> store; | 13 | protected final VersionedMapStoreDeltaImpl<K, V> store; |
@@ -24,7 +23,7 @@ public class VersionedMapDeltaImpl<K, V> implements VersionedMap<K, V> { | |||
24 | this.store = store; | 23 | this.store = store; |
25 | this.defaultValue = defaultValue; | 24 | this.defaultValue = defaultValue; |
26 | 25 | ||
27 | current = new HashMap<>(); | 26 | current = new LinkedHashMap<>(); |
28 | if (summarizeChanges) { | 27 | if (summarizeChanges) { |
29 | this.uncommittedStore = new UncommittedDeltaMapStore<>(this); | 28 | this.uncommittedStore = new UncommittedDeltaMapStore<>(this); |
30 | } else { | 29 | } else { |