Class LinearApp 

java.lang.Object
   |
   +----LinearApp
public class LinearApp
extends Object
implements BaseObject
A linear app.

Constructor Index

o LinearApp(BaseObject, BaseObject)

Method Index

o astString(int)
o lambdaType()
o leftSubterm()
o nth(int)
o rightSubterm()
o subterm()
o toString()
o type()
o value()
o variable()

Constructors

o LinearApp 
 public LinearApp(BaseObject l,
                  BaseObject r)

Methods

o nth 
 public BaseObject nth(int i)
o value 
 public String value() throws LLFException
o variable 
 public Variable variable() throws LLFException
o lambdaType 
 public Type lambdaType() throws LLFException
o leftSubterm 
 public BaseObject leftSubterm() throws LLFException
o rightSubterm 
 public BaseObject rightSubterm() throws LLFException
o subterm 
 public BaseObject subterm() throws LLFException
o type 
 public int type()
o toString 
 public String toString()
Overrides:
toString in class Object
o astString 
 public String astString(int indent)