A C D E F G H I L M N O P R S T U V W

M

main(String[]) - Static method in class org.xmloperator.lambda.translate.Reducer
 
main(String[]) - Static method in class org.xmloperator.lambda.tree.util.AlphaUtils
 
main(String[]) - Static method in class org.xmloperator.lambda.tree.util.CommonTerms
 
main(String[]) - Static method in class org.xmloperator.lambda.tree.generate.ChurchNumerals
 
main(String[]) - Static method in class org.xmloperator.lambda.tree.serialize.PrefixedSerializer
 
main(String[]) - Static method in class org.xmloperator.lambda.tree.reduction.TreeBetaUtils
 
main(String[]) - Static method in class org.xmloperator.lambda.tree.serialize.UsualSerializer
 
matchingAbstraction(Term) - Static method in class org.xmloperator.lambda.tree.util.AlphaUtils
Returns the Abstraction matching a given variable.

A C D E F G H I L M N O P R S T U V W