1 files changed, 10 insertions, 6 deletions

diff --git a/store/src/main/java/org/eclipse/viatra/solver/data/query/building/RelationAtom.java b/store/src/main/java/org/eclipse/viatra/solver/data/query/building/RelationAtom.java
index f7152bba..adf2f8c7 100644
--- a/store/src/main/java/org/eclipse/viatra/solver/data/query/building/RelationAtom.java
+++ b/store/src/main/java/org/eclipse/viatra/solver/data/query/building/RelationAtom.java
@@ -7,37 +7,41 @@ import java.util.Set;
 import org.eclipse.viatra.solver.data.query.view.FilteredRelationView;
 import org.eclipse.viatra.solver.data.query.view.RelationView;
 
-public class RelationAtom implements DNFAtom{
+public class RelationAtom implements DNFAtom {
         RelationView<?> view;
         List<Variable> substitution;
-        
+
         public RelationAtom(RelationView<?> view, List<Variable> substitution) {
                 this.view = view;
                 this.substitution = substitution;
         }
+
         public RelationView<?> getView() {
                 return view;
         }
+
         public void setView(FilteredRelationView<?> view) {
                 this.view = view;
         }
+
         public List<Variable> getSubstitution() {
                 return substitution;
         }
+
         public void setSubstitution(List<Variable> substitution) {
                 this.substitution = substitution;
         }
-        
+
         @Override
         public void unifyVariables(Map<String, Variable> variables) {
-                for(int i = 0; i<this.substitution.size(); i++) {
+                for (int i = 0; i < this.substitution.size(); i++) {
                         final Object term = this.substitution.get(i);
-                        if(term instanceof Variable) {
-                                Variable variableReference = (Variable) term;
+                        if (term instanceof Variable variableReference) {
                                 this.substitution.set(i, DNFAtom.unifyVariables(variables, variableReference));
                         }
                 }
         }
+
         @Override
         public void collectAllVariables(Set<Variable> variables) {
                 DNFAtom.addToCollection(variables, substitution);