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
I
incrementIndex()
- Method in interface org.xmloperator.lambda.net.model.
IndexedOperator
Increment the index of this Operator.
incrementMark(Eraser, boolean)
- Static method in class org.xmloperator.lambda.net.util.
NetUtils
Increment (or decrement) the mark of any
Operator
connected to an
Eraser
, recursively.
IndexedOperator
- interface org.xmloperator.lambda.net.model.
IndexedOperator
.
Operator with an index.
insertFromTop(int, Walk)
- Method in interface org.xmloperator.lambda.net.model.
WalkStack
Inserts a Walk in this stack at a top relative index.
interact(ConnectionListener)
- Method in interface org.xmloperator.lambda.net.model.
Operator
Interacts with the Operator connected on its principal Port.
INTERACTION_ANNIHILATE_DELIMITER
- Static variable in interface org.xmloperator.lambda.net.model.
Operator
INTERACTION_ANNIHILATE_DUPLICATOR
- Static variable in interface org.xmloperator.lambda.net.model.
Operator
INTERACTION_ANNIHILATE_ERASER
- Static variable in interface org.xmloperator.lambda.net.model.
Operator
INTERACTION_BETA_IDENTITY
- Static variable in interface org.xmloperator.lambda.net.model.
Operator
INTERACTION_BETA_REDUCTION
- Static variable in interface org.xmloperator.lambda.net.model.
Operator
INTERACTION_COMMUTE_DELIMITER
- Static variable in interface org.xmloperator.lambda.net.model.
Operator
INTERACTION_COMMUTE_DUPLICATOR
- Static variable in interface org.xmloperator.lambda.net.model.
Operator
INTERACTION_DUPLICATE_ABSTRACTOR
- Static variable in interface org.xmloperator.lambda.net.model.
Operator
INTERACTION_DUPLICATE_APPLICATOR
- Static variable in interface org.xmloperator.lambda.net.model.
Operator
INTERACTION_DUPLICATE_IDENTITY
- Static variable in interface org.xmloperator.lambda.net.model.
Operator
INTERACTION_ERASE_ABSTRACTOR
- Static variable in interface org.xmloperator.lambda.net.model.
Operator
INTERACTION_ERASE_APPLICATOR
- Static variable in interface org.xmloperator.lambda.net.model.
Operator
INTERACTION_ERASE_DELIMITER
- Static variable in interface org.xmloperator.lambda.net.model.
Operator
INTERACTION_ERASE_DUPLICATOR
- Static variable in interface org.xmloperator.lambda.net.model.
Operator
INTERACTION_ERASE_IDENTITY
- Static variable in interface org.xmloperator.lambda.net.model.
Operator
INTERACTION_EXTRUDE_ABSTRACTOR
- Static variable in interface org.xmloperator.lambda.net.model.
Operator
INTERACTION_EXTRUDE_APPLICATOR
- Static variable in interface org.xmloperator.lambda.net.model.
Operator
INTERACTION_EXTRUDE_CLOSED_ABSTRACTOR
- Static variable in interface org.xmloperator.lambda.net.model.
Operator
INTERACTION_EXTRUDE_DUPLICATOR
- Static variable in interface org.xmloperator.lambda.net.model.
Operator
INTERACTION_EXTRUDE_IDENTITY
- Static variable in interface org.xmloperator.lambda.net.model.
Operator
INTERACTION_TYPE_COUNT
- Static variable in interface org.xmloperator.lambda.net.model.
Operator
INTERACTION_TYPE_NAMES
- Static variable in interface org.xmloperator.lambda.net.model.
Operator
InteractionListener
- interface org.xmloperator.lambda.net.util.
InteractionListener
.
Notifier of interactions.
intValue(Abstraction)
- Static method in class org.xmloperator.lambda.tree.generate.
ChurchNumerals
Returns the integer value of a Church numeral or -1 if the argument is not a Church numeral.
isAbstraction()
- Method in interface org.xmloperator.lambda.tree.model.
Term
Returns
true
if this Term is an Abstraction.
isAbstractor()
- Method in interface org.xmloperator.lambda.net.model.
Operator
Returns
true
if this Operator is an Abstractor.
isApplication()
- Method in interface org.xmloperator.lambda.tree.model.
Term
Returns
true
if this Term is an Application.
isApplicator()
- Method in interface org.xmloperator.lambda.net.model.
Operator
Returns
true
if this Operator is an Applicator.
isDelimiter()
- Method in interface org.xmloperator.lambda.net.model.
Operator
Returns
true
if this Operator is a Delimiter.
isDelta(Abstraction)
- Static method in class org.xmloperator.lambda.tree.util.
CommonTerms
Return true if the given Abstraction is a D Expression.
isDirectionInversed()
- Method in interface org.xmloperator.lambda.net.model.
Operator
Returns
true
if the direction of this Operator is inversed.
isDuplicator()
- Method in interface org.xmloperator.lambda.net.model.
Operator
Returns
true
if this Operator is a Duplicator.
isEmpty()
- Method in interface org.xmloperator.lambda.net.model.
WalkStack
Returns
true
if this stack is empty.
isEmpty()
- Method in interface org.xmloperator.lambda.net.model.
PortStack
Returns
true
if the stack is empty.
isEmpty()
- Method in interface org.xmloperator.lambda.net.model.
OperatorList
Returns
true
if this list is empty.
isEmpty()
- Method in interface org.xmloperator.lambda.tree.model.
TermStack
Returns
true
if the stack is empty.
isEndOfScope()
- Method in interface org.xmloperator.lambda.tree.model.
Term
Returns
true
if this Term is an EndOfScope.
isEraser()
- Method in interface org.xmloperator.lambda.net.model.
Operator
Returns
true
if this Operator is an Eraser.
isFirstAuxiliary()
- Method in interface org.xmloperator.lambda.net.model.
Port
Returns
true
if this Port is the first auxiliary Port of its Operator.
isIdentity()
- Method in interface org.xmloperator.lambda.net.model.
Abstractor
Returns true if the body Port is currently connected to the bind Port.
isIdentity(Abstraction)
- Static method in class org.xmloperator.lambda.tree.util.
CommonTerms
Returns
true
if the given Abstraction is an Identity.
isInput()
- Method in interface org.xmloperator.lambda.net.model.
Port
Returns
true
if this Port is an input Port, false if it is an output Port.
isLeaf()
- Method in interface org.xmloperator.lambda.tree.model.
Term
Returns
true
if this Term is a Leaf.
isLoop(Application)
- Static method in class org.xmloperator.lambda.tree.util.
CommonTerms
Return true if the given Application maps to
"cvv"
.
isOmega(Application)
- Static method in class org.xmloperator.lambda.tree.util.
CommonTerms
Return true if the given Application is an Omega Term.
isPrincipal()
- Method in interface org.xmloperator.lambda.net.model.
Port
Returns
true
if this Port is the principal one of its Operator.
isRedex(Applicator)
- Static method in class org.xmloperator.lambda.net.reduction.
NetBetaUtils
Returns
true
if the given
Applicator
is a redex.
isReturnedToFactory()
- Method in interface org.xmloperator.lambda.net.model.
Operator
Returns
true
if this Operator has been returned to the factory.
isReturnedToRoot()
- Method in interface org.xmloperator.lambda.net.util.
WalkingContext
Returns
(currentPort.getOperator() == rootEraser)
.
isSecondAuxiliary()
- Method in interface org.xmloperator.lambda.net.model.
Port
Returns
true
if this Port is the second auxiliary Port of its Operator.
isWalkingForward()
- Method in interface org.xmloperator.lambda.net.util.
WalkingContext
Returns
true
if going forward, i.e. to bind.
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