at.jku.risc.stout.urauc.data.atom
public class TermVar extends Variable
DEBUG_POSITION, nullAtom
apply, substitute
clone, commonAncestor, compareTo, equals, getName, getPositionIndex, getPositionString, hashCode, isAncestor, isCommutative, normalizeVarNames, print, setCommutative, setPositionIndex
public TermVar(String name)