本文整理汇总了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>();
}
开发者ID:wala,项目名称:MemSAT,代码行数:24,代码来源:ConcurrentMemoryHandler.java
示例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>>();
}
开发者ID:wala,项目名称:MemSAT,代码行数:6,代码来源:PartialCannonicalizer.java
示例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];
}
开发者ID:AlloyTools,项目名称:org.alloytools.alloy,代码行数:10,代码来源:RBCFactory.java
示例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];
}
开发者ID:ModelWriter,项目名称:Tarski,代码行数:9,代码来源:RBCFactory.java
注:本文中的kodkod.util.collections.CacheSet类示例整理自Github/MSDocs等源码及文档管理平台,相关代码片段筛选自各路编程大神贡献的开源项目,源码版权归原作者所有,传播和使用请参考对应项目的License;未经允许,请勿转载。 |
请发表评论