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.

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