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

---
 .../solver/data/query/building/PredicateAtom.java  | 57 ++++++++++++++++++++++
 1 file changed, 57 insertions(+)
 create mode 100644 store/src/main/java/org/eclipse/viatra/solver/data/query/building/PredicateAtom.java

(limited to 'store/src/main/java/org/eclipse/viatra/solver/data/query/building/PredicateAtom.java')

diff --git a/store/src/main/java/org/eclipse/viatra/solver/data/query/building/PredicateAtom.java b/store/src/main/java/org/eclipse/viatra/solver/data/query/building/PredicateAtom.java
new file mode 100644
index 00000000..3e5ef88e
--- /dev/null
+++ b/store/src/main/java/org/eclipse/viatra/solver/data/query/building/PredicateAtom.java
@@ -0,0 +1,57 @@
+package org.eclipse.viatra.solver.data.query.building;
+
+import java.util.List;
+import java.util.Map;
+import java.util.Set;
+
+public class PredicateAtom implements DNFAtom{
+	private DNFPredicate referred;
+	private List<Variable> substitution;
+	private boolean positive;
+	private boolean transitive;
+	
+	public PredicateAtom(boolean positive, boolean transitive, DNFPredicate referred, List<Variable> substitution) {
+		this.positive = positive;
+		this.referred = referred;
+		this.substitution = substitution;
+		this.transitive = transitive;
+	}
+	public DNFPredicate getReferred() {
+		return referred;
+	}
+	public void setReferred(DNFPredicate referred) {
+		this.referred = referred;
+	}
+	public List<Variable> getSubstitution() {
+		return substitution;
+	}
+	public void setSubstitution(List<Variable> substitution) {
+		this.substitution = substitution;
+	}
+	public boolean isPositive() {
+		return positive;
+	}
+	public void setPositive(boolean positive) {
+		this.positive = positive;
+	}
+	public boolean isTransitive() {
+		return transitive;
+	}
+	public void setTransitive(boolean transitive) {
+		this.transitive = transitive;
+	}
+	@Override
+	public void unifyVariables(Map<String, Variable> variables) {
+		for(int i = 0; i<this.substitution.size(); i++) {
+			final Object term = this.substitution.get(i);
+			if(term instanceof Variable) {
+				Variable variableReference = (Variable) term;
+				this.substitution.set(i, DNFAtom.unifyVariables(variables, variableReference));
+			}
+		}
+	}
+	@Override
+	public void collectAllVariables(Set<Variable> variables) {
+		DNFAtom.addToCollection(variables, substitution);
+	}
+}
-- 
cgit v1.2.3-70-g09d2