Uses of Interface
org.xmloperator.lambda2.term.model.Abstraction

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).