Теперь я собираюсь интегрировать Choco и фильтр Bloom. Проблема в том, что я хочу знать, какой файл JAVA в Choco относится к процессу поиска, потому что я хочу сохранять решения каждого узла в фильтре Блума после каждого шага поиска.
исходный код choco: https://github.com/chocoteam/choco-solver
исходный код фильтра Блума: import java.util.BitSet;
public class BloomFilter {
private static final int DEFAULT_SIZE = 2 << 24;
private static final int[] seeds = {3,5,7, 11, 13, 31, 37, 61};
private static BitSet bits = new BitSet(DEFAULT_SIZE);
private static SimpleHash[] func = new SimpleHash[seeds.length];
public static void addValue(String value)
{
for(SimpleHash f : func)
bits.set(f.hash(value),true);
}
public static void add(String value)
{
if(value != null) addValue(value);
}
public static boolean contains(String value)
{
if(value == null) return false;
boolean ret = true;
for(SimpleHash f : func)
ret = ret && bits.get(f.hash(value));
return ret;
}
public static void main(String[] args) {
String value = "[email protected]";
for (int i = 0; i < seeds.length; i++) {
func[i] = new SimpleHash(DEFAULT_SIZE, seeds[i]);
}
add(value);
System.out.println(contains(value));
}
}
класс SimpleHash {
private int cap;
private int seed;
public SimpleHash(int cap, int seed) {
this.cap = cap;
this.seed = seed;
}
public int hash(String value)
int result = 0;
int len = value.length();
for (int i = 0; i < len; i++) {
result = seed * result + value.charAt(i);
}
return (cap - 1) & result;
}
}