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

M

MOD_SUCC - Static variable in class org.xmloperator.lambda2.term.util.Modulo2Numerals
Term that represents the successor function for a numeral under the form (n / 2, n % 2).
MULT - Static variable in class org.xmloperator.lambda2.term.util.ChurchNumerals
Term \x1x2x3.x1(x2x3)
MainTest - class org.xmloperator.lambda2.MainTest.
Test package.
MainTest() - Constructor for class org.xmloperator.lambda2.MainTest
 
Modulo2Numerals - class org.xmloperator.lambda2.term.util.Modulo2Numerals.
Terms that represent couples (n / 2, n % 2).
Modulo2Numerals() - Constructor for class org.xmloperator.lambda2.term.util.Modulo2Numerals
 
main(String[]) - Static method in class org.xmloperator.lambda2.MainTest
 
main(String[]) - Static method in class org.xmloperator.lambda2.net.impl.LambdaNetImpl
 
main(String[]) - Static method in class org.xmloperator.lambda2.net.impl.Test
 
main(String[]) - Static method in class org.xmloperator.lambda2.net.util.Test
 
main(String[]) - Static method in class org.xmloperator.lambda2.term.impl.Test
 
main(String[]) - Static method in class org.xmloperator.lambda2.term.util.Base2Numerals
 
main(String[]) - Static method in class org.xmloperator.lambda2.term.util.ChurchNumerals
 
main(String[]) - Static method in class org.xmloperator.lambda2.term.util.CommonTerms
 
main(String[]) - Static method in class org.xmloperator.lambda2.term.util.Modulo2Numerals
 
main(String[]) - Static method in class org.xmloperator.lambda2.term.util.Test
 

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