From c3e27396c62f191b4343df151e5a86bfa63a32f3 Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Tue, 5 Oct 2021 00:36:47 +0200 Subject: chore: change package name --- .../data/query/building/EquivalenceAtom.java | 44 ---------------------- 1 file changed, 44 deletions(-) delete mode 100644 store/src/main/java/org/eclipse/viatra/solver/data/query/building/EquivalenceAtom.java (limited to 'store/src/main/java/org/eclipse/viatra/solver/data/query/building/EquivalenceAtom.java') diff --git a/store/src/main/java/org/eclipse/viatra/solver/data/query/building/EquivalenceAtom.java b/store/src/main/java/org/eclipse/viatra/solver/data/query/building/EquivalenceAtom.java deleted file mode 100644 index b47fe2a8..00000000 --- a/store/src/main/java/org/eclipse/viatra/solver/data/query/building/EquivalenceAtom.java +++ /dev/null @@ -1,44 +0,0 @@ -package org.eclipse.viatra.solver.data.query.building; - -import java.util.Map; -import java.util.Set; - -public class EquivalenceAtom implements DNFAtom{ - private boolean positive; - private Variable left; - private Variable right; - public EquivalenceAtom(boolean positive, Variable left, Variable right) { - this.positive = positive; - this.left = left; - this.right = right; - } - public boolean isPositive() { - return positive; - } - public void setPositive(boolean positive) { - this.positive = positive; - } - public Variable getLeft() { - return left; - } - public void setLeft(Variable left) { - this.left = left; - } - public Variable getRight() { - return right; - } - public void setRight(Variable right) { - this.right = right; - } - - @Override - public void unifyVariables(Map variables) { - this.left = DNFAtom.unifyVariables(variables,left); - this.right = DNFAtom.unifyVariables(variables,right); - } - @Override - public void collectAllVariables(Set variables) { - DNFAtom.addToCollection(variables, left); - DNFAtom.addToCollection(variables, right); - } -} -- cgit v1.2.3-70-g09d2