java bounds_Java Bounds.intBounds方法代码示例

import kodkod.instance.Bounds; //导入方法依赖的package包/类

/**

* Returns an exact interpreter for the given bounds and options. If

* {@code incremental} is true, then the resulting interpreter

* can be {@linkplain #extend(Set, Map, Map) extended} with new bindings.

* Otherwise, the interpreter will throw an exception if extension is

* attempted.

* @return some l: LeafInterpreter | l.universe = bounds.universe &&

* l.relations = bounds.relations() && l.ints = bounds.ints() &&

* l.lbounds = bounds.lowerBound && l.ubounds = bounds.upperBound &&

* l.ibounds = bounds.intBound && l.factory =

* BooleanFactory.factory(sum(r: l.relations |

* #(l.ubounds[r]-l.lbounds[r]))-1, options) && l.vars[relations] =

* l.factory & BooleanVariable

static final LeafInterpreter exact(Bounds bounds, Options options, boolean incremental) {

final Map vars = new LinkedHashMap();

final Map lowers = incremental ? new LinkedHashMap(bounds.lowerBounds())

: bounds.lowerBounds();

final Map uppers = incremental ? new LinkedHashMap(bounds.upperBounds())

: bounds.upperBounds();

final int numVars = allocateVars(1, vars, bounds.relations(), lowers, uppers);

return new LeafInterpreter(bounds.universe(), lowers, uppers, bounds.intBounds(),

BooleanFactory.factory(numVars, options), vars);

}

java bounds_Java Bounds.intBounds方法代码示例相关推荐

java kryo_Kryo框架使用方法代码示例
Kryo框架的source已移至https://github.com/EsotericSoftware/kryo ,进入此页面,然后点击右边的Download Zip按钮,就能下载到最新版本的Kryo ...
java readtimeout_Java HttpURLConnection.getReadTimeout方法代码示例
import java.net.HttpURLConnection; //导入方法依赖的package包/类 /** * 得到响应对象 * * @param urlConnection * @retu ...
java invalidate_Java Component.invalidate方法代码示例
import java.awt.Component; //导入方法依赖的package包/类 /** Installs the component we will embed to display t ...
java hasmoreelements_Java IOException.hasMoreElements方法代码示例
import java.io.IOException; //导入方法依赖的package包/类 /** * fileName�� package �� ...
java methode_Java Method.getTypeParameters方法代码示例
import java.lang.reflect.Method; //导入方法依赖的package包/类 private void validateRuleMethod(MethodRuleDefin ...
java setmethod_Java Operation.setJavaMethod方法代码示例
import com.sun.tools.internal.ws.processor.model.Operation; //导入方法依赖的package包/类 private void createJ ...
java cancel_Java RunnableFuture.cancel方法代码示例
import java.util.concurrent.RunnableFuture; //导入方法依赖的package包/类 @Test public void testSnapshotAsyncC ...
java getevent_Java ActionEvent.getWhen方法代码示例
import java.awt.event.ActionEvent; //导入方法依赖的package包/类 @Override final public void actionPerformed(A ...
java deepcopy_Java JsonNode.deepCopy方法代码示例
import com.fasterxml.jackson.databind.JsonNode; //导入方法依赖的package包/类 /** * Applies this schema rule t ...
java setlayout_Java JLabel.setLayout方法代码示例
import javax.swing.JLabel; //导入方法依赖的package包/类 private void initTitlePanel(){ preYear = new JLabel(& ...

java bounds_Java Bounds.intBounds方法代码示例

java bounds_Java Bounds.intBounds方法代码示例相关推荐

最新文章

热门文章