build: migration to Gradle 7

1 files changed, 33 insertions, 0 deletions

diff --git a/store/src/main/java/org/eclipse/viatra/solver/data/query/building/DNFAtom.java b/store/src/main/java/org/eclipse/viatra/solver/data/query/building/DNFAtom.java
new file mode 100644
index 00000000..05a3e3f8
--- /dev/null
+++ b/store/src/main/java/org/eclipse/viatra/solver/data/query/building/DNFAtom.java
@@ -0,0 +1,33 @@
+package org.eclipse.viatra.solver.data.query.building;
+
+import java.util.Collection;
+import java.util.Iterator;
+import java.util.Map;
+import java.util.Set;
+
+public interface DNFAtom {
+        void unifyVariables(Map<String,Variable> variables);
+        static Variable unifyVariables(Map<String,Variable> unifiedVariables, Variable variable) {
+                if(variable != null) {
+                        if(variable.isNamed() && unifiedVariables.containsKey(variable.getName())) {
+                                return unifiedVariables.get(variable.getName());
+                        }
+                        return variable;
+                } else {
+                        return null;
+                }
+        }
+        void collectAllVariables(Set<Variable> variables);
+        static void addToCollection(Set<Variable> variables, Variable variable) {
+                if(variable != null) {
+                        variables.add(variable);
+                }
+        }
+        static void addToCollection(Set<Variable> variables, Collection<Variable> variableCollection) {
+                Iterator<Variable> iterator = variableCollection.iterator();
+                while(iterator.hasNext()) {
+                        Variable variable = iterator.next();
+                        addToCollection(variables, variable);
+                }
+        }
+}