org.xmloperator.lambda2.term.impl
Class ApplicationNImpl

java.lang.Object
  extended byorg.xmloperator.lambda2.term.impl.TermImpl
      extended byorg.xmloperator.lambda2.term.impl.Application1Impl
          extended byorg.xmloperator.lambda2.term.impl.ApplicationNImpl
All Implemented Interfaces:
Application, Term

public final class ApplicationNImpl
extends Application1Impl

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

ApplicationNImpl

public ApplicationNImpl(TermImpl function,
                        TermImpl argument,
                        long functionExponent)
Method Detail

getFunctionExponent

public final long getFunctionExponent()
Description copied from interface: Application
Returns the function exponent. Optional feature. Default value is 1L.

Specified by:
getFunctionExponent in interface Application
Overrides:
getFunctionExponent in class Application1Impl