本文整理汇总了Java中org.sat4j.specs.IVecInt.ensure方法的典型用法代码示例。如果您正苦于以下问题：Java IVecInt.ensure方法的具体用法？Java IVecInt.ensure怎么用？Java IVecInt.ensure使用的例子？那么恭喜您, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类org.sat4j.specs.IVecInt的用法示例。
在下文中一共展示了IVecInt.ensure方法的2个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的Java代码示例。
示例1: copyTo
import org.sat4j.specs.IVecInt; //导入方法依赖的package包/类
public void copyTo(IVecInt arg0) {
int argLength = arg0.size();
final int[] workArray = vec; // faster access
arg0.ensure(argLength + workArray.length);
for (int i : workArray) {
arg0.set(argLength++, i);
}
}
示例2: copyTo
import org.sat4j.specs.IVecInt; //导入方法依赖的package包/类
public void copyTo(IVecInt arg0) {
int argLength = arg0.size();
arg0.ensure(argLength + vec.length);
for(int i : vec) {
arg0.set(argLength++, i);
}
}