本文整理汇总了Java中kodkod.instance.Instance.intTuples方法的典型用法代码示例。如果您正苦于以下问题：Java Instance.intTuples方法的具体用法？Java Instance.intTuples怎么用？Java Instance.intTuples使用的例子？那么恭喜您, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类kodkod.instance.Instance的用法示例。
在下文中一共展示了Instance.intTuples方法的5个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的Java代码示例。
示例1: toString
import kodkod.instance.Instance; //导入方法依赖的package包/类
/** Dumps the Kodkod solution into String. */
@Override
public String toString() {
if (!solved)
return "---OUTCOME---\nUnknown.\n";
if (eval == null)
return "---OUTCOME---\nUnsatisfiable.\n";
String answer = toStringCache;
if (answer != null)
return answer;
Instance sol = eval.instance();
StringBuilder sb = new StringBuilder();
sb.append("---INSTANCE---\n" + "integers={");
boolean firstTuple = true;
for (IndexedEntry<TupleSet> e : sol.intTuples()) {
if (firstTuple)
firstTuple = false;
else
sb.append(", ");
// No need to print e.index() since we've ensured the Int atom's
// String representation is always equal to ""+e.index()
Object atom = e.value().iterator().next().atom(0);
sb.append(atom2name(atom));
}
sb.append("}\n");
try {
for (Sig s : sigs) {
sb.append(s.label).append("=").append(eval(s)).append("\n");
for (Field f : s.getFields())
sb.append(s.label).append("<:").append(f.label).append("=").append(eval(f)).append("\n");
}
for (ExprVar v : skolems) {
sb.append("skolem ").append(v.label).append("=").append(eval(v)).append("\n");
}
return toStringCache = sb.toString();
} catch (Err er) {
return toStringCache = ("<Evaluator error occurred: " + er + ">");
}
}
示例2: toString
import kodkod.instance.Instance; //导入方法依赖的package包/类
/** Dumps the Kodkod solution into String. */
@Override public String toString() {
if (!solved) return "---OUTCOME---\nUnknown.\n";
if (eval == null) return "---OUTCOME---\nUnsatisfiable.\n";
String answer = toStringCache;
if (answer != null) return answer;
Instance sol = eval.instance();
StringBuilder sb = new StringBuilder();
sb.append("---INSTANCE---\n" + "integers={");
boolean firstTuple = true;
for(IndexedEntry<TupleSet> e:sol.intTuples()) {
if (firstTuple) firstTuple=false; else sb.append(", ");
// No need to print e.index() since we've ensured the Int atom's String representation is always equal to ""+e.index()
Object atom = e.value().iterator().next().atom(0);
sb.append(atom2name(atom));
}
sb.append("}\n");
try {
for(Sig s:sigs) {
sb.append(s.label).append("=").append(eval(s)).append("\n");
for(Field f:s.getFields()) sb.append(s.label).append("<:").append(f.label).append("=").append(eval(f)).append("\n");
}
for(ExprVar v:skolems) {
sb.append("skolem ").append(v.label).append("=").append(eval(v)).append("\n");
}
return toStringCache = sb.toString();
} catch(Err er) {
return toStringCache = ("<Evaluator error occurred: "+er+">");
}
}
示例3: exact
import kodkod.instance.Instance; //导入方法依赖的package包/类
/**
* Returns an exact leaf interpreter based on the given instance and
* options.
*
* @return some l: LeafInterpreter | l.universe = instance.universe &&
* l.relations = instance.relations() && l.ints = instance.ints() &&
* l.lbounds = l.ubounds = instance.relationTuples() && l.ibounds =
* instance.intTuples && l.factory =
* BooleanFactory.constantFactory(options) && no l.vars
*/
static final LeafInterpreter exact(Instance instance, Options options) {
return new LeafInterpreter(instance.universe(), instance.relationTuples(), instance.intTuples(), options);
}
示例4: exact
import kodkod.instance.Instance; //导入方法依赖的package包/类
/**
* Returns an exact leaf interpreter based on the given instance and options.
* @return { l: LeafInterpreter | l.universe = instance.universe && l.relations = instance.relations() &&
* l.ints = instance.ints() && l.lbounds = l.ubounds = instance.relationTuples() &&
* l.ibounds = instance.intTuples && l.factory = BooleanFactory.constantFactory(options) && no l.vars }
*/
static final LeafInterpreter exact(Instance instance, Options options) {
return new LeafInterpreter(instance.universe(), instance.relationTuples(), instance.intTuples(), options);
}
示例5: exact
import kodkod.instance.Instance; //导入方法依赖的package包/类
/**
* Returns an exact leaf interpreter based on the given instance and options.
* @return some l: LeafInterpreter | l.universe = instance.universe && l.relations = instance.relations() &&
* l.ints = instance.ints() && l.lbounds = l.ubounds = instance.relationTuples() &&
* l.ibounds = instance.intTuples && l.factory = BooleanFactory.constantFactory(options) && no l.vars
*/
static final LeafInterpreter exact(Instance instance, Options options) {
return new LeafInterpreter(instance.universe(), instance.relationTuples(), instance.intTuples(), options);
}