model-data/src/main/java/org/eclipse/viatra/solver/data/query/view/KeyOnlyRelationView.java


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;
	}
	
}