@@ -277,17 +277,17 @@ object Semantic {
277
277
class Cache {
278
278
private val in : CacheStore = mutable.Map .empty
279
279
private var out : CacheStore = mutable.Map .empty
280
- private val global : CacheStore = mutable.Map .empty
280
+ private val stable : CacheStore = mutable.Map .empty
281
281
private var changed : Boolean = false
282
282
283
283
def hasChanged = changed
284
284
285
285
def contains (value : Value , expr : Tree ) =
286
- out.contains(value, expr) || global .contains(value, expr)
286
+ out.contains(value, expr) || stable .contains(value, expr)
287
287
288
288
def apply (value : Value , expr : Tree ) =
289
289
if out.contains(value, expr) then out(value)(expr)
290
- else global (value)(expr)
290
+ else stable (value)(expr)
291
291
292
292
def assume (value : Value , expr : Tree ) =
293
293
@@ -310,7 +310,7 @@ object Semantic {
310
310
311
311
/** Prepare cache for the next iteration
312
312
*
313
- * - Commit out cache to global cache if unchanged.
313
+ * - Commit out cache to stable cache if unchanged.
314
314
* - Reset changed flag
315
315
* - Reset out cache
316
316
*
@@ -320,7 +320,7 @@ object Semantic {
320
320
if ! changed then
321
321
out.foreach { (v, m) =>
322
322
m.iterator.foreach { (e, res) =>
323
- global .put(v, e, res)
323
+ stable .put(v, e, res)
324
324
}
325
325
}
326
326
end if
0 commit comments