org.xmloperator.lambda.tree.model
Interface Leaf

All Superinterfaces:
Term

public interface Leaf
extends Term

Leaf term in a namefree lambda-term. Represents the 0 symbol in the De Bruijn notation.


Field Summary
 
Fields inherited from interface org.xmloperator.lambda.tree.model.Term
TYPE_ABSTRACTION, TYPE_APPLICATION, TYPE_ENDOFSCOPE, TYPE_LEAF
 
Methods inherited from interface org.xmloperator.lambda.tree.model.Term
canBeReturnedToFactory, getFactory, getParent, getType, isAbstraction, isApplication, isEndOfScope, isLeaf, returnToFactory