LambdaHasBindingVariables

Aus JACK Wiki
Zur Navigation springen Zur Suche springen

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 - 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