public abstract class Variable extends TermAtom implements Term
Variable(java.lang.String name)
int
compareTo(Term o)
TermAtom
getAtom()
compare, getName, hashCode, print, toString
equals, getClass, notify, notifyAll, wait, wait, wait
print
public Variable(java.lang.String name)
public int compareTo(Term o)
compareTo
java.lang.Comparable<Term>
public TermAtom getAtom()
getAtom
Term