Class FunctionType
java.lang.Object
|
+----FunctionType
- public class FunctionType
- extends Object
- implements Type
Intuitionistic function types.
-
FunctionType(Variable, Type, Type)
-
-
astString(int)
-
-
leftSubterm()
-
-
rightSubterm()
-
-
toString()
-
-
type()
-
-
variable()
-
FunctionType
public FunctionType(Variable x,
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 i)