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