blob: 60e43692829879920aa5812d5ee6edad6f7d7ed7 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
|
package org.eclipse.viatra.solver.data.model.representation;
import org.eclipse.viatra.solver.data.model.Tuple;
import org.eclipse.viatra.solver.data.model.TupleHashProvider;
import org.eclipse.viatra.solver.data.model.symbols.Symbol;
public class RelationRepresentation <D> extends DataRepresentation<Tuple,D> {
private final Symbol symbol;
public RelationRepresentation(Symbol symbol,Class<D> domain, D defaultValue) {
super(Tuple.class,TupleHashProvider.singleton(),domain,defaultValue);
this.symbol = symbol;
}
@Override
public String getName() {
return symbol.getName();
}
public Symbol getSymbol() {
return symbol;
}
@Override
public boolean isValidKey(Tuple key) {
return key.getSize() == symbol.getArity();
}
}
|