ConstraintOperator 类

定义

ConstraintOperator 类由 ConstraintBuilder 在内部使用,表示修改或合并约束的运算符。 约束运算符使用左右优先值来确定在推送新运算符之前是否应减少堆栈上的 top 运算符。

public abstract class ConstraintOperator
type ConstraintOperator = class
继承
ConstraintOperator
派生

构造函数

ConstraintOperator()

ConstraintOperator 类由 ConstraintBuilder 在内部使用,表示修改或合并约束的运算符。 约束运算符使用左右优先值来确定在推送新运算符之前是否应减少堆栈上的 top 运算符。

字段

left_precedence

运算符即将推送到堆栈时使用的优先值。

right_precedence

运算符位于堆栈顶部时使用的优先级值。

属性

LeftContext

此运算符前面的语法元素

LeftPrecedence

运算符即将推送到堆栈时使用的优先值。

RightContext

设置此运算符的语法元素

RightPrecedence

运算符位于堆栈顶部时使用的优先级值。

方法

Reduce(ConstraintBuilder+ConstraintStack)

Reduce 从 运算符和任何参数生成约束。 它从约束堆栈中获取参数,并在其上推送生成的约束。

适用于