Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
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.
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
A
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
U
V
W