Class TypeFamilyConstant 

java.lang.Object
   |
   +----TypeFamilyConstant
public class TypeFamilyConstant
extends Object
implements TypeFamily
Type family constants.

Constructor Index

o TypeFamilyConstant(String)

Method Index

o astString(int)
o leftSubterm()
o nth(int)
o rightSubterm()
o subTerm()
o subTypeFamily()
o toString()
o type()
o value()
o variable()

Constructors

o TypeFamilyConstant 
 public TypeFamilyConstant(String s)

Methods

o nth 
 public BaseObject nth(int i)
o variable 
 public Variable variable() throws LLFException
o leftSubterm 
 public Type leftSubterm() throws LLFException
o rightSubterm 
 public Type rightSubterm() throws LLFException
o value 
 public String value() throws LLFException
o subTypeFamily 
 public TypeFamily subTypeFamily() 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)