EOFill

EOFill class

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

public class EOFill : Operator

构造函数

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

特性

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

方法

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

也可以看看