blob: 2e4e286fe5e229df45b29f4fd3dcc32220f13a7e (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
package org.eclipse.viatra.solver.data.query.view;
import org.eclipse.viatra.solver.data.model.Model;
import org.eclipse.viatra.solver.data.model.Tuple;
import org.eclipse.viatra.solver.data.model.representation.Relation;
public class TupleRelationView extends FilteredRelationView<Boolean>{
public TupleRelationView(Model model, Relation<Boolean> representation) {
super(model, representation, (k,v)->true);
}
@Override
protected boolean filter(Tuple key, Boolean value) {
return true;
}
}
|