Class Unit 

java.lang.Object
   |
   +----Unit
public class Unit
extends Object
implements BaseObject
A Unit. "<>".

Constructor Index

o Unit()

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 Unit 
 public Unit()

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)