|
|||||||||||
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.Application1Impl
org.xmloperator.lambda2.term.impl.ApplicationNImpl
Application with function exponent implementation.
Field Summary |
Fields inherited from interface org.xmloperator.lambda2.term.model.Term |
TYPE_ABSTRACTION, TYPE_APPLICATION, TYPE_VARIABLE |
Constructor Summary | |
ApplicationNImpl(TermImpl function,
TermImpl argument,
long functionExponent)
|
Method Summary | |
long |
getFunctionExponent()
Returns the function exponent. |
Methods inherited from class org.xmloperator.lambda2.term.impl.Application1Impl |
getArgument, getFunction, getTermType, isApplication |
Methods inherited from class org.xmloperator.lambda2.term.impl.TermImpl |
buildAbstraction, buildAbstraction, buildAbstraction, buildApplication, buildApplication, freeVariables, isAbstraction, 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, isAbstraction, isVariable, toText |
Constructor Detail |
public ApplicationNImpl(TermImpl function, TermImpl argument, long functionExponent)
Method Detail |
public final long getFunctionExponent()
Application
getFunctionExponent
in interface Application
getFunctionExponent
in class Application1Impl
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |