Interface BaseObject

public interface BaseObject
extends LLFNode
This is the base object interface. It is also the top level.


Method Index

 o lambdaType()
 o leftSubterm()
 o nth(int)
 o rightSubterm()
 o subterm()
 o value()
 o variable()

Methods

 o nth
 public abstract BaseObject nth(int i)
 o value
 public abstract String value() throws LLFException
 o variable
 public abstract Variable variable() throws LLFException
 o lambdaType
 public abstract Type lambdaType() throws LLFException
 o leftSubterm
 public abstract BaseObject leftSubterm() throws LLFException
 o rightSubterm
 public abstract BaseObject rightSubterm() throws LLFException
 o subterm
 public abstract BaseObject subterm() throws LLFException