Class LinearLambda 

java.lang.Object
   |
   +----LinearLambda
public class LinearLambda
extends Object
implements BaseObject
The Linear function [x:A]M. This class represents linear lambda functions.

Variable Index

o a_
o m_
o x_

Constructor Index

o LinearLambda(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()

Variables

o x_ 
 public Variable x_
o a_ 
 public Type a_
o m_ 
 public BaseObject m_

Constructors

o LinearLambda 
 public LinearLambda(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)