|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |
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. |
|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |