现在我要整合Choco和bloom过滤器。问题是我想知道Choco中哪个JAVA文件是关于搜索过程的,因为我想在每个搜索步骤之后将每个节点的决策存储到bloom过滤器中。
choco的源代码:https://github.com/chocoteam/choco-solver
布隆过滤器的源代码:
import java.util.BitSet;
公共课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 = "xkeyideal@gmail.com";
for (int i = 0; i < seeds.length; i++) {
func[i] = new SimpleHash(DEFAULT_SIZE, seeds[i]);
}
add(value);
System.out.println(contains(value));
}
}
class 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;
}
}
答案 0 :(得分:0)
整体解决机制(包括&#34;扩展&#34;案例中的搜索过程)位于解算器的searchLoop()方法中:https://github.com/chocoteam/choco-solver/blob/master/src/main/java/org/chocosolver/solver/Solver.java
但是,要检索在每个节点上执行的操作,您只需使用监视器:
CharMatcher.WHITESPACE.trimFrom(source);
此代码打印每个分支决策。 您也可以从那里访问其他可变域。