A B C D E F G H I K L M N O P R S T V W Y Z

A

ADD - Static variable in class org.xmloperator.lambda2.term.util.ChurchNumerals
Term \x1x2x3x4.x1x3(x2x3x4)
AND - Static variable in class org.xmloperator.lambda2.term.util.CommonTerms
Term \x1x2.x1x2F
ASSERTION - Static variable in class org.xmloperator.lambda2.MainTest
 
Abstraction - interface org.xmloperator.lambda2.term.model.Abstraction.
Abstraction of a Term relatively to a set of linear variables.
Abstraction0Impl - class org.xmloperator.lambda2.term.impl.Abstraction0Impl.
Zero or more variable Abstraction implementation.
Abstraction0Impl(TermImpl) - Constructor for class org.xmloperator.lambda2.term.impl.Abstraction0Impl
 
Abstraction1Impl - class org.xmloperator.lambda2.term.impl.Abstraction1Impl.
One variable Abstraction implementation.
Abstraction1Impl(TermImpl, Variable) - Constructor for class org.xmloperator.lambda2.term.impl.Abstraction1Impl
 
AbstractionNImpl - class org.xmloperator.lambda2.term.impl.AbstractionNImpl.
Two or more variables Abstraction implementation.
AbstractionNImpl(TermImpl, Variable[]) - Constructor for class org.xmloperator.lambda2.term.impl.AbstractionNImpl
 
Application - interface org.xmloperator.lambda2.term.model.Application.
Application of a function to an argument.
Application1Impl - class org.xmloperator.lambda2.term.impl.Application1Impl.
Application implementation.
Application1Impl(TermImpl, TermImpl) - Constructor for class org.xmloperator.lambda2.term.impl.Application1Impl
 
ApplicationNImpl - class org.xmloperator.lambda2.term.impl.ApplicationNImpl.
Application with function exponent implementation.
ApplicationNImpl(TermImpl, TermImpl, long) - Constructor for class org.xmloperator.lambda2.term.impl.ApplicationNImpl
 
addNewAuxiliaryPort() - Method in class org.xmloperator.lambda2.net.impl.DecoderImpl
 
addNewAuxiliaryPort() - Method in interface org.xmloperator.lambda2.net.model.Decoder
Adds a new auxiliary Port to this Cell and returns it.
addSequenceCount(long) - Method in class org.xmloperator.lambda2.net.impl.DecoderImpl
 
addSequenceCount(long) - Method in interface org.xmloperator.lambda2.net.model.Decoder
Adds a given sequence count to this unary Decoder.

A B C D E F G H I K L M N O P R S T V W Y Z