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

N

NetBetaUtils - class org.xmloperator.lambda.net.reduction.NetBetaUtils.
Beta reductions in a lambda-net.
NetBetaUtils() - Constructor for class org.xmloperator.lambda.net.reduction.NetBetaUtils
 
NetTraversal - class org.xmloperator.lambda.net.util.NetTraversal.
This is an iterator on the Operators belonging to a lambda-net.
NetTraversal(Eraser) - Constructor for class org.xmloperator.lambda.net.util.NetTraversal
 
NetTraversal(Eraser, boolean) - Constructor for class org.xmloperator.lambda.net.util.NetTraversal
 
NetUtils - class org.xmloperator.lambda.net.util.NetUtils.
Utilities about traversing a lambda-net.
NetUtils() - Constructor for class org.xmloperator.lambda.net.util.NetUtils
 
newAbstraction(Term) - Static method in class org.xmloperator.lambda.tree.util.FactoryUtils
Creates and returns a new Abstraction.
newAdd(TermFactory) - Static method in class org.xmloperator.lambda.tree.generate.ChurchNumerals
Creates and returns a new instance of the "Add" Abstraction ("aaaacceeevevcceevevv").
newApplication(Term, Term) - Static method in class org.xmloperator.lambda.tree.util.FactoryUtils
Creates and returns a new Application.
newBoolean(TermFactory, boolean) - Static method in class org.xmloperator.lambda.tree.util.CommonTerms
Creates and returns an Abstraction that, depending on value, maps to value ?
newCouple(TermFactory) - Static method in class org.xmloperator.lambda.tree.util.CommonTerms
Creates and returns an Abstraction that maps to "aaaccveevev".
newDelta(TermFactory) - Static method in class org.xmloperator.lambda.tree.util.CommonTerms
Creates and returns an Abstraction that maps to "D" = "acvv".
newEndOfScope(Term) - Static method in class org.xmloperator.lambda.tree.util.FactoryUtils
Creates and returns a new EndOfScope.
newExp(TermFactory) - Static method in class org.xmloperator.lambda.tree.generate.ChurchNumerals
Creates and returns a new instance of the "Exp" Abstraction ("aacvev").
newFalse(TermFactory) - Static method in class org.xmloperator.lambda.tree.util.CommonTerms
Creates and returns an Abstraction that maps to F = "aav".
newFirstInCouple(TermFactory, boolean) - Static method in class org.xmloperator.lambda.tree.util.CommonTerms
Creates and returns an Abstraction that, depending on value, maps to value ?
newIdentity(TermFactory) - Static method in class org.xmloperator.lambda.tree.util.CommonTerms
Creates and returns an Abstraction that maps to "av".
newInt(TermFactory, int) - Static method in class org.xmloperator.lambda.tree.generate.ChurchNumerals
Creates and returns a new instance of the Abstraction that represents the integer n: 0 = "aav", 1 = "aacevv", 2 = "aacevcevv", 3 = "aacevcevcevv", ...
newLeaf(TermFactory, int) - Static method in class org.xmloperator.lambda.tree.util.FactoryUtils
Creates and returns a Leaf contained in a sequence of EndOfScopes.
newLoop(TermFactory) - Static method in class org.xmloperator.lambda.tree.util.CommonTerms
Creates and returns an Application that maps to "cvv".
newMult(TermFactory) - Static method in class org.xmloperator.lambda.tree.generate.ChurchNumerals
Creates and returns a new instance of the "Mult" Abstraction ("aaaceevcevv").
newNullAbstraction(Term) - Static method in class org.xmloperator.lambda.tree.util.CommonTerms
Creates and returns an Abstraction that is immediatly followed by an EndOfScope on itself.
newOmega(TermFactory) - Static method in class org.xmloperator.lambda.tree.util.CommonTerms
Creates and returns an Application that maps to "cDD".
newSucc(TermFactory) - Static method in class org.xmloperator.lambda.tree.generate.ChurchNumerals
Creates and returns a new instance of the "Succ" Abstraction ("aaacevcceevevv").
newTeta(TermFactory) - Static method in class org.xmloperator.lambda.tree.util.CommonTerms
Creates and returns an Application that maps to "cVV".
newTrue(TermFactory) - Static method in class org.xmloperator.lambda.tree.util.CommonTerms
Creates and returns an Abstraction that maps to K = "aaev".
newV(TermFactory) - Static method in class org.xmloperator.lambda.tree.util.CommonTerms
Creates and returns an Abstraction that maps to "V" = "aacvcecvvv".
newY(TermFactory) - Static method in class org.xmloperator.lambda.tree.util.CommonTerms
Creates and returns an Abstraction that maps to "acacevcvvacevcvv".
newYPart(TermFactory) - Static method in class org.xmloperator.lambda.tree.util.CommonTerms
Creates and returns an Abstraction that maps to "acevcvv".
newZero(TermFactory) - Static method in class org.xmloperator.lambda.tree.generate.ChurchNumerals
Creates and returns a new instance of the "Zero" Abstraction ("aaacceevcKvev").
next() - Method in interface org.xmloperator.lambda.net.util.OperatorIterator
Returns the next Operator.
next() - Method in class org.xmloperator.lambda.net.util.NetTraversal
 
normalizedClone(Term) - Static method in class org.xmloperator.lambda.tree.util.AlphaUtils
Create a normalized clone, whose all internal EndOfScopes are extruded.
notifyConnection(Port, Port) - Method in interface org.xmloperator.lambda.net.model.ConnectionListener
Notify a connection between two Ports.
notifyEndReduction(Term) - Method in interface org.xmloperator.lambda.tree.reduction.ReductionListener
Notify the end of a reduction.
notifyInteraction(int) - Method in interface org.xmloperator.lambda.net.util.InteractionListener
Notify the conclusion of an interaction.
notifyStartReduction(Application) - Method in interface org.xmloperator.lambda.tree.reduction.ReductionListener
Notify the starting of a reduction.
notifyStartReduction(Eraser, Applicator) - Method in interface org.xmloperator.lambda.net.reduction.ReductionListener
Notify the starting of a reduction.

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