store/src/main/java/org/eclipse/viatra/solver/data/model/TupleHashProviderBitMagic.java


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