1 files changed, 0 insertions, 33 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
deleted file mode 100644
index 05a3e3f8..00000000
--- a/store/src/main/java/org/eclipse/viatra/solver/data/query/building/DNFAtom.java
+++ /dev/null
@@ -1,33 +0,0 @@
-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);
-                }
-        }
-}