blob: 2a514d668a8884fc81a6f945a9bc97dd98242e75 (
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
|
package org.eclipse.viatra.solver.data.model;
import org.eclipse.viatra.solver.data.map.ContinousHashProvider;
public class TupleHashProviderBitMagic implements ContinousHashProvider<Tuple> {
@Override
public int getHash(Tuple key, int index) {
if(key.getSize() == 1) {
return key.get(0);
}
int result = 0;
final int startBitIndex = index*30;
final int finalBitIndex = startBitIndex+30;
final int arity = key.getSize();
for(int i = startBitIndex; i<=finalBitIndex; i++) {
final int selectedKey = key.get(i%arity);
final int selectedPosition = 1<<(i/arity);
if((selectedKey&selectedPosition) != 0) {
result |= 1<<(i%30);
}
}
return result;
}
}
|