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)