private static final class LexPathOrdering.CacheKey extends Object
Term
left
right
LexPathOrdering.CacheKey(Term left, Term right)
boolean
equals(Object arg0)
int
hashCode()
clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait
public final Term left
public final Term right
public LexPathOrdering.CacheKey(Term left, Term right)
public boolean equals(Object arg0)
equals
Object
public int hashCode()
hashCode