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