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
수량자를 나타내는 문자열입니다.