LambdaHasBindingVariables: Unterschied zwischen den Versionen

Aus JACK Wiki
Zur Navigation springen Zur Suche springen
Keine Bearbeitungszusammenfassung
 
Zeile 1: Zeile 1:
{{Vorlage:Warnung|Warnung=Diese Seite beinhaltet eine Evaluator-Funktion des JACK3-Systems.}}
{{Vorlage:Warnung|Warnung=Diese Seite beinhaltet eine Evaluator-Funktion des JACK3-Systems.}}


==Zugehörige Evaluatoren==
===Zugehörige Evaluatoren===
*'''MathEvaluator'''
*'''MathEvaluator'''



Aktuelle Version vom 17. April 2024, 08:36 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