Language

Quantifier クラス

定義

式の実行時拡張を可能にする量化子。

public class Quantifier
type Quantifier = class
Public Class Quantifier
継承
Quantifier

コンストラクター

名前 説明
Quantifier(String, QuantifierType, IEnumerable<String>)

Quantifier クラスの新しいインスタンスを初期化します。

プロパティ

名前 説明
Bindings

量化子のバインディングの可能性を得られます。

Type

量化子の種類を得ます。

Variable

置き換える変数の名前を取得します。

メソッド

名前 説明
ToString()

現在のオブジェクトを表す文字列を返します。

適用対象