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