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

B

Base2Numerals - class org.xmloperator.lambda2.term.util.Base2Numerals.
Numerals writeln in base 2.
Base2Numerals() - Constructor for class org.xmloperator.lambda2.term.util.Base2Numerals
 
BinaryCell - interface org.xmloperator.lambda2.net.model.BinaryCell.
Binary cell.
BinaryCellImpl - class org.xmloperator.lambda2.net.impl.BinaryCellImpl.
BinaryCell implementation.
BinaryCellImpl(boolean) - Constructor for class org.xmloperator.lambda2.net.impl.BinaryCellImpl
 
bool(boolean) - Static method in class org.xmloperator.lambda2.term.util.CommonTerms
Creates and returns a Term that represents a boolean value.
booleanValue(int[]) - Method in class org.xmloperator.lambda2.net.impl.LambdaNetImpl
 
booleanValue(Term) - Method in class org.xmloperator.lambda2.net.impl.TermReducerImpl
 
booleanValue(int[]) - Method in interface org.xmloperator.lambda2.net.model.LambdaNet
Returns the boolean value of the Term (K or F) represented by this LambdaNet.
booleanValue(Term) - Method in interface org.xmloperator.lambda2.term.model.TermReducer
Returns the boolean value of the given Term, if it represents a boolean.
buildAbstraction() - Method in class org.xmloperator.lambda2.net.impl.LambdaNetImpl
 
buildAbstraction(Port) - Method in class org.xmloperator.lambda2.net.impl.LambdaNetImpl
 
buildAbstraction(Port[]) - Method in class org.xmloperator.lambda2.net.impl.LambdaNetImpl
 
buildAbstraction() - Method in interface org.xmloperator.lambda2.net.model.LambdaNet
Transforms this LambdaNet in such a way that its represented lambda term "t" is replaced by the abstraction "\x.t", where "x" doesn't occur within t.
buildAbstraction(Port) - Method in interface org.xmloperator.lambda2.net.model.LambdaNet
Transforms this LambdaNet in such a way that its represented lambda term "t" is replaced by the abstraction "\x.t", where "x" is bound to the given variable of "t".
buildAbstraction(Port[]) - Method in interface org.xmloperator.lambda2.net.model.LambdaNet
Transforms this LambdaNet in such a way that its represented lambda term "t" is replaced by the abstraction "\x.t", where "x" is bound to the given variables of "t".
buildAbstraction() - Method in class org.xmloperator.lambda2.term.impl.TermImpl
 
buildAbstraction(Variable) - Method in class org.xmloperator.lambda2.term.impl.TermImpl
 
buildAbstraction(Variable[]) - Method in class org.xmloperator.lambda2.term.impl.TermImpl
 
buildAbstraction() - Method in interface org.xmloperator.lambda2.term.model.Term
Builds and returns an Abstraction whose body is this Term and which has no bound variable.
buildAbstraction(Variable) - Method in interface org.xmloperator.lambda2.term.model.Term
Builds and returns an Abstraction whose body is this Term and with the given bound variable.
buildAbstraction(Variable[]) - Method in interface org.xmloperator.lambda2.term.model.Term
Builds and returns an Abstraction whose body is this Term and with the given bound variables.
buildApplication(LambdaNet) - Method in class org.xmloperator.lambda2.net.impl.LambdaNetImpl
 
buildApplication(LambdaNet, int) - Method in class org.xmloperator.lambda2.net.impl.LambdaNetImpl
 
buildApplication(LambdaNet) - Method in interface org.xmloperator.lambda2.net.model.LambdaNet
Transforms this LambdaNet in such a way that its represented lambda term "t" is replaced by the application "tu" where "u" is the lambda term represented by the given LambdaNet.
buildApplication(LambdaNet, int) - Method in interface org.xmloperator.lambda2.net.model.LambdaNet
Transforms this LambdaNet in such a way that its represented lambda term "t" is replaced by the application "(t^n)u" where "u" is the lambda term represented by the given LambdaNet and "n" an exponent.
buildApplication(Term) - Method in class org.xmloperator.lambda2.term.impl.TermImpl
 
buildApplication(Term, long) - Method in class org.xmloperator.lambda2.term.impl.TermImpl
 
buildApplication(Term) - Method in interface org.xmloperator.lambda2.term.model.Term
Builds and returns an Application whose function is this Term and the argument is given.
buildApplication(Term, long) - Method in interface org.xmloperator.lambda2.term.model.Term
Builds and returns an Application whose function is this Term and the argument is given.

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