Class Lambda 

java.lang.Object
   |
   +----Lambda
public class Lambda
extends Object
implements BaseObject
The intuitionistic function [x^A]M. This class represents intuitionistic lambda functions

Constructor Index

o Lambda(Variable, Type, 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 Lambda 
 public Lambda(Variable x,
               Type a,
               BaseObject m)

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 i)