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

R

readTerm(Reader, TermFactory) - Method in interface org.xmloperator.lambda.tree.serialize.Serializer
Produces a Term from a previous serialization.
readTerm(Reader, TermFactory) - Method in class org.xmloperator.lambda.tree.serialize.PrefixedSerializer
 
readTerm(Reader, TermFactory) - Method in class org.xmloperator.lambda.tree.serialize.UsualSerializer
 
reduce(Application) - Static method in class org.xmloperator.lambda.tree.reduction.TreeBetaUtils
Reduces a redex.
reduce(Eraser, Applicator, InteractionListener) - Static method in class org.xmloperator.lambda.net.reduction.NetBetaUtils
Reduce a beta interaction and apply the x-rules.
reduceDeeply(Term, OperatorFactory, InteractionListener, ReductionListener) - Static method in class org.xmloperator.lambda.translate.Reducer
Reduces a term until the normal form, if possible.
reduceDeeply(Term, ReductionListener) - Static method in class org.xmloperator.lambda.tree.reduction.TreeBetaUtils
Reduces a Term until a normal form is obtained.
reduceDeeply(WalkingContext, InteractionListener, ReductionListener) - Static method in class org.xmloperator.lambda.net.reduction.NetBetaUtils
Reduce a lambda-net until a normal form is obtained or an exception is throwed.
Reducer - class org.xmloperator.lambda.translate.Reducer.
Reduces a term using a translation to a lambda-net.
Reducer() - Constructor for class org.xmloperator.lambda.translate.Reducer
 
ReductionListener - interface org.xmloperator.lambda.tree.reduction.ReductionListener.
Listener about beta-reduction process.
ReductionListener - interface org.xmloperator.lambda.net.reduction.ReductionListener.
Listener about beta-reduction process.
remove(Operator) - Method in interface org.xmloperator.lambda.net.model.OperatorList
Remove an Operator from this list.
remove(Port) - Method in interface org.xmloperator.lambda.net.model.PortStack
Removes a Port from this stack.
removeFromTop(int) - Method in interface org.xmloperator.lambda.net.model.WalkStack
Removes and returns the Walk at a given top relative index in the stack.
replace(int, Port) - Method in interface org.xmloperator.lambda.net.model.PortStack
Replace the Port at a given root relative index in the stack.
returnNetToFactory(Eraser) - Static method in class org.xmloperator.lambda.translate.FromNetToTerm
Returns a lambda-net to the factory.
returnTerm(Term) - Static method in class org.xmloperator.lambda.tree.util.FactoryUtils
Return a Term and its content to the factory.
returnToFactory() - Method in interface org.xmloperator.lambda.net.model.WalkStack
Return this stack to the Factory.
returnToFactory() - Method in interface org.xmloperator.lambda.net.model.Walk
Return this to its Factory.
returnToFactory() - Method in interface org.xmloperator.lambda.net.model.ScopeBinder
Return this ScopeBinder to the Factory.
returnToFactory() - Method in interface org.xmloperator.lambda.net.model.PortStack
Return this PortStack to the Factory.
returnToFactory() - Method in interface org.xmloperator.lambda.net.model.Operator
Returns this to its Factory.
returnToFactory() - Method in interface org.xmloperator.lambda.tree.model.TermStack
Returns this TermStack to the Factory.
returnToFactory() - Method in interface org.xmloperator.lambda.tree.model.Term
Returns this Term to its Factory.
returnToRoot() - Method in interface org.xmloperator.lambda.net.util.WalkingContext
Returns to the root Eraser.
reverseOrientation() - Method in interface org.xmloperator.lambda.net.model.Delimiter
Reverse the orientation of the principal Port and clear the index.
reverseOrientation() - Method in interface org.xmloperator.lambda.net.model.Applicator
Reverses the orientation of the principal Port.

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