|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Abstraction | |
org.xmloperator.lambda2.term.impl | |
org.xmloperator.lambda2.term.model | |
org.xmloperator.lambda2.term.util |
Uses of Abstraction in org.xmloperator.lambda2.term.impl |
Classes in org.xmloperator.lambda2.term.impl that implement Abstraction | |
class |
Abstraction0Impl
Zero or more variable Abstraction implementation. |
class |
Abstraction1Impl
One variable Abstraction implementation. |
class |
AbstractionNImpl
Two or more variables Abstraction implementation. |
Methods in org.xmloperator.lambda2.term.impl that return Abstraction | |
Abstraction |
TermImpl.buildAbstraction()
|
Abstraction |
TermImpl.buildAbstraction(Variable boundVariable)
|
Abstraction |
TermImpl.buildAbstraction(Variable[] boundVariables)
|
Uses of Abstraction in org.xmloperator.lambda2.term.model |
Methods in org.xmloperator.lambda2.term.model that return Abstraction | |
Abstraction |
Term.buildAbstraction()
Builds and returns an Abstraction whose body is this Term and which has no bound variable. |
Abstraction |
Term.buildAbstraction(Variable boundVariable)
Builds and returns an Abstraction whose body is this Term and with the given bound variable. |
Abstraction |
Term.buildAbstraction(Variable[] boundVariables)
Builds and returns an Abstraction whose body is this Term and with the given bound variables. |
Uses of Abstraction in org.xmloperator.lambda2.term.util |
Fields in org.xmloperator.lambda2.term.util declared as Abstraction | |
static Abstraction |
Base2Numerals.ZERO
Term that represents the function that returns "K" if the argument is "0", "F" elsewhere. |
static Abstraction |
Base2Numerals.HALF
Term that represents the function that returns half the value of the argument. |
static Abstraction |
Base2Numerals.TWICE0
Term that represents the function that returns twice the value of the argument. |
static Abstraction |
Base2Numerals.TWICE1
Term that represents the function that returns twice the value of the argument plus one. |
static Abstraction |
ChurchNumerals.SUCC
Term \x1x2x3.x2(x1x2x3) |
static Abstraction |
ChurchNumerals.ZERO
Term \x1x2x3.x1(\x4.x3)x2 |
static Abstraction |
ChurchNumerals.ADD
Term \x1x2x3x4.x1x3(x2x3x4) |
static Abstraction |
ChurchNumerals.MULT
Term \x1x2x3.x1(x2x3) |
static Abstraction |
ChurchNumerals.EXP
Term \x1x2.x2x1 |
static Abstraction |
CommonTerms.I
Term \x1.x1 |
static Abstraction |
CommonTerms.K
Term \x1x2.x1 |
static Abstraction |
CommonTerms.F
Term \x1x2.x2 |
static Abstraction |
CommonTerms.FIRST_OF_THREE
Term \x1x2x3.x1 |
static Abstraction |
CommonTerms.SECOND_OF_THREE
Term \x1x2x3.x2 |
static Abstraction |
CommonTerms.THIRD_OF_THREE
Term \x1x2x3.x3 |
static Abstraction |
CommonTerms.IF
Term \x1x2x3.x1x2x3 |
static Abstraction |
CommonTerms.NOT
Term \x1.x1FK |
static Abstraction |
CommonTerms.AND
Term \x1x2.x1x2F |
static Abstraction |
CommonTerms.OR
Term \x1x2.x1Kx2 |
static Abstraction |
CommonTerms.COUPLE
Term \x1x2x3.x3x1x2 |
static Abstraction |
CommonTerms.FIRST_IN_COUPLE
Term \x1.x1\x2x3.x2 |
static Abstraction |
CommonTerms.SECOND_IN_COUPLE
Term \x1.x1\x2x3.x3 |
static Abstraction |
CommonTerms.TRIPLE
Term \x1x2x3x4.x4x1x2x3 |
static Abstraction |
CommonTerms.FIRST_IN_TRIPLE
Term \x1.x1\x2x3x4.x2 |
static Abstraction |
CommonTerms.SECOND_IN_TRIPLE
Term \x1.x1\x2x3x4.x3 |
static Abstraction |
CommonTerms.THIRD_IN_TRIPLE
Term \x1.x1\x2x3x4.x4 |
static Abstraction |
CommonTerms.Y
Term Y. |
static Abstraction |
CommonTerms.V
Term \x1x2.x2(x1x1x2) |
static Abstraction |
CommonTerms.DELTA
Term \x1.x1x1 |
static Abstraction |
Modulo2Numerals.PARITY
Term that represents a function of a Church numeral that returns "K" if the numeral is even, "F" elsewhere. |
static Abstraction |
Modulo2Numerals.MOD_SUCC
Term that represents the successor function for a numeral under the form (n / 2, n % 2). |
static Abstraction |
Modulo2Numerals.HALF
Term that represents a function of a Church numeral that returns half the value of the argument. |
Methods in org.xmloperator.lambda2.term.util that return Abstraction | |
static Abstraction |
Base2Numerals.newInt(int n)
Creates and returns a Term that represents an integer. |
static Abstraction |
Base2Numerals.newTwice(boolean plusOne)
Creates and returns a Term that represents the function that returns twice the value of the argument. |
static Abstraction |
ChurchNumerals.newInt(int n)
Creates and returns a Term that represents an integer. |
static Abstraction |
CommonTerms.bool(boolean value)
Creates and returns a Term that represents a boolean value. |
static Abstraction |
CommonTerms.threeStates(int value)
Creates and returns a Term that represents a selector amongst three states. |
static Abstraction |
CommonTerms.selectorForCouple(boolean selector)
Creates and returns a Term that represents a selector of a term in a couple : First = "\x1.x1\x2x3.x2" : Last = "\x1.x1\x2x3.x3". |
static Abstraction |
CommonTerms.selectorForTriple(int selector)
Creates and returns a Term that represents a selector of a term in a triple : First = "\x1.x1\x2x3x4.x2" Second = "\x1.x1\x2x3x4.x3" Last = "\x1.x1\x2x3x4.x4" |
static Abstraction |
Modulo2Numerals.newModInt(int n)
Creates and returns a Term that represents a numeral under the form (n / 2, n % 2) : \t.t churchInt(n / 2) boolean(n % 2). |
|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |