java.lang.Object | +----LinearLambda
public Variable x_
public Type a_
public BaseObject m_
public LinearLambda(Variable x, Type a, BaseObject m)
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)