|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
Abstraction of a Term relatively to a set of linear variables.
Field Summary |
Fields inherited from interface org.xmloperator.lambda2.term.model.Term |
TYPE_ABSTRACTION, TYPE_APPLICATION, TYPE_VARIABLE |
Method Summary | |
Term |
getBody()
Returns the body of this Abstraction. |
Variable |
getBoundVariable(int index)
Returns the bound Variable of this Abstraction, with the given index. |
int |
getBoundVariableCount()
Returns the count of linear bound variables of this Abstraction. |
Methods inherited from interface org.xmloperator.lambda2.term.model.Term |
buildAbstraction, buildAbstraction, buildAbstraction, buildApplication, buildApplication, freeVariables, getTermType, isAbstraction, isApplication, isVariable, toText |
Method Detail |
public Term getBody()
public int getBoundVariableCount()
public Variable getBoundVariable(int index)
index
- an index between 0 and
boundVariableCount -1.
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |