本文整理汇总了Java中kodkod.instance.Instance.contains方法的典型用法代码示例。如果您正苦于以下问题：Java Instance.contains方法的具体用法？Java Instance.contains怎么用？Java Instance.contains使用的例子？那么恭喜您, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类kodkod.instance.Instance的用法示例。
在下文中一共展示了Instance.contains方法的1个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的Java代码示例。
示例1: padInstance
import kodkod.instance.Instance; //导入方法依赖的package包/类
/**
* "Pads" the argument instance with the mappings that occur in bounds.lowerBound
* but not in the instance.
* @requires instance.relations in bounds.relations
* @ensures instance.relations' = bounds.relations' &&
* instance.tuples' = bounds.lowerBound ++ instance.tuples
* @return instance
*/
private static Instance padInstance(Instance instance, Bounds bounds) {
for (Relation r : bounds.relations()) {
if (!instance.contains(r)) {
instance.add(r, bounds.lowerBound(r));
}
}
for (IntIterator iter = bounds.ints().iterator(); iter.hasNext();) {
int i = iter.next();
instance.add(i, bounds.exactBound(i));
}
return instance;
}