diff options
Diffstat (limited to 'store/src/main/java/org/eclipse/viatra/solver/data/query/building/RelationAtom.java')
-rw-r--r-- | store/src/main/java/org/eclipse/viatra/solver/data/query/building/RelationAtom.java | 49 |
1 files changed, 0 insertions, 49 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 deleted file mode 100644 index adf2f8c7..00000000 --- a/store/src/main/java/org/eclipse/viatra/solver/data/query/building/RelationAtom.java +++ /dev/null | |||
@@ -1,49 +0,0 @@ | |||
1 | package org.eclipse.viatra.solver.data.query.building; | ||
2 | |||
3 | import java.util.List; | ||
4 | import java.util.Map; | ||
5 | import java.util.Set; | ||
6 | |||
7 | import org.eclipse.viatra.solver.data.query.view.FilteredRelationView; | ||
8 | import org.eclipse.viatra.solver.data.query.view.RelationView; | ||
9 | |||
10 | public class RelationAtom implements DNFAtom { | ||
11 | RelationView<?> view; | ||
12 | List<Variable> substitution; | ||
13 | |||
14 | public RelationAtom(RelationView<?> view, List<Variable> substitution) { | ||
15 | this.view = view; | ||
16 | this.substitution = substitution; | ||
17 | } | ||
18 | |||
19 | public RelationView<?> getView() { | ||
20 | return view; | ||
21 | } | ||
22 | |||
23 | public void setView(FilteredRelationView<?> view) { | ||
24 | this.view = view; | ||
25 | } | ||
26 | |||
27 | public List<Variable> getSubstitution() { | ||
28 | return substitution; | ||
29 | } | ||
30 | |||
31 | public void setSubstitution(List<Variable> substitution) { | ||
32 | this.substitution = substitution; | ||
33 | } | ||
34 | |||
35 | @Override | ||
36 | public void unifyVariables(Map<String, Variable> variables) { | ||
37 | for (int i = 0; i < this.substitution.size(); i++) { | ||
38 | final Object term = this.substitution.get(i); | ||
39 | if (term instanceof Variable variableReference) { | ||
40 | this.substitution.set(i, DNFAtom.unifyVariables(variables, variableReference)); | ||
41 | } | ||
42 | } | ||
43 | } | ||
44 | |||
45 | @Override | ||
46 | public void collectAllVariables(Set<Variable> variables) { | ||
47 | DNFAtom.addToCollection(variables, substitution); | ||
48 | } | ||
49 | } | ||