Lenguaje

Quantifier Clase

Definición

Cuantificador para permitir la expansión en tiempo de ejecución de expresiones.

public class Quantifier
type Quantifier = class
Public Class Quantifier
Herencia
Quantifier

Constructores

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

Inicializa una nueva instancia de la clase Quantifier.

Propiedades

Nombre Description
Bindings

Obtiene posibles enlaces para el cuantificador.

Type

Recibe el tipo de cuantificador.

Variable

Obtiene el nombre de la variable que será reemplazada.

Métodos

Nombre Description
ToString()

Devuelve una cadena que representa el objeto actual.

Se aplica a