本文整理汇总了Java中net.sf.javabdd.JFactory类的典型用法代码示例。如果您正苦于以下问题:Java JFactory类的具体用法?Java JFactory怎么用?Java JFactory使用的例子?那么恭喜您, 这里精选的类代码示例或许可以为您提供帮助。
JFactory类属于net.sf.javabdd包,在下文中一共展示了JFactory类的7个代码示例,这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞,您的评价将有助于我们的系统推荐出更棒的Java代码示例。
示例1: JBDDProvider
import net.sf.javabdd.JFactory; //导入依赖的package包/类
/**
* Constructs a {@link JBDDProvider} with the {@link Type} of the BDD library to use, a given number of variables,
* the growth rate of the number of variables, and the initial number of nodes.
*
* @param type
* the type of the BDD library
* @param vars
* the number of variables
* @param variableGrowthFactor
* the factor by which to extend the number of variables if required
* @param initialNumberofNodes
* the initial number of nodes reserved in the BDD factory
*/
public JBDDProvider(Type type, int vars, int variableGrowthFactor, int initialNumberofNodes) {
switch (type) {
case JDD:
factory = JDDFactory.init(initialNumberofNodes, initialNumberofNodes);
break;
default:
factory = JFactory.init(initialNumberofNodes, initialNumberofNodes);
factory.autoReorder(BDDFactory.REORDER_SIFT);
}
factory.setVarNum(vars);
this.vars = vars;
this.variableGrowthFactor = variableGrowthFactor;
}
开发者ID:felixreimann,项目名称:jreliability,代码行数:28,代码来源:JBDDProvider.java
示例2: init
import net.sf.javabdd.JFactory; //导入依赖的package包/类
@Override
public void init() {
// Type.JAVABDD should be the standard BDD Factory
this.factory = new JBDDProviderFactory();
JBDDProvider<Object> provider = (JBDDProvider<Object>) factory.getProvider();
Assert.assertTrue("JavaBDD should be the standard JBDDProviderFactory.",
provider.getFactory() instanceof JFactory);
}
开发者ID:felixreimann,项目名称:jreliability,代码行数:9,代码来源:JBDDProviderTest.java
示例3: SequenceBasedAndGateDecomposer
import net.sf.javabdd.JFactory; //导入依赖的package包/类
public SequenceBasedAndGateDecomposer(StateGraph stategraph, Netlist netlist) {
this.netlist = netlist;
this.factory = JFactory.init(1000, 250);
this.sigidmap = new HashMap<>();
this.quasimap = HashBiMap.create();
this.origsg = stategraph;
this.sghelper = new AndDecoSGHelper(stategraph.getSTG().getFile());
}
开发者ID:hpiasg,项目名称:asglogic,代码行数:9,代码来源:SequenceBasedAndGateDecomposer.java
示例4: execute
import net.sf.javabdd.JFactory; //导入依赖的package包/类
/**
* Calls the logic synthesis flow
*
* @return Status code:
* 0: Everything okay
* 1: Something failed
*/
private static int execute() {
BDDFactory storage = JFactory.init(netlistNodesize, netlistNodesize / 4);
storage.setCacheRatio(4f);
TechLibrary tech = readTechnology(options.getTechnology(), config.defaultTech, storage);
if(tech == null) {
logger.error("No technology found");
return 1;
}
Flow flow = new Flow(options, tech, storage);
return flow.execute();
}
开发者ID:hpiasg,项目名称:asglogic,代码行数:21,代码来源:LogicMain.java
示例5: ReasoningWithBDD
import net.sf.javabdd.JFactory; //导入依赖的package包/类
public ReasoningWithBDD(VariableOrderingHeuristic voHeuristic, int nodeNum, int cacheSize, long maxBuildingTime, ReorderMethod reorderMethod, String orderingFormulasStrategy) {
super();
this.variableOrderingHeuristic = voHeuristic;
this.nodeNum = nodeNum;
this.cacheSize = cacheSize;
this.reorderMethod = reorderMethod;
states = new LinkedHashMap<String,ReasoningWithBDDState>();
this.maxBuildingTime = maxBuildingTime;
this.heuristicRunningTime = -1;
this.bddBuildingTime = -1;
this.orderingFormulasStrategy = orderingFormulasStrategy;
bddFactory = JFactory.init(nodeNum,cacheSize);
}
开发者ID:axel-halin,项目名称:Thesis-JHipster,代码行数:14,代码来源:ReasoningWithBDD.java
示例6: reset
import net.sf.javabdd.JFactory; //导入依赖的package包/类
@Override
public void reset() {
variables = new HashMap<String, BDD>();
featuresMap = new HashMap<String, GenericFeature>();
vars = new HashMap<Integer, String>();
subtrees = new ArrayList<BDD>();
factory = JFactory.init(1000000, 10000); // This can be optimized taking
numvar = 1; // into account the size of
}
开发者ID:isa-group,项目名称:FaMA,代码行数:12,代码来源:JavaBDDReasoner.java
示例7: setUp
import net.sf.javabdd.JFactory; //导入依赖的package包/类
@Before
public void setUp() {
factory = JavaBDDAdapterFactory.init(100, 10);
factory.setVarNum(10);
jfactory = JFactory.init(100, 10);
jfactory.setVarNum(10);
}
开发者ID:JuliaSoft,项目名称:BeeDeeDee,代码行数:8,代码来源:JavaBDDAdapterFactoryTest.java
注:本文中的net.sf.javabdd.JFactory类示例整理自Github/MSDocs等源码及文档管理平台,相关代码片段筛选自各路编程大神贡献的开源项目,源码版权归原作者所有,传播和使用请参考对应项目的License;未经允许,请勿转载。 |
请发表评论