S
- the type of the operators to replace.T
- the type of the replacements.public static class ReplacementMap.NoIrrelevantLabelsReplacementMap<S extends SVSubstitute,T> extends java.lang.Object implements ReplacementMap<S,T>
The replacement map type to use if TermLabelSettings.getUseOriginLabels()
is true.
This map considers otherwise equal terms with different origins as equal.
OriginTermLabel
ReplacementMap.DefaultReplacementMap<S extends SVSubstitute,T>, ReplacementMap.NoIrrelevantLabelsReplacementMap<S extends SVSubstitute,T>
Constructor and Description |
---|
NoIrrelevantLabelsReplacementMap(TermFactory tf)
Create a new map
|
Modifier and Type | Method and Description |
---|---|
void |
clear() |
boolean |
containsKey(java.lang.Object key) |
boolean |
containsValue(java.lang.Object value) |
java.util.Set<java.util.Map.Entry<S,T>> |
entrySet() |
T |
get(java.lang.Object key) |
boolean |
isEmpty() |
java.util.Set<S> |
keySet() |
T |
put(S key,
T value) |
void |
putAll(java.util.Map<? extends S,? extends T> m) |
T |
remove(java.lang.Object key) |
int |
size() |
java.util.Collection<T> |
values() |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
create, create
public NoIrrelevantLabelsReplacementMap(TermFactory tf)
tf
- a term factory.public int size()
size
in interface java.util.Map<S extends SVSubstitute,T>
public boolean isEmpty()
isEmpty
in interface java.util.Map<S extends SVSubstitute,T>
public boolean containsKey(java.lang.Object key)
containsKey
in interface java.util.Map<S extends SVSubstitute,T>
public boolean containsValue(java.lang.Object value)
containsValue
in interface java.util.Map<S extends SVSubstitute,T>
public T get(java.lang.Object key)
get
in interface java.util.Map<S extends SVSubstitute,T>
public T put(S key, T value)
put
in interface java.util.Map<S extends SVSubstitute,T>
public T remove(java.lang.Object key)
remove
in interface java.util.Map<S extends SVSubstitute,T>
public void putAll(java.util.Map<? extends S,? extends T> m)
putAll
in interface java.util.Map<S extends SVSubstitute,T>
public void clear()
clear
in interface java.util.Map<S extends SVSubstitute,T>
public java.util.Set<S> keySet()
keySet
in interface java.util.Map<S extends SVSubstitute,T>
public java.util.Collection<T> values()
values
in interface java.util.Map<S extends SVSubstitute,T>
public java.util.Set<java.util.Map.Entry<S,T>> entrySet()
entrySet
in interface java.util.Map<S extends SVSubstitute,T>
Copyright © 2003-2019 The KeY-Project.