EOFill

EOFill class

表示 f* 运算符的类(使用奇偶规则填充路径)。

public class EOFill : Operator

构造函数

姓名描述
EOFill()初始化操作符。

特性

姓名描述
Index { get; set; }页面运算符列表中的运算符索引。

方法

姓名描述
override Accept(IOperatorSelector)接受访问者对象来处理操作员。
override ToString()返回运算符的文本及其参数。

也可以看看