本文整理汇总了Java中org.sat4j.specs.IteratorInt.hasNext方法的典型用法代码示例。如果您正苦于以下问题:Java IteratorInt.hasNext方法的具体用法?Java IteratorInt.hasNext怎么用?Java IteratorInt.hasNext使用的例子?那么恭喜您, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类org.sat4j.specs.IteratorInt
的用法示例。
在下文中一共展示了IteratorInt.hasNext方法的3个代码示例,这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞,您的评价将有助于系统推荐出更棒的Java代码示例。
示例1: knownValues
import org.sat4j.specs.IteratorInt; //导入方法依赖的package包/类
public List<Literal> knownValues() {
LinkedList<Literal> list = new LinkedList<Literal>();
try {
IVecInt bone = RemiUtils.backbone(solver);
IteratorInt iter = bone.iterator();
while (iter.hasNext()) {
int value = iter.next();
Object var = intToVar.get(Math.abs(value));
Literal literal = new Literal(var, value > 0);
list.add(literal);
}
} catch (TimeoutException e) {
e.printStackTrace();
}
return list;
}
示例2: init
import org.sat4j.specs.IteratorInt; //导入方法依赖的package包/类
public void init() {
if (getObjectiveFunction() != null) {
this.objWeightsMap = new HashMap<Integer, BigInteger>();
IteratorInt litsIt = getObjectiveFunction().getVars().iterator();
Iterator<BigInteger> weightsIt = getObjectiveFunction().getCoeffs()
.iterator();
for (; litsIt.hasNext();)
this.objWeightsMap.put(litsIt.next(), weightsIt.next());
}
if (this.preprocessing) {
sat4jPreprocessing();
} else if (this.rissLocation != null) {
rissPreprocessing();
} else {
noPreprocessing();
}
}
示例3: pushIntegerVariables
import org.sat4j.specs.IteratorInt; //导入方法依赖的package包/类
private void pushIntegerVariables(IVecInt literals,
IVec<BigInteger> coeffs, IVec<IntegerVariable> integerVars,
IVec<BigInteger> integerVarsCoeffs) {
if (integerVars.size() != integerVarsCoeffs.size()) {
throw new IllegalArgumentException(
"different number of integer variables and integer variables coeffs");
}
Iterator<IntegerVariable> intVarsIt = integerVars.iterator();
Iterator<BigInteger> intVarsCoeffsIt = integerVarsCoeffs.iterator();
while (intVarsIt.hasNext()) {
BigInteger factor = intVarsCoeffsIt.next();
IteratorInt intVarLitsIt = intVarsIt.next().getVars().iterator();
while (intVarLitsIt.hasNext()) {
literals.push(intVarLitsIt.next());
coeffs.push(factor);
factor = factor.shiftLeft(1);
}
}
}