A B C D E F G H I K L M N O P R S T V W Y Z

N

NOT - Static variable in class org.xmloperator.lambda2.term.util.CommonTerms
Term \x1.x1FK
newInt(int) - Static method in class org.xmloperator.lambda2.term.util.Base2Numerals
Creates and returns a Term that represents an integer.
newInt(int) - Static method in class org.xmloperator.lambda2.term.util.ChurchNumerals
Creates and returns a Term that represents an integer.
newModInt(int) - Static method in class org.xmloperator.lambda2.term.util.Modulo2Numerals
Creates and returns a Term that represents a numeral under the form (n / 2, n % 2) : \t.t churchInt(n / 2) boolean(n % 2).
newTwice(boolean) - Static method in class org.xmloperator.lambda2.term.util.Base2Numerals
Creates and returns a Term that represents the function that returns twice the value of the argument.
normalForm(Term) - Method in class org.xmloperator.lambda2.net.impl.TermReducerImpl
 
normalForm(Term) - Method in interface org.xmloperator.lambda2.term.model.TermReducer
Returns the normal form, if it exists, of the given Term.
numeralValue(int[]) - Method in class org.xmloperator.lambda2.net.impl.LambdaNetImpl
 
numeralValue(Term) - Method in class org.xmloperator.lambda2.net.impl.TermReducerImpl
 
numeralValue(int[]) - Method in interface org.xmloperator.lambda2.net.model.LambdaNet
Returns the value modulo 2^63 of the Church numeral Term represented by this LambdaNet.
numeralValue(Term) - Method in interface org.xmloperator.lambda2.term.model.TermReducer
Returns the Church numeral value represented by the given Term if it represents one, elsewhere returns -1L.

A B C D E F G H I K L M N O P R S T V W Y Z