Uses of Interface
org.xmloperator.lambda.tree.model.Abstraction

Packages that use Abstraction
org.xmloperator.lambda.tree.generate   
org.xmloperator.lambda.tree.model   
org.xmloperator.lambda.tree.util   
 

Uses of Abstraction in org.xmloperator.lambda.tree.generate
 

Methods in org.xmloperator.lambda.tree.generate that return Abstraction
static Abstraction ChurchNumerals.newInt(TermFactory termFactory, int n)
          Creates and returns a new instance of the Abstraction that represents the integer n: 0 = "aav", 1 = "aacevv", 2 = "aacevcevv", 3 = "aacevcevcevv", ...
static Abstraction ChurchNumerals.newSucc(TermFactory termFactory)
          Creates and returns a new instance of the "Succ" Abstraction ("aaacevcceevevv").
static Abstraction ChurchNumerals.newZero(TermFactory termFactory)
          Creates and returns a new instance of the "Zero" Abstraction ("aaacceevcKvev").
static Abstraction ChurchNumerals.newAdd(TermFactory termFactory)
          Creates and returns a new instance of the "Add" Abstraction ("aaaacceeevevcceevevv").
static Abstraction ChurchNumerals.newMult(TermFactory termFactory)
          Creates and returns a new instance of the "Mult" Abstraction ("aaaceevcevv").
static Abstraction ChurchNumerals.newExp(TermFactory termFactory)
          Creates and returns a new instance of the "Exp" Abstraction ("aacvev").
 

Methods in org.xmloperator.lambda.tree.generate with parameters of type Abstraction
static int ChurchNumerals.intValue(Abstraction abstraction)
          Returns the integer value of a Church numeral or -1 if the argument is not a Church numeral.
 

Uses of Abstraction in org.xmloperator.lambda.tree.model
 

Methods in org.xmloperator.lambda.tree.model that return Abstraction
 Abstraction TermFactory.createAbstraction()
          Create an Abstraction, with no parent and no body.
 

Uses of Abstraction in org.xmloperator.lambda.tree.util
 

Methods in org.xmloperator.lambda.tree.util that return Abstraction
static Abstraction AlphaUtils.matchingAbstraction(Term variable)
          Returns the Abstraction matching a given variable.
static Abstraction CommonTerms.newIdentity(TermFactory termFactory)
          Creates and returns an Abstraction that maps to "av".
static Abstraction CommonTerms.newNullAbstraction(Term body)
          Creates and returns an Abstraction that is immediatly followed by an EndOfScope on itself.
static Abstraction CommonTerms.newTrue(TermFactory termFactory)
          Creates and returns an Abstraction that maps to K = "aaev".
static Abstraction CommonTerms.newFalse(TermFactory termFactory)
          Creates and returns an Abstraction that maps to F = "aav".
static Abstraction CommonTerms.newBoolean(TermFactory termFactory, boolean value)
          Creates and returns an Abstraction that, depending on value, maps to value ?
static Abstraction CommonTerms.newCouple(TermFactory termFactory)
          Creates and returns an Abstraction that maps to "aaaccveevev".
static Abstraction CommonTerms.newFirstInCouple(TermFactory termFactory, boolean value)
          Creates and returns an Abstraction that, depending on value, maps to value ?
static Abstraction CommonTerms.newDelta(TermFactory termFactory)
          Creates and returns an Abstraction that maps to "D" = "acvv".
static Abstraction CommonTerms.newYPart(TermFactory termFactory)
          Creates and returns an Abstraction that maps to "acevcvv".
static Abstraction CommonTerms.newY(TermFactory termFactory)
          Creates and returns an Abstraction that maps to "acacevcvvacevcvv".
static Abstraction CommonTerms.newV(TermFactory termFactory)
          Creates and returns an Abstraction that maps to "V" = "aacvcecvvv".
static Abstraction FactoryUtils.newAbstraction(Term body)
          Creates and returns a new Abstraction.
 

Methods in org.xmloperator.lambda.tree.util with parameters of type Abstraction
static int AlphaUtils.abstractionIndex(Term rootTerm, Abstraction abstraction)
          Returns the index of an Abstraction within a Term.
static boolean CommonTerms.isIdentity(Abstraction abstraction)
          Returns true if the given Abstraction is an Identity.
static boolean CommonTerms.isDelta(Abstraction abstraction)
          Return true if the given Abstraction is a D Expression.