java.lang.Object | +----TypeFamilyConstant
public TypeFamilyConstant(String s)
public BaseObject nth(int i)
public Variable variable() throws LLFException
public Type leftSubterm() throws LLFException
public Type rightSubterm() throws LLFException
public String value() throws LLFException
public TypeFamily subTypeFamily() throws LLFException
public BaseObject subTerm() throws LLFException
public int type()
public String toString()
public String astString(int i)