public class HedgeVar extends Variable
nullAtom
apply, substitute
copy, getName, print
toString
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait