org.xmloperator.lambda2.term.impl
Class AbstractionNImpl

java.lang.Object
  extended byorg.xmloperator.lambda2.term.impl.TermImpl
      extended byorg.xmloperator.lambda2.term.impl.Abstraction0Impl
          extended byorg.xmloperator.lambda2.term.impl.AbstractionNImpl
All Implemented Interfaces:
Abstraction, Term

public final class AbstractionNImpl
extends Abstraction0Impl

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

AbstractionNImpl

public AbstractionNImpl(TermImpl body,
                        Variable[] boundVariables)
Method Detail

getBoundVariableCount

public int getBoundVariableCount()
Description copied from interface: Abstraction
Returns the count of linear bound variables of this Abstraction.

Specified by:
getBoundVariableCount in interface Abstraction
Overrides:
getBoundVariableCount in class Abstraction0Impl

getBoundVariable

public Variable getBoundVariable(int index)
Description copied from interface: Abstraction
Returns the bound Variable of this Abstraction, with the given index.

Specified by:
getBoundVariable in interface Abstraction
Overrides:
getBoundVariable in class Abstraction0Impl