本文整理汇总了Java中kodkod.util.collections.CacheSet类的典型用法代码示例。如果您正苦于以下问题:Java CacheSet类的具体用法?Java CacheSet怎么用?Java CacheSet使用的例子?那么恭喜您, 这里精选的类代码示例或许可以为您提供帮助。
CacheSet类属于kodkod.util.collections包,在下文中一共展示了CacheSet类的4个代码示例,这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞,您的评价将有助于系统推荐出更棒的Java代码示例。
示例1: ConcurrentMemoryHandler
import kodkod.util.collections.CacheSet; //导入依赖的package包/类
/**
* Constructs a new concurrent memory handler for the given info and
* options, set to translate the thread with id 0.
* @effects this.info' = info and this.options' = options and this.thread' = 0 and
* this.factory' = new ExpressionFactory(info, options) no this.actions'
* and no this.guards'
*/
public ConcurrentMemoryHandler(WalaInformation info, Options options) {
this.factory = new ConcurrentFactory(new ExpressionFactory(info, options));
this.insts = new CacheSet<InlinedInstruction>();
this.guards = new LinkedHashMap<InlinedInstruction, Formula>();
for(CGNode thread : info.threads()) {
final WalaConcurrentInformation tInfo = info.concurrentInformation(thread);
insts.addAll( tInfo.actions() );
guards.put( tInfo.start(), Formula.TRUE);
guards.put( tInfo.end(), Formula.TRUE);
}
this.locations = new LinkedHashMap<InlinedInstruction, Expression>();
this.monitors = new LinkedHashMap<InlinedInstruction, Expression>();
this.reads = new LinkedHashMap<InlinedInstruction, Relation>();
this.writes = new LinkedHashMap<InlinedInstruction, Expression>();
}
示例2: PartialCannonicalizer
import kodkod.util.collections.CacheSet; //导入依赖的package包/类
PartialCannonicalizer() {
exprs = new CacheSet<PartialCannonicalizer.Holder<Expression>>();
formulas = new CacheSet<PartialCannonicalizer.Holder<Formula>>();
intExprs = new CacheSet<PartialCannonicalizer.Holder<IntExpression>>();
}
示例3: opCache
import kodkod.util.collections.CacheSet; //导入依赖的package包/类
/**
* Returns the cache for gates with the given operator.
*
* @requires op in AND + OR + ITE
* @return cache[op.ordinal]
*/
private CacheSet<BooleanFormula> opCache(Operator op) {
return cache[op.ordinal];
}
示例4: opCache
import kodkod.util.collections.CacheSet; //导入依赖的package包/类
/**
* Returns the cache for gates with the given operator.
* @requires op in AND + OR + ITE
* @return cache[op.ordinal]
*/
private CacheSet<BooleanFormula> opCache(Operator op) {
return cache[op.ordinal];
}