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

L

Leaf - interface org.xmloperator.lambda.tree.model.Leaf.
Leaf term in a namefree lambda-term.
leftermostOutermostRedex(Term) - Static method in class org.xmloperator.lambda.tree.reduction.TreeBetaUtils
Returns the leftermost-outermost redex of a Term or null if the Term has no redex.
leftermostOutermostRedex(WalkingContext) - Static method in class org.xmloperator.lambda.net.reduction.NetBetaUtils
Return the leftermost-outermost redex Applicator of a lambda-net or null if the lambda-net has no redex.

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