S
- the type of the operators to replace.T
- the type of the replacements.public static class ReplacementMap.DefaultReplacementMap<S extends SVSubstitute,T> extends LinkedHashMap<S,T> implements ReplacementMap<S,T>
The replacement map type to use if TermLabelSettings.getUseOriginLabels()
is false.
LinkedHashMap
.java.util.AbstractMap.SimpleEntry<K,V>, java.util.AbstractMap.SimpleImmutableEntry<K,V>
ReplacementMap.DefaultReplacementMap<S extends SVSubstitute,T>, ReplacementMap.NoIrrelevantLabelsReplacementMap<S extends SVSubstitute,T>
Constructor and Description |
---|
DefaultReplacementMap() |
iterator, putAll, putAll
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
finalize, getClass, notify, notifyAll, wait, wait, wait
create, create
Copyright © 2003-2019 The KeY-Project.