Quantifier class
式のランタイム拡張を許可するための量指定子。
コンストラクター
| Quantifier(string, Quantifier |
|
プロパティ
| bindings | 変数に対して可能なバインディング。 |
| type | 量指定子の種類。 |
| variable | 置換する変数の名前。 |
メソッド
| to |
コンストラクターの詳細
Quantifier(string, QuantifierType, string[])
Quantifier クラスの新しいインスタンスを初期化します。
new Quantifier(variable: string, type: QuantifierType, bindings: string[])パラメーター
- variable
-
string
置換する変数の名前。
- type
- QuantifierType
量指定子の種類。
- bindings
-
string[]
変数に対して可能なバインディング。
プロパティの詳細
bindings
変数に対して可能なバインディング。
bindings: string[]プロパティ値
string[]
type
variable
置換する変数の名前。
variable: stringプロパティ値
string
メソッドの詳細
toString()
function toString(): string戻り値
string
量指定子を表す文字列。