public class TermPair extends java.lang.Object implements java.lang.Comparable<TermPair>
TermPair(Term term1, Term term2)
int
compareTo(TermPair o)
boolean
equals(java.lang.Object obj)
Term
getTerm1()
getTerm2()
hashCode()
clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait
public TermPair(Term term1, Term term2)
public Term getTerm1()
public Term getTerm2()
public boolean equals(java.lang.Object obj)
equals
java.lang.Object
public int hashCode()
hashCode
public int compareTo(TermPair o)
compareTo
java.lang.Comparable<TermPair>