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

S

ScopeBinder - interface org.xmloperator.lambda.net.model.ScopeBinder.
Binding between Delimiters and their mapping Abstractors.
Serializer - interface org.xmloperator.lambda.tree.serialize.Serializer.
Term serializer.
setArgument(Term) - Method in interface org.xmloperator.lambda.tree.model.Application
Set the argument of this Application.
setBody(Term) - Method in interface org.xmloperator.lambda.tree.model.TermWithBody
Set the body of this Term.
setMark(int) - Method in interface org.xmloperator.lambda.net.model.Operator
Set the mark attached to this operator.
setRootTerm(Term) - Method in interface org.xmloperator.lambda.translate.WalkingContextTranslater
Set the root Term.
strictlyEquals(Term, Term) - Static method in class org.xmloperator.lambda.tree.util.AlphaUtils
Evaluates the strict-equivalence of two Terms.
STYLE_API - Static variable in class org.xmloperator.lambda.tree.serialize.PrefixedSerializer
 
STYLE_SCOPE - Static variable in class org.xmloperator.lambda.tree.serialize.PrefixedSerializer
 

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