Class Lollipop

java.lang.Object
   |
   +----Lollipop

public class Lollipop
extends Object
implements Type
Linear function types.


Constructor Index

 o Lollipop(Type, Type)

Method Index

 o astString(int)
 o leftSubterm()
 o rightSubterm()
 o toString()
 o type()
 o variable()

Constructors

 o Lollipop
 public Lollipop(Type l,
                 Type r)

Methods

 o variable
 public Variable variable() throws LLFException
 o leftSubterm
 public Type leftSubterm() throws LLFException
 o rightSubterm
 public Type rightSubterm() throws LLFException
 o type
 public int type()
 o toString
 public String toString()
Overrides:
toString in class Object
 o astString
 public String astString(int indent)