Taal

Quantifier Klas

Definitie

Kwantor om runtime-uitbreiding van expressies mogelijk te maken.

public class Quantifier
type Quantifier = class
Public Class Quantifier
Overname
Quantifier

Constructors

Name Description
Quantifier(String, QuantifierType, IEnumerable<String>)

Initialiseert een nieuw exemplaar van de Quantifier klasse.

Eigenschappen

Name Description
Bindings

Krijgt mogelijke bindings voor de kwantor.

Type

Krijgt het type kwantor.

Variable

Krijgt de naam van de variabele die vervangen wordt.

Methoden

Name Description
ToString()

Retourneert een tekenreeks die het huidige object vertegenwoordigt.

Van toepassing op