public class TermVar extends Variable
TermVar(java.lang.String name)
compareTo, getAtom
compare, getName, hashCode, print, toString
equals, getClass, notify, notifyAll, wait, wait, wait
print
public TermVar(java.lang.String name)