public static class AbbrevMap.AbbrevWrapper extends Object
private Term
t
AbbrevMap.AbbrevWrapper(Term t)
boolean
equals(Object o)
Term
getTerm()
int
hashCode()
clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait
private Term t
public AbbrevMap.AbbrevWrapper(Term t)
public int hashCode()
hashCode
Object
public boolean equals(Object o)
equals
public Term getTerm()