Class Identifier 

java.lang.Object
   |
   +----Identifier
public class Identifier
extends Object
implements BaseObject
A variable or constant. This class represent the "v" or "c" of the official grammar spec.

Constructor Index

o Identifier(String)

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 Identifier 
 public Identifier(String s)

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)