private static class AbstractAuxiliaryContractImpl.TermReplacementMap extends AbstractAuxiliaryContractImpl.ReplacementMap<Term>
Modifier and Type | Field and Description |
---|---|
private static long |
serialVersionUID |
Modifier | Constructor and Description |
---|---|
private |
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, entrySet, forEach, get, getOrDefault, keySet, removeEldestEntry, replaceAll, values
clone, compute, computeIfAbsent, computeIfPresent, containsKey, isEmpty, merge, put, putAll, putIfAbsent, remove, remove, replace, replace, size
private static final long serialVersionUID
protected Term convert(ProgramVariable variable, TermServices services)
convert
in class AbstractAuxiliaryContractImpl.ReplacementMap<Term>
variable
- a variable.services
- services.S
.