LambdaHasBindingVariables: Unterschied zwischen den Versionen
Zur Navigation springen
Zur Suche springen
Spobel (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
Keine Bearbeitungszusammenfassung |
||
| Zeile 11: | Zeile 11: | ||
===Parameter=== | ===Parameter=== | ||
* '''lambda''' - die LambdaFunktion, welche die variablen enthalten soll. | * '''lambda''' - die [[LambdaFunktion]], welche die variablen enthalten soll. | ||
* '''variablen''' - | * '''variablen''' - die Menge von Variablen die in lambda enthalten sein sollen. | ||
===Return Value=== | ===Return Value=== | ||
| Zeile 18: | Zeile 18: | ||
===Beispiele=== | ===Beispiele=== | ||
lambdaHasBindingVars(lambda(n+1, n), n) --> returns true | lambdaHasBindingVars(lambda(n+1, n), n) --> returns ''true'' | ||
lambdaHasBindingVars(lambda(n+1, n), list(n)) --> returns true | lambdaHasBindingVars(lambda(n+1, n), list(n)) --> returns ''true'' | ||
lambdaHasBindingVars(lambda(n+1+a, n, a), n, a) --> returns true | lambdaHasBindingVars(lambda(n+1+a, n, a), n, a) --> returns ''true'' | ||
lambdaHasBindingVars(lambda(n+1+a, n, a), list(n, a)) --> returns true | lambdaHasBindingVars(lambda(n+1+a, n, a), list(n, a)) --> returns ''true'' | ||
lambdaHasBindingVars(lambda(n+1, n, a), n, a) --> returns true | lambdaHasBindingVars(lambda(n+1, n, a), n, a) --> returns ''true'' | ||
[[Kategorie:Math-Evaluatorfunktion]][[Kategorie:Testfunktionen]] | [[Kategorie:Math-Evaluatorfunktion]][[Kategorie:Testfunktionen]][[Kategorie:JACK3]] | ||
Version vom 12. April 2024, 10:29 Uhr
|
Diese Seite beinhaltet eine Evaluator-Funktion des JACK3-Systems. |
Zugehörige Evaluatoren
- MathEvaluator
Beschreibung
Die Funktion lambdaHasBindingVariables oder auch lambdaHasBindingVars prüft eine LambdaFunktion auf enthaltene Bindungs-Variablen.
Syntax
lambdaHasBindingVariables(LambdaFunktion lambda, Zeichen variablen...)
Parameter
- lambda - die LambdaFunktion, welche die variablen enthalten soll.
- variablen - die Menge von Variablen die in lambda enthalten sein sollen.
Return Value
- Gibt True oder False zurück.
Beispiele
lambdaHasBindingVars(lambda(n+1, n), n) --> returns true lambdaHasBindingVars(lambda(n+1, n), list(n)) --> returns true lambdaHasBindingVars(lambda(n+1+a, n, a), n, a) --> returns true lambdaHasBindingVars(lambda(n+1+a, n, a), list(n, a)) --> returns true lambdaHasBindingVars(lambda(n+1, n, a), n, a) --> returns true