• 如果您觉得本站非常有看点,那么赶紧使用Ctrl+D 收藏吧

Java BooleanVariable类的典型用法和代码示例

java 1次浏览

本文整理汇总了Java中kodkod.engine.bool.BooleanVariable的典型用法代码示例。如果您正苦于以下问题:Java BooleanVariable类的具体用法?Java BooleanVariable怎么用?Java BooleanVariable使用的例子?那么恭喜您, 这里精选的类代码示例或许可以为您提供帮助。

BooleanVariable类属于kodkod.engine.bool包,在下文中一共展示了BooleanVariable类的6个代码示例,这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞,您的评价将有助于我们的系统推荐出更棒的Java代码示例。

示例1: BooleanMatrixTest

点赞 2

import kodkod.engine.bool.BooleanVariable; //导入依赖的package包/类
public BooleanMatrixTest(String arg0) {
	super(arg0);
	f = BooleanFactory.factory(NUM_VARS, new Options());
	vars = new BooleanVariable[NUM_VARS];
	for (int i = 0; i < NUM_VARS; i++) {
		vars[i] = f.variable(i + 1);
	}
	final int[] dims324 = {
			3, 2, 4
	}, dims43 = {
			4, 3
	}, dims4 = {
			4
	};
	dim324 = Dimensions.rectangular(dims324);
	dim43 = Dimensions.rectangular(dims43);
	dim4 = Dimensions.rectangular(dims4);

	mR = new IntRange[6];
	mR[0] = range(0, 3);
	mR[1] = range(4, 8);
	mR[2] = range(9, 10);
	mR[3] = range(11, 14);
	mR[4] = range(15, 15);
	mR[5] = range(16, 23);
	mCells = new BooleanValue[dim324.capacity()];
}
 

开发者ID:AlloyTools,
项目名称:org.alloytools.alloy,
代码行数:28,
代码来源:BooleanMatrixTest.java

示例2: init

点赞 2

import kodkod.engine.bool.BooleanVariable; //导入依赖的package包/类
private void init() {
	f = BooleanFactory.factory(size, new Options());
	v = new BooleanVariable[size];
	for (int i = 0; i < size; i++) {
		v[i] = f.variable(i + 1);
		assertNotNull(v[i]);
	}
}
 

开发者ID:AlloyTools,
项目名称:org.alloytools.alloy,
代码行数:9,
代码来源:BooleanCircuitTest.java

示例3: BooleanMatrixTest

点赞 2

import kodkod.engine.bool.BooleanVariable; //导入依赖的package包/类
public BooleanMatrixTest() {
	f = BooleanFactory.factory(NUM_VARS, new Options());
	vars = new BooleanVariable[NUM_VARS];
	for (int i = 0; i < NUM_VARS; i++) { vars[i] = f.variable(i+1); }
	final int[] dims324 = { 3, 2, 4 }, dims43 = {4, 3}, dims4 = {4};
	dim324 = Dimensions.rectangular(dims324);
	dim43 = Dimensions.rectangular(dims43);
	dim4 = Dimensions.rectangular(dims4);

	mR = new IntRange[6];
	mR[0] = range(0,3); mR[1] = range(4,8);
	mR[2] = range(9,10); mR[3] = range(11,14);
	mR[4] = range(15,15); mR[5] = range(16,23);
	mCells = new BooleanValue[dim324.capacity()];
}
 

开发者ID:emina,
项目名称:kodkod,
代码行数:16,
代码来源:BooleanMatrixTest.java

示例4: init

点赞 2

import kodkod.engine.bool.BooleanVariable; //导入依赖的package包/类
private void init() {
	f = BooleanFactory.factory(size, new Options());
	v = new BooleanVariable[size];
	for(int i = 0; i < size; i++) {
		v[i] = f.variable(i+1);
		assertNotNull(v[i]);
	}
}
 

开发者ID:emina,
项目名称:kodkod,
代码行数:9,
代码来源:BooleanCircuitTest.java

示例5: visit

点赞 2

import kodkod.engine.bool.BooleanVariable; //导入依赖的package包/类
public Object visit(BooleanVariable variable, Integer arg) {
	return null; // nothing to do
}
 

开发者ID:AlloyTools,
项目名称:org.alloytools.alloy,
代码行数:4,
代码来源:Bool2CNFTranslator.java

示例6: visit

点赞 2

import kodkod.engine.bool.BooleanVariable; //导入依赖的package包/类
public Object visit(BooleanVariable variable, Operator arg) {
	return null;
}
 

开发者ID:ModelWriter,
项目名称:Tarski,
代码行数:4,
代码来源:BooleanFormulaFlattener.java


版权声明:本文转自网络文章,转载此文章仅为分享知识,如有侵权,请联系管理员进行删除。
喜欢 (0)