Class Lollipop
java.lang.Object
|
+----Lollipop
- public class Lollipop
- extends Object
- implements Type
Linear function types.
-
Lollipop(Type, Type)
-
-
astString(int)
-
-
leftSubterm()
-
-
rightSubterm()
-
-
toString()
-
-
type()
-
-
variable()
-
Lollipop
public Lollipop(Type l,
Type r)
variable
public Variable variable() throws LLFException
leftSubterm
public Type leftSubterm() throws LLFException
rightSubterm
public Type rightSubterm() throws LLFException
type
public int type()
toString
public String toString()
- Overrides:
- toString in class Object
astString
public String astString(int indent)