本文整理汇总了Java中net.sf.javabdd.BDDFactory.setMinFreeNodes方法的典型用法代码示例。如果您正苦于以下问题:Java BDDFactory.setMinFreeNodes方法的具体用法?Java BDDFactory.setMinFreeNodes怎么用?Java BDDFactory.setMinFreeNodes使用的例子?那么恭喜您, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类net.sf.javabdd.BDDFactory
的用法示例。
在下文中一共展示了BDDFactory.setMinFreeNodes方法的2个代码示例,这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞,您的评价将有助于系统推荐出更棒的Java代码示例。
示例1: Variables
import net.sf.javabdd.BDDFactory; //导入方法依赖的package包/类
/**
* Create a new BDD variable manager.
*
* @param B The BDD factory.
* @param varNum The initial number of BDD variables.
* @param extVarNum How much to increase the number of variables
* by each time the limit is reached.
*/
public Variables(BDDFactory B, int varNum, int extVarNum) {
this.B = B;
this.varNum = varNum;
this.extVarNum = extVarNum;
this.variables = new HashMap<String, BDD>();
this.indices = new ArrayList<String>();
B.setVarNum(this.varNum);
B.setMinFreeNodes(.40);
B.setMaxIncrease(500000);
}
示例2: createBddFactory
import net.sf.javabdd.BDDFactory; //导入方法依赖的package包/类
private static BDDFactory createBddFactory(Board board) {
// int dimension = board.getRows() * board.getColumns();
// BDDFactory result = BDDFactory.init(dimension * 100000,
// dimension * 100000);
// result.setVarNum(dimension);
// result.reorderVerbose(0);
// result.setMaxIncrease(10000000);
// result.setIncreaseFactor(0.5);
/*
* (5 * 10^b) * b!
*/
int dimension = board.getRows() * board.getColumns();
// Double size = (BASE * Math.pow(10, board.getBoardSize()))
// * factorial(board.getBoardSize());
// BDDFactory result = BDDFactory.init(size.intValue() / 2,
// size.intValue() / 5);
Iterable<Position> empty = Iterables.filter(board.getPositions(),
new EmptyPositionFilter(board));
Iterable<Position> validEmpty = Iterables.filter(empty,
new ValidPositionFilter(board));
ArrayList<Position> filtered = Lists.newArrayList(validEmpty);
Double size = Math.pow(10, board.getBoardSize()) * filtered.size()
* factorial(board.getBoardSize() - 2);
BDDFactory result = BDDFactory.init(size.intValue(),
size.intValue() / 5);
result.setVarNum(dimension);
result.reorderVerbose(0);
result.setIncreaseFactor(0.1);
// result.setMaxIncrease(Double.valueOf((size / 2) * 0.5).intValue());
result.setMaxIncrease(0);
result.setMinFreeNodes(0.05);
return result;
}