org.xmloperator.lambda2.term.model
Interface Variable

All Superinterfaces:
Term
All Known Implementing Classes:
VariableImpl

public interface Variable
extends Term

A free or bound variable.

A bound Variable must be used inside its bound Abstraction.


Field Summary
 
Fields inherited from interface org.xmloperator.lambda2.term.model.Term
TYPE_ABSTRACTION, TYPE_APPLICATION, TYPE_VARIABLE
 
Methods inherited from interface org.xmloperator.lambda2.term.model.Term
buildAbstraction, buildAbstraction, buildAbstraction, buildApplication, buildApplication, freeVariables, getTermType, isAbstraction, isApplication, isVariable, toText