private static class AbstractAuxiliaryContractImpl.VariableReplacementMap extends AbstractAuxiliaryContractImpl.ReplacementMap<ProgramVariable>
Modifier and Type | Field and Description |
---|---|
private static long |
serialVersionUID |
Modifier | Constructor and Description |
---|---|
private |
VariableReplacementMap() |
Modifier and Type | Method and Description |
---|---|
protected ProgramVariable |
convert(ProgramVariable variable,
TermServices 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 ProgramVariable convert(ProgramVariable variable, TermServices services)
convert
in class AbstractAuxiliaryContractImpl.ReplacementMap<ProgramVariable>
variable
- a variable.services
- services.S
.