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

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

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

示例1: BooleanMatrixTest

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

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

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

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

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

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

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