Class TypeFamilyInstantiation 

java.lang.Object
   |
   +----TypeFamilyInstantiation
public class TypeFamilyInstantiation
extends Object
implements TypeFamily
Type family instantiation.

Constructor Index

o TypeFamilyInstantiation(TypeFamily, BaseObject)

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 TypeFamilyInstantiation 
 public TypeFamilyInstantiation(TypeFamily p,
                                BaseObject m)

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)