org.xmloperator.lambda.tree.model
Interface Abstraction

All Superinterfaces:
Term, TermWithBody

public interface Abstraction
extends TermWithBody

Abstraction Term.


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.TermWithBody
clearBody, getBody, setBody
 
Methods inherited from interface org.xmloperator.lambda.tree.model.Term
canBeReturnedToFactory, getFactory, getParent, getType, isAbstraction, isApplication, isEndOfScope, isLeaf, returnToFactory