public class Substitution extends java.util.HashMap<Formula,Formula>
java.util.AbstractMap.SimpleEntry<K,V>, java.util.AbstractMap.SimpleImmutableEntry<K,V>
java.util.Map.Entry<K,V>
Substitution()
java.lang.String
toString()
clear, clone, compute, computeIfAbsent, computeIfPresent, containsKey, containsValue, entrySet, forEach, get, getOrDefault, isEmpty, keySet, merge, put, putAll, putIfAbsent, remove, remove, replace, replace, replaceAll, size, values
equals, hashCode
getClass, notify, notifyAll, wait, wait, wait
public Substitution()
public java.lang.String toString()
toString
java.util.AbstractMap<Formula,Formula>