本文整理汇总了Java中net.sf.javabdd.BDDFactory.REORDER_NONE属性的典型用法代码示例。如果您正苦于以下问题:Java BDDFactory.REORDER_NONE属性的具体用法?Java BDDFactory.REORDER_NONE怎么用?Java BDDFactory.REORDER_NONE使用的例子?那么恭喜您, 这里精选的属性代码示例或许可以为您提供帮助。您也可以进一步了解该属性所在类net.sf.javabdd.BDDFactory
的用法示例。
在下文中一共展示了BDDFactory.REORDER_NONE属性的4个代码示例,这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞,您的评价将有助于系统推荐出更棒的Java代码示例。
示例1: createBDD
protected BDD createBDD(BDDFactory bddFactory, String orderingFormulasStrategy) throws Exception {
if ( reorderMethod != BDDFactory.REORDER_NONE ) {
super.initBDDReorder(getFeatureModel().countNodes());
}
BDD bdd = null;
long start = System.currentTimeMillis();
// create BDD based on Statistics (eg., best order, worst order)
if ( searchType != null ) {
if ( searchType == BEST_VARIABLE_ORDER || searchType == WORST_VARIABLE_ORDER) {
bdd = createBDDBasedOnStatistics(searchType);
this.heuristicRunningTime = 0;
}
}
// create BDD based on FEATURE TREE TRAVERSAL HEURISTICS
else if ( variableOrderingHeuristic != null ){
// bddFactory.setVarNum(countFMNodes);
varIndex2NameMap = variableOrderingHeuristic.run(toCNF());
varName2IndexMap = VariableOrderingHeuristic.variableOrderingAsHashMap(varIndex2NameMap);
bdd = createBDDStructure(start - (long)getHeuristicRunningTime(), orderingFormulasStrategy);
}
// root node is always true
bdd.andWith(bddFactory.ithVar(varName2IndexMap.get(featureModel.getRoot().getID())));
this.bddBuildingTime = System.currentTimeMillis() - start;
// theOriginalBDD = bdd;
// theWorkingBDD = theOriginalBDD;
return bdd;
}
示例2: initBDDReorder
protected void initBDDReorder(int countNodes) {
if ( reorderMethod != BDDFactory.REORDER_NONE ) {
bddFactory.enableReorder();
bddFactory.autoReorder(reorderMethod);
// define each level of the BDD as an eligible SIFTING block
if ( reorderMethod == BDDFactory.REORDER_SIFT ||
reorderMethod == BDDFactory.REORDER_SIFTITE ||
reorderMethod == BDDFactory.REORDER_RANDOM ){
for( int i = 0 ; i < countNodes ; i++ ) {
bddFactory.addVarBlock(bddFactory.ithVar(i), false);
}
}
}
}
示例3: FMReasoningWithBDD
public FMReasoningWithBDD(FeatureModel featureModel, VariableOrderingHeuristic voHeuristic, int nodeNum, int cacheSize, long maxBuildingtime, String orderingFormulasStrategy) {
this(featureModel, voHeuristic, nodeNum, cacheSize, maxBuildingtime, BDDFactory.REORDER_NONE, orderingFormulasStrategy);
}
示例4: FTReasoningWithBDD
public FTReasoningWithBDD(FeatureModel featureModel, VariableOrderingHeuristic voHeuristic, int nodeNum, int cacheSize, long maxBuildingtime, String orderingFormulasStrategy) {
this(featureModel, voHeuristic, nodeNum, cacheSize, maxBuildingtime, BDDFactory.REORDER_NONE, orderingFormulasStrategy);
}