aboutsummaryrefslogtreecommitdiffstats
path: root/model-data/src
diff options
context:
space:
mode:
authorLibravatar OszkarSemerath <semerath@mit.bme.hu>2021-08-17 02:39:34 +0200
committerLibravatar OszkarSemerath <semerath@mit.bme.hu>2021-08-17 02:39:34 +0200
commitf1120182ca621ae8a6b1fed125a03c4cbca69fcf (patch)
tree473bb8b38474badf873840a9b3c45084d8b3ce60 /model-data/src
parentViews works as keys + they can be instantiated without model (diff)
downloadrefinery-f1120182ca621ae8a6b1fed125a03c4cbca69fcf.tar.gz
refinery-f1120182ca621ae8a6b1fed125a03c4cbca69fcf.tar.zst
refinery-f1120182ca621ae8a6b1fed125a03c4cbca69fcf.zip
Removed unused model parameters from relational views
Diffstat (limited to 'model-data/src')
-rw-r--r--model-data/src/main/java/org/eclipse/viatra/solver/data/query/view/FilteredRelationView.java2
-rw-r--r--model-data/src/main/java/org/eclipse/viatra/solver/data/query/view/FunctionalRelationView.java2
-rw-r--r--model-data/src/main/java/org/eclipse/viatra/solver/data/query/view/TupleRelationView.java4
3 files changed, 4 insertions, 4 deletions
diff --git a/model-data/src/main/java/org/eclipse/viatra/solver/data/query/view/FilteredRelationView.java b/model-data/src/main/java/org/eclipse/viatra/solver/data/query/view/FilteredRelationView.java
index bfa3d13a..edc534b7 100644
--- a/model-data/src/main/java/org/eclipse/viatra/solver/data/query/view/FilteredRelationView.java
+++ b/model-data/src/main/java/org/eclipse/viatra/solver/data/query/view/FilteredRelationView.java
@@ -10,7 +10,7 @@ import org.eclipse.viatra.solver.data.model.representation.Relation;
10public class FilteredRelationView<D> extends RelationView<D>{ 10public class FilteredRelationView<D> extends RelationView<D>{
11 private final BiPredicate<Tuple,D> predicate; 11 private final BiPredicate<Tuple,D> predicate;
12 12
13 public FilteredRelationView(Model model, Relation<D> representation, BiPredicate<Tuple,D> predicate) { 13 public FilteredRelationView(Relation<D> representation, BiPredicate<Tuple,D> predicate) {
14 super(representation); 14 super(representation);
15 this.predicate = predicate; 15 this.predicate = predicate;
16 } 16 }
diff --git a/model-data/src/main/java/org/eclipse/viatra/solver/data/query/view/FunctionalRelationView.java b/model-data/src/main/java/org/eclipse/viatra/solver/data/query/view/FunctionalRelationView.java
index 71759bc5..4aa7cfd0 100644
--- a/model-data/src/main/java/org/eclipse/viatra/solver/data/query/view/FunctionalRelationView.java
+++ b/model-data/src/main/java/org/eclipse/viatra/solver/data/query/view/FunctionalRelationView.java
@@ -7,7 +7,7 @@ import org.eclipse.viatra.solver.data.model.representation.Relation;
7 7
8public class FunctionalRelationView<D> extends RelationView<D> { 8public class FunctionalRelationView<D> extends RelationView<D> {
9 9
10 public FunctionalRelationView(Model model, Relation<D> representation) { 10 public FunctionalRelationView(Relation<D> representation) {
11 super(representation); 11 super(representation);
12 } 12 }
13 13
diff --git a/model-data/src/main/java/org/eclipse/viatra/solver/data/query/view/TupleRelationView.java b/model-data/src/main/java/org/eclipse/viatra/solver/data/query/view/TupleRelationView.java
index 2e4e286f..78595a2b 100644
--- a/model-data/src/main/java/org/eclipse/viatra/solver/data/query/view/TupleRelationView.java
+++ b/model-data/src/main/java/org/eclipse/viatra/solver/data/query/view/TupleRelationView.java
@@ -6,8 +6,8 @@ import org.eclipse.viatra.solver.data.model.representation.Relation;
6 6
7public class TupleRelationView extends FilteredRelationView<Boolean>{ 7public class TupleRelationView extends FilteredRelationView<Boolean>{
8 8
9 public TupleRelationView(Model model, Relation<Boolean> representation) { 9 public TupleRelationView(Relation<Boolean> representation) {
10 super(model, representation, (k,v)->true); 10 super(representation, (k,v)->true);
11 } 11 }
12 @Override 12 @Override
13 protected boolean filter(Tuple key, Boolean value) { 13 protected boolean filter(Tuple key, Boolean value) {