Quantifier class

Package:

adaptive-expressions

Quantifier for allowing runtime expansion of expressions.

Constructors

Quantifier(string, QuantifierType, string[])

Initializes a new instance of the Quantifier class.

Properties

bindings	Possible bindings for variable.
type	Type of quantifier.
variable	Name of variable to replace.

Methods

toString()

Constructor Details

Quantifier(string, QuantifierType, string[])

Initializes a new instance of the Quantifier class.

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

Parameters

variable

string

Name of variable to replace.

type

QuantifierType

Type of quantifier.

bindings

string[]

Possible bindings for variable.

Property Details

bindings

Possible bindings for variable.

bindings: string[]

Property Value

string[]

type

Type of quantifier.

type: QuantifierType

Property Value

QuantifierType

variable

Name of variable to replace.

variable: string

Property Value

string

Method Details

toString()

function toString(): string

Returns

string

A string that represents the quantifier.