|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.xmloperator.lambda2.term.impl.TermImpl
org.xmloperator.lambda2.term.impl.Abstraction0Impl
org.xmloperator.lambda2.term.impl.AbstractionNImpl
Two or more variables Abstraction implementation.
Field Summary |
Fields inherited from interface org.xmloperator.lambda2.term.model.Term |
TYPE_ABSTRACTION, TYPE_APPLICATION, TYPE_VARIABLE |
Constructor Summary | |
AbstractionNImpl(TermImpl body,
Variable[] boundVariables)
|
Method Summary | |
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 class org.xmloperator.lambda2.term.impl.Abstraction0Impl |
getBody, getTermType, isAbstraction |
Methods inherited from class org.xmloperator.lambda2.term.impl.TermImpl |
buildAbstraction, buildAbstraction, buildAbstraction, buildApplication, buildApplication, freeVariables, isApplication, isVariable, toString, toText |
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Methods inherited from interface org.xmloperator.lambda2.term.model.Term |
buildAbstraction, buildAbstraction, buildAbstraction, buildApplication, buildApplication, freeVariables, isApplication, isVariable, toText |
Constructor Detail |
public AbstractionNImpl(TermImpl body, Variable[] boundVariables)
Method Detail |
public int getBoundVariableCount()
Abstraction
getBoundVariableCount
in interface Abstraction
getBoundVariableCount
in class Abstraction0Impl
public Variable getBoundVariable(int index)
Abstraction
getBoundVariable
in interface Abstraction
getBoundVariable
in class Abstraction0Impl
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |