public class TermVar extends HedgeVar
DEBUG_POSITION, nullAtom
apply, normalizeVarNames, substitute
clone, commonAncestor, compareTo, equals, getName, getPositionIndex, getPositionString, hashCode, isAncestor, isCommutative, print, setCommutative, setPositionIndex
public TermVar(String name)