|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use LambdaNet | |
org.xmloperator.lambda2.net.impl | |
org.xmloperator.lambda2.net.model |
Uses of LambdaNet in org.xmloperator.lambda2.net.impl |
Classes in org.xmloperator.lambda2.net.impl that implement LambdaNet | |
class |
LambdaNetImpl
LambdaNet implementation. |
Methods in org.xmloperator.lambda2.net.impl with parameters of type LambdaNet | |
void |
LambdaNetImpl.buildApplication(LambdaNet argument)
|
void |
LambdaNetImpl.buildApplication(LambdaNet argument,
int functionExponent)
|
Uses of LambdaNet in org.xmloperator.lambda2.net.model |
Methods in org.xmloperator.lambda2.net.model with parameters of type LambdaNet | |
void |
LambdaNet.buildApplication(LambdaNet argument)
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. |
void |
LambdaNet.buildApplication(LambdaNet argument,
int functionExponent)
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. |
|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |