From a155f6ba02e08a75ce6e474a86900b8363f506e8 Mon Sep 17 00:00:00 2001
From: Kristóf Marussy <marussy@mit.bme.hu>
Date: Wed, 29 Sep 2021 02:45:57 +0200
Subject: build: migration to Gradle 7

---
 .../data/map/VersionedMapStoreConfiguration.java   | 48 ++++++++++++++++++++++
 1 file changed, 48 insertions(+)
 create mode 100644 store/src/main/java/org/eclipse/viatra/solver/data/map/VersionedMapStoreConfiguration.java

(limited to 'store/src/main/java/org/eclipse/viatra/solver/data/map/VersionedMapStoreConfiguration.java')

diff --git a/store/src/main/java/org/eclipse/viatra/solver/data/map/VersionedMapStoreConfiguration.java b/store/src/main/java/org/eclipse/viatra/solver/data/map/VersionedMapStoreConfiguration.java
new file mode 100644
index 00000000..be768e98
--- /dev/null
+++ b/store/src/main/java/org/eclipse/viatra/solver/data/map/VersionedMapStoreConfiguration.java
@@ -0,0 +1,48 @@
+package org.eclipse.viatra.solver.data.map;
+
+public class VersionedMapStoreConfiguration {
+	
+	public VersionedMapStoreConfiguration() {
+		
+	}
+	public VersionedMapStoreConfiguration(boolean immutableWhenCommiting, boolean sharedNodeCacheInStore,
+			boolean sharedNodeCacheInStoreGroups) {
+		super();
+		this.immutableWhenCommiting = immutableWhenCommiting;
+		this.sharedNodeCacheInStore = sharedNodeCacheInStore;
+		this.sharedNodeCacheInStoreGroups = sharedNodeCacheInStoreGroups;
+	}
+
+	/**
+	 * If true root is replaced with immutable node when committed. Frees up memory
+	 * by releasing immutable nodes, but it may decrease performance by recreating
+	 * immutable nodes upon changes (some evidence).
+	 */
+	private boolean immutableWhenCommiting = true;
+	public boolean isImmutableWhenCommiting() {
+		return immutableWhenCommiting;
+	}
+
+	/**
+	 * If true, all subnodes are cached within a {@link VersionedMapStore}. It
+	 * decreases the memory requirements. It may increase performance by discovering
+	 * existing immutable copy of a node (some evidence). Additional overhead may
+	 * decrease performance (no example found). The option permits the efficient
+	 * implementation of version deletion.
+	 */
+	private boolean sharedNodeCacheInStore = true;
+	public boolean isSharedNodeCacheInStore() {
+		return sharedNodeCacheInStore;
+	}
+	
+	/**
+	 * If true, all subnodes are cached within a group of
+	 * {@link VersionedMapStoreImpl#createSharedVersionedMapStores(int, ContinousHashProvider, Object, VersionedMapStoreConfiguration)}.
+	 * If {@link VersionedMapStoreConfiguration#sharedNodeCacheInStore} is
+	 * <code>false</code>, then it has currently no impact.
+	 */
+	private boolean sharedNodeCacheInStoreGroups = true;
+	public boolean isSharedNodeCacheInStoreGroups() {
+		return sharedNodeCacheInStoreGroups;
+	}
+}
-- 
cgit v1.2.3-70-g09d2