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

A

Abstraction - interface org.xmloperator.lambda.tree.model.Abstraction.
Abstraction Term.
abstractionIndex(Term, Abstraction) - Static method in class org.xmloperator.lambda.tree.util.AlphaUtils
Returns the index of an Abstraction within a Term.
Abstractor - interface org.xmloperator.lambda.net.model.Abstractor.
Abstractor in a lambda-net.
add(Operator) - Method in interface org.xmloperator.lambda.net.model.OperatorList
Add an Operator to the list.
alphaEquals(Term, Term) - Static method in class org.xmloperator.lambda.tree.util.AlphaUtils
Evaluates the alpha-equivalence of two closed Terms.
AlphaUtils - class org.xmloperator.lambda.tree.util.AlphaUtils.
Utilities about cloning, scope extrusion and alpha-equality.
AlphaUtils() - Constructor for class org.xmloperator.lambda.tree.util.AlphaUtils
 
Application - interface org.xmloperator.lambda.tree.model.Application.
Application Term.
Applicator - interface org.xmloperator.lambda.net.model.Applicator.
Applicator in a lambda-net.
attachScopeBinder() - Method in interface org.xmloperator.lambda.net.model.Abstractor
If this Abstractor is not already attached to a ScopeBinder then create a ScopeBinder and attach it to the Abstractor.

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