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
C
canBeReturnedToFactory()
- Method in interface org.xmloperator.lambda.net.model.
Operator
Returns
true
if this can be returned to its factory.
canBeReturnedToFactory()
- Method in interface org.xmloperator.lambda.tree.model.
Term
Returns
true
if this can be returned to its factory.
ChurchNumerals
- class org.xmloperator.lambda.tree.generate.
ChurchNumerals
.
Factories for Church numerals.
ChurchNumerals()
- Constructor for class org.xmloperator.lambda.tree.generate.
ChurchNumerals
clear()
- Method in interface org.xmloperator.lambda.net.model.
PortStack
Clear the content of this stack.
clear()
- Method in interface org.xmloperator.lambda.net.model.
OperatorList
Clear the content of this list.
clear()
- Method in interface org.xmloperator.lambda.tree.model.
TermStack
Clear the content of this stack.
clearArgument()
- Method in interface org.xmloperator.lambda.tree.model.
Application
Clear the argument of this Application.
clearBody()
- Method in interface org.xmloperator.lambda.tree.model.
TermWithBody
Clear the body of this Term.
clone(Term)
- Static method in class org.xmloperator.lambda.tree.util.
AlphaUtils
Clones a Term.
cloneNet(Eraser)
- Static method in class org.xmloperator.lambda.net.util.
CloneUtils
Clones a lambda-net.
cloneOperator(boolean)
- Method in interface org.xmloperator.lambda.net.model.
Operator
Creates and return a clone of this Operator.
CloneUtils
- class org.xmloperator.lambda.net.util.
CloneUtils
.
Utilities about cloning a lambda-net.
CloneUtils()
- Constructor for class org.xmloperator.lambda.net.util.
CloneUtils
CommonTerms
- class org.xmloperator.lambda.tree.util.
CommonTerms
.
Common Terms.
CommonTerms()
- Constructor for class org.xmloperator.lambda.tree.util.
CommonTerms
ConnectionListener
- interface org.xmloperator.lambda.net.model.
ConnectionListener
.
Listener about Operators connections and disconnections.
connectTo(Port)
- Method in interface org.xmloperator.lambda.net.model.
Port
Connect this Port to a another Port.
contains(Port)
- Method in interface org.xmloperator.lambda.net.model.
PortStack
Returns
true
if this stack contains the given Port.
contains(Term)
- Method in interface org.xmloperator.lambda.tree.model.
TermStack
Return
true
if the stack contains the given Term.
createAbstraction()
- Method in interface org.xmloperator.lambda.tree.model.
TermFactory
Create an Abstraction, with no parent and no body.
createAbstractor(int, ScopeBinder)
- Method in interface org.xmloperator.lambda.net.model.
OperatorFactory
Creates and returns a new Abstractor.
createApplication()
- Method in interface org.xmloperator.lambda.tree.model.
TermFactory
Create an Application, with no parent and no content.
createApplicator(int)
- Method in interface org.xmloperator.lambda.net.model.
OperatorFactory
Creates and returns a new Applicator.
createDelimiter(int, boolean, ScopeBinder)
- Method in interface org.xmloperator.lambda.net.model.
OperatorFactory
Creates and returns a new Delimiter.
createDuplicator(int, boolean)
- Method in interface org.xmloperator.lambda.net.model.
OperatorFactory
Creates and returns a new Duplicator.
createEndOfScope()
- Method in interface org.xmloperator.lambda.tree.model.
TermFactory
Creates a new EndOfScope, with no parent and no body.
createEraser(int, boolean, boolean)
- Method in interface org.xmloperator.lambda.net.model.
OperatorFactory
Creates and returns a new (active) Eraser.
createLeaf()
- Method in interface org.xmloperator.lambda.tree.model.
TermFactory
Creates a new Leaf, with no parent.
createPortStack()
- Method in interface org.xmloperator.lambda.net.model.
OperatorFactory
Creates and returns a new PortStack.
createScopeBinder()
- Method in interface org.xmloperator.lambda.net.model.
OperatorFactory
Creates a new ScopeBinder and returns it.
createTermStack(boolean)
- Method in interface org.xmloperator.lambda.tree.model.
TermFactory
Creates and returns a TermStack.
createWalk(int)
- Method in interface org.xmloperator.lambda.net.model.
OperatorFactory
Creates and returns a new Walk.
createWalkStack()
- Method in interface org.xmloperator.lambda.net.model.
OperatorFactory
Creates and returns a new WalkStack.
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