private static class SimpleBlockContract.TermReplacementMap extends SimpleBlockContract.ReplacementMap<Term>
AbstractMap.SimpleEntry<K,V>, AbstractMap.SimpleImmutableEntry<K,V>
Modifier and Type | Field and Description |
---|---|
private static long |
serialVersionUID |
Modifier | Constructor and Description |
---|---|
private |
SimpleBlockContract.TermReplacementMap() |
Modifier and Type | Method and Description |
---|---|
protected Term |
convert(ProgramVariable variable,
TermServices services) |
void |
replaceHeap(Term newHeap,
Services services) |
replaceFlags, replaceRemembranceHeaps, replaceRemembranceLocalVariables, replaceSelf, replaceVariable
clear, containsValue, get, removeEldestEntry
clone, containsKey, entrySet, isEmpty, keySet, put, putAll, remove, size, values
equals, hashCode, toString
private static final long serialVersionUID
private SimpleBlockContract.TermReplacementMap()
protected Term convert(ProgramVariable variable, TermServices services)
convert
in class SimpleBlockContract.ReplacementMap<Term>