LambdaHasBindingVariables

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

lambdaHasBindingVars(lambda(n, k), n)   --> returns false
lambdaHasBindingVars(lambda(k, n), n)   --> returns true

Hinweise

• Diese Funktion überprüft nicht ob der Term bei einer Summe von der angegebenen Variable abhängt.