Sprache

Quantifier(String, QuantifierType, IEnumerable<String>) Konstruktor

Definition

Initialisiert eine neue Instanz der Quantifier-Klasse.

public Quantifier(string variable, AdaptiveExpressions.TriggerTrees.QuantifierType type, System.Collections.Generic.IEnumerable<string> bindings);
new AdaptiveExpressions.TriggerTrees.Quantifier : string * AdaptiveExpressions.TriggerTrees.QuantifierType * seq<string> -> AdaptiveExpressions.TriggerTrees.Quantifier
Public Sub New (variable As String, type As QuantifierType, bindings As IEnumerable(Of String))

Parameter

variable
String

Name der Variable, die ersetzt werden soll.

type
QuantifierType

Art von Quantor.

bindings
IEnumerable<String>

Mögliche Bindungen für variable.

Gilt für: