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