Bagikan melalui

Quantifier class

  • Referensi
Paket:
adaptive-expressions

Quantifier untuk mengizinkan ekspansi ekspresi runtime.

Konstruktor

Quantifier(string, QuantifierType, string[])

Menginisialisasi instans baru kelas Quantifier.

Properti

bindings

Kemungkinan pengikatan untuk variabel.
type

Jenis kuantifier.
variable

Nama variabel untuk diganti.

Metode

toString()

Detail Konstruktor

Quantifier(string, QuantifierType, string[])

Menginisialisasi instans baru kelas Quantifier.

new Quantifier(variable: string, type: QuantifierType, bindings: string[])

Parameter

variable

string

Nama variabel untuk diganti.

type
QuantifierType

Jenis kuantifier.

bindings

string[]

Kemungkinan pengikatan untuk variabel.

Detail Properti

bindings

Kemungkinan pengikatan untuk variabel.

bindings: string[]

Nilai Properti

string[]

type

Jenis kuantifier.

type: QuantifierType

Nilai Properti

QuantifierType

variable

Nama variabel untuk diganti.

variable: string

Nilai Properti

string

Detail Metode

toString() 

function toString(): string

Mengembalikan

string

String yang mewakili kuantifier.