Lingua

Quantifier Classe

Definizione

Quantificatore per consentire l'espansione a tempo di esecuzione delle espressioni.

public class Quantifier
type Quantifier = class
Public Class Quantifier
Ereditarietà
Quantifier

Costruttori

Nome Descrizione
Quantifier(String, QuantifierType, IEnumerable<String>)

Inizializza una nuova istanza della classe Quantifier.

Proprietà

Nome Descrizione
Bindings

Ottiene possibili vincolazioni per il quantificatore.

Type

Riceve il tipo di quantificatore.

Variable

Ottiene il nome della variabile che verrà sostituita.

Metodi

Nome Descrizione
ToString()

Restituisce una stringa che rappresenta l'oggetto corrente.

Si applica a