java.lang.Object | +----Identifier
public Identifier(String s)
public BaseObject nth(int i)
public String value() throws LLFException
public Variable variable() throws LLFException
public Type lambdaType() throws LLFException
public BaseObject leftSubterm() throws LLFException
public BaseObject rightSubterm() throws LLFException
public BaseObject subterm() throws LLFException
public int type()
public String toString()
public String astString(int i)